Cláudia Nalon
Cláudia Nalon
Computer Science, University of Brasília
E-mail confirmado em unb.br
Título
Citado por
Citado por
Ano
Clausal resolution for normal modal logics
C Nalon, C Dixon
Journal of Algorithms 62 (3-4), 117-134, 2007
292007
KSP: A Resolution-Based Prover for Multimodal K
C Nalon, U Hustadt, C Dixon
International Joint Conference on Automated Reasoning, 406-415, 2016
242016
A Modal-Layered Resolution Calculus for K
C Nalon, U Hustadt, C Dixon
Automated Reasoning with Analytic Tableaux and Related Methods, 185-200, 2015
152015
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
132003
Anti-prenexing and prenexing for modal logics
C Nalon, C Dixon
Logics in Artificial Intelligence, 333-345, 2006
122006
Resolution for synchrony and no learning
C Nalon, C Dixon, M Fisher
AiML-2004: Advances in Modal Logic, 303, 2004
82004
Clausal Resolution for Modal Logics of Confluence
C Nalon, J Marcos, C Dixon
arXiv preprint arXiv:1405.0293, 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
Towards resolution-based reasoning for connected logics
C Nalon, O Kutz
Electronic Notes in Theoretical Computer Science 305, 85-102, 2014
62014
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
52017
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
52014
A Resolution-Based Calculus for Preferential Logics
C Nalon, D Pattinson
International Joint Conference on Automated Reasoning, 498-515, 2018
42018
Classical resolution for many-valued logics
J Marcos, C Nalon
Electronic Notes in Theoretical Computer Science 323, 253-270, 2016
42016
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
42015
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
32020
KSP A Resolution-Based Theorem Prover for Kn: Architecture, Refinements, Strategies and Experiments
C Nalon, U Hustadt, CL Dixon
Journal of Automated Reasoning, 2018
32018
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
32006
Modal Resolution: Proofs, Layers, and Refinements
C Nalon, C Dixon, U Hustadt
ACM Transactions on Computational Logic (TOCL) 20 (4), 1-38, 2019
22019
Ordered Resolution for Coalition Logic
U Hustadt, P Gainer, C Dixon, C Nalon, L Zhang
Automated Reasoning with Analytic Tableaux and Related Methods, 169-184, 2015
22015
A Resolution Prover for Coalition Logic
C Nalon, L Zhang, C Dixon, U Hustadt
arXiv preprint arXiv:1404.0841, 2014
22014
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20