Follow
Cláudia Nalon
Cláudia Nalon
Computer Science, University of Brasília
Verified email at unb.br
Title
Cited by
Cited by
Year
Clausal resolution for normal modal logics
C Nalon, C Dixon
Journal of Algorithms 62 (3-4), 117-134, 2007
392007
KSP: A Resolution-Based Prover for Multimodal K
C Nalon, U Hustadt, C Dixon
International Joint Conference on Automated Reasoning, 406-415, 2016
29*2016
A Resolution-Based Theorem Prover for Kn : Architecture, Refinements, Strategies and Experiments
C Nalon, U Hustadt, C Dixon
Journal of Automated Reasoning 64 (3), 461-484, 2020
202020
A Modal-Layered Resolution Calculus for K
C Nalon, U Hustadt, C Dixon
Automated Reasoning with Analytic Tableaux and Related Methods, 185-200, 2015
192015
Modal Resolution: Proofs, Layers, and Refinements
C Nalon, C Dixon, U Hustadt
ACM Transactions on Computational Logic (TOCL) 20 (4), 1-38, 2019
152019
Anti-prenexing and prenexing for modal logics
C Nalon, C Dixon
Logics in Artificial Intelligence, 333-345, 2006
152006
Tableaux for temporal logics of knowledge: Synchronous systems of perfect recall or no learning
C Dixon, C Nalon, M Fisher
Temporal Representation and Reasoning, 2003 and Fourth International …, 2003
152003
KSP: a resolution-based prover for multimodal K abridged report
C Nalon, U Hustadt, C Dixon
Proceedings of the 26th International Joint Conference on Artificial …, 2017
122017
Efficient Local Reductions to Basic Modal Logic
F Papacchini, C Nalon, U Hustadt, C Dixon
28th International Conference on Automated Deduction, 2021
102021
Clausal Resolution for Modal Logics of Confluence
C Nalon, J Marcos, C Dixon
arXiv preprint arXiv:1405.0293, 2014
92014
A resolution-based calculus for Coalition Logic
C Nalon, L Zhang, C Dixon, U Hustadt
Journal of Logic and Computation 24 (4), 883-917, 2014
82014
Resolution for synchrony and no learning
C Nalon, C Dixon, M Fisher
AiML-2004: Advances in Modal Logic, 303, 2004
82004
A Calculus for Automatic Verification of Petri Nets Based on Resolution and Dynamic Logics
C Nalon, B Lopes, G Dowek, EH Haeusler
Electronic Notes in Theoretical Computer Science 312 (2015), 125-141, 2015
72015
Tableau for Logics of Time and Knowledge with Interactions Relating to Synchrony
C Dixon, C Nalon, M Fisher
Journal of Applied Non-Classical Logics 14 (4), 397-445, 2004
72004
A resolution-based calculus for preferential logics
C Nalon, D Pattinson
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018
62018
Knowledge and time
C Dixon, C Nalon, R Ramanujam
Handbook of epistemic logic, 205-259, 2015
62015
Towards resolution-based reasoning for connected logics
C Nalon, O Kutz
Electronic Notes in Theoretical Computer Science 305, 85-102, 2014
52014
Classical resolution for many-valued logics
J Marcos, C Nalon
Electronic Notes in Theoretical Computer Science 323, 253-270, 2016
42016
A Resolution Prover for Coalition Logic
C Nalon, L Zhang, C Dixon, U Hustadt
arXiv preprint arXiv:1404.0841, 2014
42014
Anti-prenexing and prenexing for modal logics (extended version)
C Nalon, C Dixon
Technical Report ULCS-06-003, University of Liverpool, April 2006. Available …, 2006
42006
The system can't perform the operation now. Try again later.
Articles 1–20