Theo dõi
Cláudia Nalon
Cláudia Nalon
Computer Science, University of Brasília
Email được xác minh tại unb.br
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
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
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20