Carlos Areces - RankMe

108 papers A* 4A 6B 19C 7Misc 2Journal 41Unranked 26

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Data-Aware Hybrid Tableaux. Log. Methods Comput. Sci. Carlos Areces, Valentin Cassano, Raul Fervari
2025	J	`jnl`	Deontic Action Logics: A Modular Algebraic Perspective. CoRR Carlos Areces, Valentin Cassano, Pablo F. Castro, Raul Fervari
2025	J	`jnl`	Sequent Calculi for Data-Aware Modal Logics. CoRR Carlos Areces, Valentin Cassano, Danae Dutto, Raul Fervari
2025	—	`conf`	Sequent Calculi for Data-Aware Modal Logics. LSFA Carlos Areces, Valentin Cassano, Danae Dutto, Raul Fervari
2025	J	`jnl`	Uncertainty-based knowing how logic. J. Log. Comput. Carlos Areces, Raul Fervari, Andrés R. Saravia, Fernando R. Velázquez-Quesada
2024	J	`jnl`	Data-Aware Hybrid Tableaux. CoRR Carlos Areces, Valentin Cassano, Raul Fervari
2024	J	`jnl`	Leveraging Language Models and Automatic Summarization in Online Programming Learning Environments. Commun. ACM Carlos Areces, Luciana Benotti, Franco Bulgarelli, Maria Emilia Echeveste, Nadia Finzi
2023	A	`conf`	A Deontic Logic of Knowingly Complying. AAMAS Carlos Areces, Valentin Cassano, Pablo F. Castro, Raul Fervari, Andrés R. Saravia
2023	J	`jnl`	Algebraic tools for default modal systems. J. Log. Comput. Valentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro
2023	B	`conf`	Data Graphs with Incomplete Information (and a Way to Complete Them). JELIA Carlos Areces, Valentin Cassano, Danae Dutto, Raul Fervari
2023	B	`conf`	DefTab : A Tableaux System for Sceptical Consequence in Default Modal Logics. TABLEAUX Carlos Areces, Valentin Cassano, Raul Fervari, Guillaume Hoffmann
2023	—	`ed.`	Dynamic Logic. New Trends and Applications - 4th International Workshop, DaLí 2022, Haifa, Israel, July 31 - August 1, 2022, Revised Selected Papers DaLí Carlos Areces, Diana Costa
2023	B	`conf`	How Easy it is to Know How: An Upper Bound for the Satisfiability Problem. JELIA Carlos Areces, Valentin Cassano, Pablo F. Castro, Raul Fervari, Andrés R. Saravia
2023	J	`jnl`	How Easy it is to Know How: An Upper Bound for the Satisfiability Problem. CoRR Carlos Areces, Valentin Cassano, Raul Fervari, Pablo F. Castro, Andrés R. Saravia
2023	J	`jnl`	Uncertainty-Based Knowing How Logic. CoRR Carlos Areces, Raul Fervari, Andrés R. Saravia, Fernando R. Velázquez-Quesada
2022	—	`conf`	First Steps in Updating Knowing How. DaLí Carlos Areces, Raul Fervari, Andrés R. Saravia, Fernando R. Velázquez-Quesada
2022	C	`conf`	Non-monotonic Reasoning via Dynamic Consequence. WoLLIC Carlos Areces, Valentin Cassano, Raul Fervari
2021	J	`jnl`	Axiomatizing Hybrid XPath with Data. Log. Methods Comput. Sci. Carlos Areces, Raul Fervari
2021	J	`jnl`	Copy and remove as dynamic operators. J. Appl. Non Class. Logics Carlos Areces, Hans van Ditmarsch, Raul Fervari, Bastien Maubert, François Schwarzentruber
2021	—	`conf`	Deontic Action Logics via Algebra. DEON Pablo F. Castro, Valentin Cassano, Raul Fervari, Carlos Areces
2021	B	`conf`	Uncertainty-Based Semantics for Multi-Agent Knowing How Logics. TARK Carlos Areces, Raul Fervari, Andrés R. Saravia, Fernando R. Velázquez-Quesada
2020	J	`jnl`	Axiomatizing Hybrid XPath with Data. CoRR Carlos Areces, Raul Fervari
2020	—	`conf`	Default Modal Systems as Algebraic Updates. DaLí Valentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro
2020	J	`jnl`	The complexity of definability by open first-order formulas. Log. J. IGPL Carlos Areces, Miguel Campercholi, Daniel Penazzi, Pablo Ventura
2019	A	`conf`	A Tableaux Calculus for Default Intuitionistic Logic. CADE Valentin Cassano, Raul Fervari, Guillaume Hoffmann, Carlos Areces, Pablo F. Castro
2019	B	`conf`	An Algebraic Approach for Action Based Default Reasoning. TARK Pablo F. Castro, Valentin Cassano, Raul Fervari, Carlos Areces
2019	B	`conf`	Interpolation and Beth Definability in Default Logics. JELIA Valentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro
2019	A*	`conf`	Learning How to Ground a Plan - Partial Grounding in Classical Planning. AAAI Daniel Gnad, Álvaro Torralba, Martín Ariel Domínguez, Carlos Areces, Facundo Bustos
2019	J	`jnl`	The Complexity of Definability by Open First-Order Formulas. CoRR Carlos Areces, Miguel Campercholi, Daniel Penazzi, Pablo Ventura
2018	C	`conf`	Deciding Open Definability via Subisomorphisms. WoLLIC Carlos Areces, Miguel Campercholi, Pablo Ventura
2018	B	`conf`	Reasoning About Prescription and Description Using Prioritized Default Rules. LPAR Valentin Cassano, Carlos Areces, Pablo F. Castro
2018	J	`jnl`	Satisfiability for relation-changing logics. J. Log. Comput. Carlos Areces, Raul Fervari, Guillaume Hoffmann, Mauricio Martel
2017	Misc	`conf`	Tableaux for Hybrid XPath with Data. EPIA Carlos Areces, Raul Fervari, Nahuel Seiler
2017	J	`jnl`	The lattice of congruences of a finite line frame. J. Log. Comput. Carlos Areces, Miguel Campercholi, Daniel Penazzi, Pedro Sánchez Terraf
2017	J	`jnl`	The modal logic of copy and remove. Inf. Comput. Carlos Areces, Hans van Ditmarsch, Raul Fervari, François Schwarzentruber
2017	—	`conf`	Undecidability of Relation-Changing Modal Logics. DALI@TABLEAUX Carlos Areces, Raul Fervari, Guillaume Hoffmann, Mauricio Martel
2016	B	`conf`	Hilbert-Style Axiomatization for Hybrid XPath with Data. JELIA Carlos Areces, Raul Fervari
2016	—	`conf`	Relation-Changing Logics as Fragments of Hybrid Logics. GandALF Carlos Areces, Raul Fervari, Guillaume Hoffmann, Mauricio Martel
2015	—	`conf`	Modal Satisfiability via SMT Solving. Software, Services, and Systems Carlos Areces, Pascal Fontaine, Stephan Merz
2015	J	`jnl`	Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization. J. Artif. Intell. Res. Diego Figueira, Santiago Figueira, Carlos Areces
2015	J	`jnl`	Relation-changing modal operators. Log. J. IGPL Carlos Areces, Raul Fervari, Guillaume Hoffmann
2015	J	`jnl`	Symmetric blocking. Theor. Comput. Sci. Carlos Areces, Ezequiel Orbe
2015	J	`jnl`	Symmetries in Modal Logics. Bull. Symb. Log. Carlos Areces, Ezequiel Orbe
2015	J	`jnl`	The Lattice of Congruences of a Finite Linear Frame. CoRR Carlos Areces, Miguel Campercholi, Daniel Penazzi, Pedro Sánchez Terraf
2014	A	`conf`	Basic Model Theory of XPath on Data Trees. ICDT Diego Figueira, Santiago Figueira, Carlos Areces
2014	J	`jnl`	Characterization, definability and separation via saturated models. Theor. Comput. Sci. Carlos Areces, Facundo Carreiro, Santiago Figueira
2014	J	`jnl`	Completeness in Hybrid Type Theory. J. Philos. Log. Carlos Areces, Patrick Blackburn, Antonia Huertas, María Manzano
2014	C	`conf`	Logics with Copy and Remove. WoLLIC Carlos Areces, Hans van Ditmarsch, Raul Fervari, François Schwarzentruber
2014	A*	`conf`	Optimizing Planning Domains by Automatic Action Schema Splitting. ICAPS Carlos Areces, Facundo Bustos, Martín Ariel Domínguez, Jörg Hoffmann
2014	J	`jnl`	Swap logic. Log. J. IGPL Carlos Areces, Raul Fervari, Guillaume Hoffmann
2013	B	`conf`	Dealing with Symmetries in Modal Tableaux. TABLEAUX Carlos Areces, Ezequiel Orbe
2013	—	`conf`	Tableaux for Relation-Changing Modal Logics. FroCos Carlos Areces, Raul Fervari, Guillaume Hoffmann
2012	J	`jnl`	Completeness results for memory logics. Ann. Pure Appl. Log. Carlos Areces, Santiago Figueira, Sergio Mera
2012	C	`conf`	Moving Arrows and Four Model Checking Results. WoLLIC Carlos Areces, Raul Fervari, Guillaume Hoffmann
2012	—	`conf`	Probabilistic Refinement Algorithms for the Generation of Referring Expressions. COLING (Posters) Romina Altamirano, Carlos Areces, Luciana Benotti
2012	—	`conf`	Symmetries in Modal Logics LSFA Carlos Areces, Guillaume Hoffmann, Ezequiel Orbe
2012	B	`conf`	iSat: Structure Visualization for SAT Problems. LPAR Ezequiel Orbe, Carlos Areces, Gabriel G. Infante López
2011	C	`conf`	Basic Model Theory for Memory Logics. WoLLIC Carlos Areces, Facundo Carreiro, Santiago Figueira, Sergio Mera
2011	—	`conf`	Combining Theories: The Ackerman and Guarded Fragments. FroCoS Carlos Areces, Pascal Fontaine
2011	J	`jnl`	Resolution with Order and Selection for Hybrid Logics. J. Autom. Reason. Carlos Areces, Daniel Gorín
2011	J	`jnl`	The Expressive Power of Memory Logics. Rev. Symb. Log. Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera
2011	—	`conf`	Unsorted Functional Translations. M4M/LAMAS Carlos Areces, Daniel Gorín
2011	—	`conf`	Using Logic in the Generation of Referring Expressions. LACL Carlos Areces, Santiago Figueira, Daniel Gorín
2010	J	`jnl`	Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction). J. Appl. Log. Carlos Areces, Daniel Gorín
2010	—	`conf`	Dialogue Systems for Virtual Environments. NAACL (Young Investigators Workshop) Luciana Benotti, Paula Estrella, Carlos Areces
2010	C	`conf`	Modal Logics with Counting. WoLLIC Carlos Areces, Guillaume Hoffmann, Alexandre Denis
2010	J	`jnl`	Special Issue on Hybrid Logics. J. Appl. Log. Carlos Areces, Patrick Blackburn
2010	J	`jnl`	The Question of Expressiveness in the Generation of Referring Expressions CoRR Carlos Areces, Santiago Figueira, Daniel Gorín
2009	Misc	`conf`	Completeness Results for Memory Logics. LFCS Carlos Areces, Santiago Figueira, Sergio Mera
2009	—	`ed.`	Proceedings of the 5th Workshop on Methods for Modalities, M4M 2007, Cachan, France, November 29-30, 2007 M4M Carlos Areces, Stéphane Demri
2009	B	`conf`	Tableaux and Model Checking for Memory Logics. TABLEAUX Carlos Areces, Diego Figueira, Daniel Gorín, Sergio Mera
2009	—	`conf`	Testing Provers on a Grid - Framework Description. Description Logics Carlos Areces, Daniel Gorín, Alejandra Lorenzo, Mariano Pérez Rodríguez
2009	A*	`conf`	Which Semantics for Neighbourhood Semantics? IJCAI Carlos Areces, Diego Figueira
2008	B	`ed.`	Advances in Modal Logic 7, papers from the seventh conference on "Advances in Modal Logic," held in Nancy, France, 9-12 September 2008 Advances in Modal Logic Carlos Areces, Robert Goldblatt
2008	C	`conf`	Expressive Power and Decidability for Memory Logics. WoLLIC Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera
2008	B	`conf`	Referring Expressions as Formulas of Description Logic. INLG Carlos Areces, Alexander Koller, Kristina Striegnitz
2007	—	`conf`	Experiments in Theorem Proving for Topological Hybrid Logic. M4M Dmitry Sustretov, Guillaume Hoffmann, Carlos Areces, Patrick Blackburn
2007	—	`conf`	HTab: a Terminating Tableaux System for Hybrid Logic. M4M Guillaume Hoffmann, Carlos Areces
2007	—	`ch.`	Hybrid logics. Handbook of Modal Logic Carlos Areces, Balder ten Cate
2007	—	`conf`	Preface. M4M Carlos Areces, Stéphane Demri
2006	J	`jnl`	Methods for modalities 3. J. Appl. Log. Carlos Areces
2005	J	`jnl`	Keys, Nominals, and Concrete Domains. J. Artif. Intell. Res. Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler
2005	—	`conf`	Reichenbach, Prior and Montague: A Semantic Get-together. We Will Show Them! (1) Carlos Areces, Patrick Blackburn
2004	J	`jnl`	Analyzing the Core of Categorial Grammar. J. Log. Lang. Inf. Carlos Areces, Raffaella Bernardi
2004	B	`conf`	Ordered Resolution with Selection for H(@). LPAR Carlos Areces, Daniel Gorín
2003	—	`conf`	Handling Boolean A Boxes. Description Logics Carlos Areces, Patrick Blackburn, Bernadette Martínez Hernández, Maarten Marx
2003	A*	`conf`	Keys, Nominals, and Concrete Domains. IJCAI Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler
2003	J	`jnl`	Repairing the interpolation theorem in quantified modal logic. Ann. Pure Appl. Log. Carlos Areces, Patrick Blackburn, Maarten Marx
2002	B	`conf`	Controlled Model Exploration. Advances in Modal Logic Gabriel G. Infante López, Carlos Areces, Maarten de Rijke
2002	A	`conf`	HyLoRes 1.0: Direct Resolution for Hybrid Logics. CADE Carlos Areces, Juan Heguiabehere
2001	J	`jnl`	Bringing them all Together. J. Log. Comput. Carlos Areces, Patrick Blackburn
2001	—	`conf`	Galois Connections in Categorial Type Logic. FGMOL Carlos Areces, Raffaella Bernardi, Michael Moortgat
2001	J	`jnl`	Hybrid Logics: Characterization, Interpolation and Complexity. J. Symb. Log. Carlos Areces, Patrick Blackburn, Maarten Marx
2001	J	`jnl`	Resolution in Modal, Description and Hybrid Logic. J. Log. Comput. Carlos Areces, Maarten de Rijke, Hans de Nivelle
2000	J	`jnl`	Editorial. Log. J. IGPL Carlos Areces, Enrico Franconi, Rajeev Goré, Maarten de Rijke, Bernd-Holger Schlingloff
2000	—	`conf`	Features as Constraints. FIW Rafael Accorsi, Carlos Areces, Wiet Bouma, Maarten de Rijke
2000	B	`conf`	From Description to Hybrid Logics, and Back. Advances in Modal Logic Carlos Areces, Maarten de Rijke
2000	J	`jnl`	The Computational Complexity of Hybrid Temporal Logics. Log. J. IGPL Carlos Areces, Patrick Blackburn, Maarten Marx
2000	A	`conf`	Tree-based Heuristics in Modal Theorem Proving. ECAI Carlos Areces, Rosella Gennari, Juan Heguiabehere, Maarten de Rijke
1999	B	`conf`	A Road-Map on Complexity for Hybrid Logics. CSL Carlos Areces, Patrick Blackburn, Maarten Marx
1999	—	`conf`	Description Logics and Feature Interaction. Description Logics Carlos Areces, Wiet Bouma, Maarten de Rijke
1999	B	`conf`	Feature Interaction as a Satisfiability Problem. MASCOTS Carlos Areces, Wiet Bouma, Maarten de Rijke
1999	A	`conf`	Prefixed Resolution: A Resolution Method for Modal and Description Logics. CADE Carlos Areces, Hans de Nivelle, Maarten de Rijke
1999	—	`conf`	Spatial Reasoning for Image Retrieval. Description Logics Marco Aiello, Carlos Areces, Maarten de Rijke
1998	—	`conf`	Expressiveness Revisited. Description Logics Carlos Areces, Maarten de Rijke
1998	J	`jnl`	Failure of Interpolation in Combined Modal Logics. Notre Dame J. Formal Log. Maarten Marx, Carlos Areces
1998	B	`conf`	Interpolation, Definability and Fixed Points in Interpretability Logics. Advances in Modal Logic Carlos Areces, Eva Hoogland, Dick de Jongh
1998	—	`conf`	Modal Logic as a Design Notation. IWSSD Carlos Areces, Miguel Felder, Dan Hirsch, Daniel Yankelevich