Cláudia Nalon

According to our database, Cláudia Nalon authored at least 33 papers between 1998 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

The Next Generation of Deduction Systems: From Composition to Compositionality (Dagstuhl Seminar 23471).

Maria Paola Bonacina, Pascal Fontaine, Cláudia Nalon, Claudia Schon, Martin Desharnais

Dagstuhl Reports, 2023

Resolution Calculi for Non-normal Modal Logics.

Dirk Pattinson, Nicola Olivetti, Cláudia Nalon

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic.

Cláudia Nalon, Ullrich Hustadt, Fabio Papacchini, Clare Dixon

Proceedings of the Automated Deduction - CADE 29, 2023

2022

Correction to: Local is Best: Efficient Reductions to Modal Logic K.

Fabio Papacchini, Cláudia Nalon, Ullrich Hustadt, Clare Dixon

J. Autom. Reason., 2022

Local is Best: Efficient Reductions to Modal Logic K.

Fabio Papacchini, Cláudia Nalon, Ullrich Hustadt, Clare Dixon

J. Autom. Reason., 2022

A Labelled Natural Deduction System for an Intuitionistic Description Logic with Nominals.

Bernardo Alkmim, Edward Hermann Haeusler, Cláudia Nalon

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

Local Reductions for the Modal Cube.

Cláudia Nalon, Ullrich Hustadt, Fabio Papacchini, Clare Dixon

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2021

Reasoning about Petri Nets: A Calculus Based on Resolution and Dynamic Logic.

Bruno Lopes, Cláudia Nalon, Edward Hermann Haeusler

ACM Trans. Comput. Log., 2021

Efficient Local Reductions to Basic Modal Logic.

Fabio Papacchini, Cláudia Nalon, Ullrich Hustadt, Clare Dixon

Proceedings of the Automated Deduction - CADE 28, 2021

2020

sf K_n : Architecture, Refinements, Strategies and Experiments.

Cláudia Nalon, Ullrich Hustadt, Clare Dixon

J. Autom. Reason., 2020

SAT and Interactions (Dagstuhl Seminar 20061).

Olaf Beyersdorff, Uwe Egly, Meena Mahajan, Cláudia Nalon

Dagstuhl Reports, 2020

Preface.

Cláudia Nalon, Giselle Reis

Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, 2020

2019

Modal Resolution: Proofs, Layers, and Refinements.

Cláudia Nalon, Clare Dixon, Ullrich Hustadt

ACM Trans. Comput. Log., 2019

2018

Brasilia Spring on Automated Reasoning.

Cláudia Nalon, Daniele Nantes Sobrinho, Elaine Pimentel, João Marcos

ACM SIGLOG News, 2018

A Resolution-Based Calculus for Preferential Logics.

Cláudia Nalon, Dirk Pattinson

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics.

Ullrich Hustadt, Cláudia Nalon, Clare Dixon

Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018), 2018

2017

KSP: A Resolution-based Prover for Multimodal K, Abridged Report.

Cláudia Nalon, Ullrich Hustadt, Clare Dixon

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016

: A Resolution-Based Prover for Multimodal K.

Cláudia Nalon, Ullrich Hustadt, Clare Dixon

Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

2015

A Modal-Layered Resolution Calculus for K.

Cláudia Nalon, Ullrich Hustadt, Clare Dixon

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015

Ordered Resolution for Coalition Logic.

Ullrich Hustadt, Paul Gainer, Clare Dixon, Cláudia Nalon, Lan Zhang

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015

2014

A resolution-based calculus for Coalition Logic.

Cláudia Nalon, Lan Zhang, Clare Dixon, Ullrich Hustadt

J. Log. Comput., 2014

A Calculus for Automatic Verification of Petri Nets Based on Resolution and Dynamic Logics.

Cláudia Nalon, Bruno Lopes, Gilles Dowek, Edward Hermann Haeusler

Proceedings of the Ninth Workshop on Logical and Semantic Frameworks, with Applications, 2014

A Resolution Prover for Coalition Logic.

Cláudia Nalon, Lan Zhang, Clare Dixon, Ullrich Hustadt

Proceedings of the Proceedings 2nd International Workshop on Strategic Reasoning, 2014

Clausal Resolution for Modal Logics of Confluence.

Cláudia Nalon, João Marcos, Clare Dixon

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

2013

Towards Resolution-based Reasoning for Connected Logics.

Cláudia Nalon, Oliver Kutz

Proceedings of the 8th Workshop on Logical and Semantic Frameworks, 2013

2007

Clausal resolution for normal modal logics.

Cláudia Nalon, Clare Dixon

J. Algorithms, 2007

2006

Anti-prenexing and Prenexing for Modal Logics.

Cláudia Nalon, Clare Dixon

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

2004

Resolution for synchrony and no learning.

Cláudia Nalon

PhD thesis, 2004

Tableaux for Logics of Time and Knowledge with Interactions Relating to Synchrony.

Clare Dixon, Cláudia Nalon, Michael Fisher

J. Appl. Non Class. Logics, 2004

Resolution for Synchrony and No Learning.

Cláudia Nalon, Clare Dixon, Michael Fisher

Proceedings of the Advances in Modal Logic 5, 2004

2003

Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning.

Clare Dixon, Cláudia Nalon, Michael Fisher

Proceedings of the 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 2003

2000

Theorem Proving for Temporal Logics of Knowledge or Belief.

Cláudia Nalon

Proceedings of the Seventh Workshop on Automated Reasoning, 2000

1998

Strong Conditional Logic.

Cláudia Nalon, Jacques Wainer

Proceedings of the Advances in Artificial Intelligence, 1998