Cláudia Nalon

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 20

Top Venues

University of Liverpool, UK (PHD)

Education History

University of Liverpool, UK

PHD

Publications

Ullrich Hustadt, Fabio Papacchini, Cláudia Nalon, Clare Dixon
Model Construction for Modal Clauses. IJCAR (2) (2024)
Dirk Pattinson, Cláudia Nalon
Non-iterative Modal Resolution Calculi. IJCAR (2) (2024)
Cláudia Nalon, Ullrich Hustadt, Fabio Papacchini, Clare Dixon
Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic. CADE (2023)
Dirk Pattinson, Nicola Olivetti, Cláudia Nalon
Resolution Calculi for Non-normal Modal Logics. TABLEAUX (2023)
Maria Paola Bonacina, Pascal Fontaine, Cláudia Nalon, Claudia Schon, Martin Desharnais
The Next Generation of Deduction Systems: From Composition to Compositionality (Dagstuhl Seminar 23471). Dagstuhl Reports 13 (11) (2023)
Bernardo Alkmim, Edward Hermann Haeusler, Cláudia Nalon
A Labelled Natural Deduction System for an Intuitionistic Description Logic with Nominals. Description Logics (2022)
Fabio Papacchini, Cláudia Nalon, Ullrich Hustadt, Clare Dixon
Local is Best: Efficient Reductions to Modal Logic K. J. Autom. Reason. 66 (4) (2022)
Cláudia Nalon, Ullrich Hustadt, Fabio Papacchini, Clare Dixon
Local Reductions for the Modal Cube. IJCAR (2022)
Fabio Papacchini, Cláudia Nalon, Ullrich Hustadt, Clare Dixon
Correction to: Local is Best: Efficient Reductions to Modal Logic K. J. Autom. Reason. 66 (4) (2022)
Bruno Lopes, Cláudia Nalon, Edward Hermann Haeusler
Reasoning about Petri Nets: A Calculus Based on Resolution and Dynamic Logic. ACM Trans. Comput. Log. 22 (2) (2021)
Fabio Papacchini, Cláudia Nalon, Ullrich Hustadt, Clare Dixon
Efficient Local Reductions to Basic Modal Logic. CADE (2021)
Cláudia Nalon, Giselle Reis
Preface. LSFA (2020)
Olaf Beyersdorff, Uwe Egly, Meena Mahajan, Cláudia Nalon
SAT and Interactions (Dagstuhl Seminar 20061). Dagstuhl Reports 10 (2) (2020)
Cláudia Nalon, Ullrich Hustadt, Clare Dixon
: Architecture, Refinements, Strategies and Experiments. J. Autom. Reason. 64 (3) (2020)
Cláudia Nalon, Clare Dixon, Ullrich Hustadt
Modal Resolution: Proofs, Layers, and Refinements. ACM Trans. Comput. Log. 20 (4) (2019)
Cláudia Nalon, Daniele Nantes Sobrinho, Elaine Pimentel, João Marcos
Brasilia Spring on Automated Reasoning. ACM SIGLOG News 5 (1) (2018)
Cláudia Nalon, Dirk Pattinson
A Resolution-Based Calculus for Preferential Logics. IJCAR (2018)
Ullrich Hustadt, Cláudia Nalon, Clare Dixon
Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics. PAAR@FLoC (2018)
Cláudia Nalon, Ullrich Hustadt, Clare Dixon
KSP: A Resolution-based Prover for Multimodal K, Abridged Report. IJCAI (2017)
Cláudia Nalon, Ullrich Hustadt, Clare Dixon
: A Resolution-Based Prover for Multimodal K. IJCAR (2016)
Ullrich Hustadt, Paul Gainer, Clare Dixon, Cláudia Nalon, Lan Zhang
Ordered Resolution for Coalition Logic. TABLEAUX (2015)
Cláudia Nalon, Ullrich Hustadt, Clare Dixon
A Modal-Layered Resolution Calculus for K. TABLEAUX (2015)
Cláudia Nalon, Bruno Lopes, Gilles Dowek, Edward Hermann Haeusler
A Calculus for Automatic Verification of Petri Nets Based on Resolution and Dynamic Logics. LSFA (2014)
Cláudia Nalon, João Marcos, Clare Dixon
Clausal Resolution for Modal Logics of Confluence. IJCAR (2014)
Cláudia Nalon, João Marcos, Clare Dixon
Clausal Resolution for Modal Logics of Confluence. CoRR (2014)
Cláudia Nalon, Lan Zhang, Clare Dixon, Ullrich Hustadt
A resolution-based calculus for Coalition Logic. J. Log. Comput. 24 (4) (2014)
Cláudia Nalon, Lan Zhang, Clare Dixon, Ullrich Hustadt
A Resolution Prover for Coalition Logic. SR (2014)
Cláudia Nalon, Oliver Kutz
Towards Resolution-based Reasoning for Connected Logics. LSFA (2013)
Cláudia Nalon, Clare Dixon
Clausal resolution for normal modal logics. J. Algorithms 62 (3-4) (2007)
Cláudia Nalon, Clare Dixon
Anti-prenexing and Prenexing for Modal Logics. JELIA (2006)
Clare Dixon, Cláudia Nalon, Michael Fisher
Tableaux for Logics of Time and Knowledge with Interactions Relating to Synchrony. J. Appl. Non Class. Logics 14 (4) (2004)
Cláudia Nalon, Clare Dixon, Michael Fisher
Resolution for Synchrony and No Learning. Advances in Modal Logic (2004)
Clare Dixon, Cláudia Nalon, Michael Fisher
Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning. TIME (2003)
Cláudia Nalon
Theorem Proving for Temporal Logics of Knowledge or Belief. ARW (2000)
Cláudia Nalon, Jacques Wainer
Strong Conditional Logic. SBIA (1998)

Cláudia Nalon.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Cláudia Nalon