Carlos Areces

Publication Activity (10 Years)

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

Top Topics

Classical Planning

Automatic Summarization

Top Venues

Publications

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