Følg
Cláudia Nalon
Cláudia Nalon
Computer Science, University of Brasília
Verifisert e-postadresse på unb.br
Tittel
Sitert av
Sitert av
År
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
28*2016
A Modal-Layered Resolution Calculus for K
C Nalon, U Hustadt, C Dixon
Automated Reasoning with Analytic Tableaux and Related Methods, 185-200, 2015
202015
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
182020
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
132017
Modal Resolution: Proofs, Layers, and Refinements
C Nalon, C Dixon, U Hustadt
ACM Transactions on Computational Logic (TOCL) 20 (4), 1-38, 2019
122019
Anti-prenexing and prenexing for modal logics
C Nalon, C Dixon
Logics in Artificial Intelligence, 333-345, 2006
122006
Efficient Local Reductions to Basic Modal Logic
F Papacchini, C Nalon, U Hustadt, C Dixon
28th International Conference on Automated Deduction, 2021
112021
Knowledge and time
C Dixon, C Nalon, R Ramanujam
Handbook of epistemic logic, 205-259, 2015
92015
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
92015
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
92014
Resolution for synchrony and no learning
C Nalon, C Dixon, M Fisher
AiML-2004: Advances in Modal Logic, 303, 2004
82004
Towards resolution-based reasoning for connected logics
C Nalon, O Kutz
Electronic Notes in Theoretical Computer Science 305, 85-102, 2014
72014
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
A Resolution Prover for Coalition Logic
C Nalon, L Zhang, C Dixon, U Hustadt
arXiv preprint arXiv:1404.0841, 2014
52014
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
A Labelled Natural Deduction System for an Intuitionistic Description Logic with Nominals.
B Alkmim, EH Haeusler, C Nalon
Description Logics, 2022
32022
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20