Carlos Areces
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
37
Venues
18
Active years
1998–2026
Best venue rank
A*
Where they publish
Papers
37 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | KR | Revisiting Ability-Based Bisimulation. | Carlos Areces, Raul Fervari, Antonio Mondejar |
| 2023 | JELIA | How Easy it is to Know How: An Upper Bound for the Satisfiability Problem. | Carlos Areces, Valentin Cassano, Pablo F. Castro, Raul Fervari, Andrs R. Saravia |
| 2023 | JELIA | Data Graphs with Incomplete Information (and a Way to Complete Them). | Carlos Areces, Valentin Cassano, Danae Dutto, Raul Fervari |
| 2023 | TABLEAUX | DefTab : A Tableaux System for Sceptical Consequence in Default Modal Logics. | Carlos Areces, Valentin Cassano, Raul Fervari, Guillaume Hoffmann |
| 2022 | WoLLIC | Non-monotonic Reasoning via Dynamic Consequence. | Carlos Areces, Valentin Cassano, Raul Fervari |
| 2019 | AAAI | Learning How to Ground a Plan - Partial Grounding in Classical Planning. | Daniel Gnad, lvaro Torralba, Martn Ariel Domnguez, Carlos Areces, Facundo Bustos |
| 2019 | CADE | A Tableaux Calculus for Default Intuitionistic Logic. | Valentin Cassano, Raul Fervari, Guillaume Hoffmann, Carlos Areces, Pablo F. Castro |
| 2019 | JELIA | Interpolation and Beth Definability in Default Logics. | Valentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro |
| 2018 | LPAR | Reasoning About Prescription and Description Using Prioritized Default Rules. | Valentin Cassano, Carlos Areces, Pablo F. Castro |
| 2018 | WoLLIC | Deciding Open Definability via Subisomorphisms. | Carlos Areces, Miguel Campercholi, Pablo Ventura |
| 2017 | EPIA | Tableaux for Hybrid XPath with Data. | Carlos Areces, Raul Fervari, Nahuel Seiler |
| 2017 | TABLEAUX | Undecidability of Relation-Changing Modal Logics. | Carlos Areces, Raul Fervari, Guillaume Hoffmann, Mauricio Martel |
| 2016 | JELIA | Hilbert-Style Axiomatization for Hybrid XPath with Data. | Carlos Areces, Raul Fervari |
| 2014 | ICDT | Basic Model Theory of XPath on Data Trees. | Diego Figueira, Santiago Figueira, Carlos Areces |
| 2014 | WoLLIC | Logics with Copy and Remove. | Carlos Areces, Hans van Ditmarsch, Raul Fervari, Franois Schwarzentruber |
| 2013 | TABLEAUX | Dealing with Symmetries in Modal Tableaux. | Carlos Areces, Ezequiel Orbe |
| 2012 | COLING | Probabilistic Refinement Algorithms for the Generation of Referring Expressions. | Romina Altamirano, Carlos Areces, Luciana Benotti |
| 2012 | LPAR | iSat: Structure Visualization for SAT Problems. | Ezequiel Orbe, Carlos Areces, Gabriel G. Infante Lpez |
| 2012 | WoLLIC | Moving Arrows and Four Model Checking Results. | Carlos Areces, Raul Fervari, Guillaume Hoffmann |
| 2011 | WoLLIC | Basic Model Theory for Memory Logics. | Carlos Areces, Facundo Carreiro, Santiago Figueira, Sergio Mera |
| 2010 | NAACL | Dialogue Systems for Virtual Environments. | Luciana Benotti, Paula Estrella, Carlos Areces |
| 2010 | WoLLIC | Modal Logics with Counting. | Carlos Areces, Guillaume Hoffmann, Alexandre Denis |
| 2009 | IJCAI | Which Semantics for Neighbourhood Semantics? | Carlos Areces, Diego Figueira |
| 2009 | LFCS | Completeness Results for Memory Logics. | Carlos Areces, Santiago Figueira, Sergio Mera |
| 2009 | TABLEAUX | Tableaux and Model Checking for Memory Logics. | Carlos Areces, Diego Figueira, Daniel Gorn, Sergio Mera |
| 2008 | INLG | Referring Expressions as Formulas of Description Logic. | Carlos Areces, Alexander Koller, Kristina Striegnitz |
| 2008 | WoLLIC | Expressive Power and Decidability for Memory Logics. | Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera |
| 2004 | LPAR | Ordered Resolution with Selection for H(@). | Carlos Areces, Daniel Gorn |
| 2003 | IJCAI | Keys, Nominals, and Concrete Domains. | Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler |
| 2002 | AiML | Controlled Model Exploration. | Gabriel G. Infante Lpez, Carlos Areces, Maarten de Rijke |
| 2002 | CADE | HyLoRes 1.0: Direct Resolution for Hybrid Logics. | Carlos Areces, Juan Heguiabehere |
| 2000 | AiML | From Description to Hybrid Logics, and Back. | Carlos Areces, Maarten de Rijke |
| 2000 | ECAI | Tree-based Heuristics in Modal Theorem Proving. | Carlos Areces, Rosella Gennari, Juan Heguiabehere, Maarten de Rijke |
| 1999 | CADE | Prefixed Resolution: A Resolution Method for Modal and Description Logics. | Carlos Areces, Hans de Nivelle, Maarten de Rijke |
| 1999 | CSL | A Road-Map on Complexity for Hybrid Logics. | Carlos Areces, Patrick Blackburn, Maarten Marx |
| 1999 | MASCOTS | Feature Interaction as a Satisfiability Problem. | Carlos Areces, Wiet Bouma, Maarten de Rijke |
| 1998 | AiML | Interpolation, Definability and Fixed Points in Interpretability Logics. | Carlos Areces, Eva Hoogland, Dick de Jongh |