Cláudia Nalon

42 papers A* 1A 7B 8C 1Journal 12Unranked 10

Year	Rank	Type	Title / Venue / Authors
2025	A	`conf`	From Modal Sequent Calculi to Modal Resolution. CADE Dirk Pattinson, Cláudia Nalon, Sourabh Peruri
2025	B	`conf`	Refined Tableau Systems for Some Modal Logics of Confluence. TABLEAUX Kiana Samadpour Motalebi, Renate A. Schmidt, Cláudia Nalon
2024	B	`conf`	Efficient Theorem-Proving for Modal Logics. AiML Cláudia Nalon
2024	—	`ed.`	Joint Proceedings of the 9th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 9th Satisfiability Checking and Symbolic Computation Workshop (SC-Square), 2024 co-located with the 12th International Joint Conference on Automated Reasoning (IJCAR 2024), Nancy, France, July 2, 2024. PAAR+SC²@IJCAR Christopher W. Brown, Daniela Kaufmann, Cláudia Nalon, Alexander Steen, Martin Suda
2024	—	`conf`	Model Construction for Modal Clauses. IJCAR (2) Ullrich Hustadt, Fabio Papacchini, Cláudia Nalon, Clare Dixon
2024	—	`conf`	Non-iterative Modal Resolution Calculi. IJCAR (2) Dirk Pattinson, Cláudia Nalon
2023	A	`conf`	Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic. CADE Cláudia Nalon, Ullrich Hustadt, Fabio Papacchini, Clare Dixon
2023	B	`conf`	Resolution Calculi for Non-normal Modal Logics. TABLEAUX Dirk Pattinson, Nicola Olivetti, Cláudia Nalon
2023	J	`jnl`	The Next Generation of Deduction Systems: From Composition to Compositionality (Dagstuhl Seminar 23471). Dagstuhl Reports Maria Paola Bonacina, Pascal Fontaine, Cláudia Nalon, Claudia Schon, Martin Desharnais
2022	—	`conf`	A Labelled Natural Deduction System for an Intuitionistic Description Logic with Nominals. Description Logics Bernardo Alkmim, Edward Hermann Haeusler, Cláudia Nalon
2022	J	`jnl`	Correction to: Local is Best: Efficient Reductions to Modal Logic K. J. Autom. Reason. Fabio Papacchini, Cláudia Nalon, Ullrich Hustadt, Clare Dixon
2022	A	`conf`	Local Reductions for the Modal Cube. IJCAR Cláudia Nalon, Ullrich Hustadt, Fabio Papacchini, Clare Dixon
2022	J	`jnl`	Local is Best: Efficient Reductions to Modal Logic K. J. Autom. Reason. Fabio Papacchini, Cláudia Nalon, Ullrich Hustadt, Clare Dixon
2021	A	`conf`	Efficient Local Reductions to Basic Modal Logic. CADE Fabio Papacchini, Cláudia Nalon, Ullrich Hustadt, Clare Dixon
2021	J	`jnl`	Reasoning about Petri Nets: A Calculus Based on Resolution and Dynamic Logic. ACM Trans. Comput. Log. Bruno Lopes, Cláudia Nalon, Edward Hermann Haeusler
2020	—	`conf`	Preface. LSFA Cláudia Nalon, Giselle Reis
2020	—	`ed.`	Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, LSFA 2020, Online, September 15, 2020 LSFA Cláudia Nalon, Giselle Reis
2020	J	`jnl`	SAT and Interactions (Dagstuhl Seminar 20061). Dagstuhl Reports Olaf Beyersdorff, Uwe Egly, Meena Mahajan, Cláudia Nalon
2020	J	`jnl`	sf K J. Autom. Reason. Cláudia Nalon, Ullrich Hustadt, Clare Dixon
2019	J	`jnl`	Modal Resolution: Proofs, Layers, and Refinements. ACM Trans. Comput. Log. Cláudia Nalon, Clare Dixon, Ullrich Hustadt
2018	A	`conf`	A Resolution-Based Calculus for Preferential Logics. IJCAR Cláudia Nalon, Dirk Pattinson
2018	J	`jnl`	Brasilia Spring on Automated Reasoning. ACM SIGLOG News Cláudia Nalon, Daniele Nantes Sobrinho, Elaine Pimentel, João Marcos
2018	—	`conf`	Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics. PAAR@FLoC Ullrich Hustadt, Cláudia Nalon, Clare Dixon
2017	B	`ed.`	Automated Reasoning with Analytic Tableaux and Related Methods - 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings TABLEAUX Renate A. Schmidt, Cláudia Nalon
2017	A*	`conf`	KSP: A Resolution-based Prover for Multimodal K, Abridged Report. IJCAI Cláudia Nalon, Ullrich Hustadt, Clare Dixon
2016	A	`conf`	: A Resolution-Based Prover for Multimodal K. IJCAR Cláudia Nalon, Ullrich Hustadt, Clare Dixon
2015	B	`conf`	A Modal-Layered Resolution Calculus for K. TABLEAUX Cláudia Nalon, Ullrich Hustadt, Clare Dixon
2015	B	`conf`	Ordered Resolution for Coalition Logic. TABLEAUX Ullrich Hustadt, Paul Gainer, Clare Dixon, Cláudia Nalon, Lan Zhang
2014	—	`conf`	A Calculus for Automatic Verification of Petri Nets Based on Resolution and Dynamic Logics. LSFA Cláudia Nalon, Bruno Lopes, Gilles Dowek, Edward Hermann Haeusler
2014	—	`conf`	A Resolution Prover for Coalition Logic. SR Cláudia Nalon, Lan Zhang, Clare Dixon, Ullrich Hustadt
2014	J	`jnl`	A resolution-based calculus for Coalition Logic. J. Log. Comput. Cláudia Nalon, Lan Zhang, Clare Dixon, Ullrich Hustadt
2014	A	`conf`	Clausal Resolution for Modal Logics of Confluence. IJCAR Cláudia Nalon, João Marcos, Clare Dixon
2014	J	`jnl`	Clausal Resolution for Modal Logics of Confluence. CoRR Cláudia Nalon, João Marcos, Clare Dixon
2013	—	`conf`	Towards Resolution-based Reasoning for Connected Logics. LSFA Cláudia Nalon, Oliver Kutz
2007	J	`jnl`	Clausal resolution for normal modal logics. J. Algorithms Cláudia Nalon, Clare Dixon
2006	B	`conf`	Anti-prenexing and Prenexing for Modal Logics. JELIA Cláudia Nalon, Clare Dixon
2004	B	`conf`	Resolution for Synchrony and No Learning. Advances in Modal Logic Cláudia Nalon, Clare Dixon, Michael Fisher
2004	—	`—`	Resolution for synchrony and no learning. Cláudia Nalon
2004	J	`jnl`	Tableaux for Logics of Time and Knowledge with Interactions Relating to Synchrony. J. Appl. Non Class. Logics Clare Dixon, Cláudia Nalon, Michael Fisher
2003	C	`conf`	Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning. TIME Clare Dixon, Cláudia Nalon, Michael Fisher
2000	—	`conf`	Theorem Proving for Temporal Logics of Knowledge or Belief. ARW Cláudia Nalon
1998	—	`conf`	Strong Conditional Logic. SBIA Cláudia Nalon, Jacques Wainer