Interpolation, Definability and Fixed Points in Interpretability Logics. - Carlos Areces; Eva Hoogland; Dick de Jongh (Advances in Modal Logic, 1998)

Expressiveness Revisited. - Carlos Areces; Maarten de Rijke (Description Logics, 1998)

Modal Logic as a Design Notation. - Carlos Areces; Miguel Felder; Dan Hirsch; Daniel Yankelevich (IWSSD, 1998)

Failure of Interpolation in Combined Modal Logics. - Maarten Marx; Carlos Areces (Notre Dame J. Formal Log., 1998)

Prefixed Resolution: A Resolution Method for Modal and Description Logics. - Carlos Areces; Hans de Nivelle; Maarten de Rijke (CADE, 1999)

A Road-Map on Complexity for Hybrid Logics. - Carlos Areces; Patrick Blackburn; Maarten Marx (CSL, 1999)

Spatial Reasoning for Image Retrieval. - Marco Aiello 001; Carlos Areces; Maarten de Rijke (Description Logics, 1999)

Description Logics and Feature Interaction. - Carlos Areces; Wiet Bouma; Maarten de Rijke (Description Logics, 1999)

Feature Interaction as a Satisfiability Problem. - Carlos Areces; Wiet Bouma; Maarten de Rijke (MASCOTS, 1999)

From Description to Hybrid Logics, and Back. - Carlos Areces; Maarten de Rijke (Advances in Modal Logic, 2000)

Tree-based Heuristics in Modal Theorem Proving. - Carlos Areces; Rosella Gennari; Juan Heguiabehere; Maarten de Rijke (ECAI, 2000)

Features as Constraints. - Rafael Accorsi; Carlos Areces; Wiet Bouma; Maarten de Rijke (FIW, 2000)

The Computational Complexity of Hybrid Temporal Logics. - Carlos Areces; Patrick Blackburn; Maarten Marx (Log. J. IGPL, 2000)

Editorial. - Carlos Areces; Enrico Franconi; Rajeev Goré; Maarten de Rijke; Bernd-Holger Schlingloff (Log. J. IGPL, 2000)

Galois Connections in Categorial Type Logic. - Carlos Areces; Raffaella Bernardi; Michael Moortgat (FGMOL, 2001)

Hybrid Logics: Characterization, Interpolation and Complexity. - Carlos Areces; Patrick Blackburn; Maarten Marx (J. Symb. Log., 2001)

Bringing them all Together. - Carlos Areces; Patrick Blackburn (J. Log. Comput., 2001)

Resolution in Modal, Description and Hybrid Logic. - Carlos Areces; Maarten de Rijke; Hans de Nivelle (J. Log. Comput., 2001)

Controlled Model Exploration. - Gabriel G. Infante López; Carlos Areces; Maarten de Rijke (Advances in Modal Logic, 2002)

HyLoRes 1.0: Direct Resolution for Hybrid Logics. - Carlos Areces; Juan Heguiabehere (CADE, 2002)

Handling Boolean A Boxes. - Carlos Areces; Patrick Blackburn; Bernadette Martínez Hernández; Maarten Marx (Description Logics, 2003)

Keys, Nominals, and Concrete Domains. - Carsten Lutz; Carlos Areces; Ian Horrocks 001; Ulrike Sattler (IJCAI, 2003)

Repairing the interpolation theorem in quantified modal logic. - Carlos Areces; Patrick Blackburn; Maarten Marx (Ann. Pure Appl. Log., 2003)

Ordered Resolution with Selection for H(@). - Carlos Areces; Daniel Gorín (LPAR, 2004)

Analyzing the Core of Categorial Grammar. - Carlos Areces; Raffaella Bernardi (J. Log. Lang. Inf., 2004)

Reichenbach, Prior and Montague: A Semantic Get-together. - Carlos Areces; Patrick Blackburn (We Will Show Them! (1), 2005)

Methods for modalities 3. - Carlos Areces (J. Appl. Log., 2006)

Hybrid logics. - Carlos Areces; Balder ten Cate (Handbook of Modal Logic, 2007)

Preface. - Carlos Areces; Stéphane Demri (M4M, 2007)

HTab: a Terminating Tableaux System for Hybrid Logic. - Guillaume Hoffmann 001; Carlos Areces (M4M, 2007)

Experiments in Theorem Proving for Topological Hybrid Logic. - Dmitry Sustretov; Guillaume Hoffmann 001; Carlos Areces; Patrick Blackburn (M4M, 2007)

Referring Expressions as Formulas of Description Logic. - Carlos Areces; Alexander Koller; Kristina Striegnitz (INLG, 2008)

Expressive Power and Decidability for Memory Logics. - Carlos Areces; Diego Figueira; Santiago Figueira; Sergio Mera (WoLLIC, 2008)

Testing Provers on a Grid - Framework Description. - Carlos Areces; Daniel Gorín; Alejandra Lorenzo; Mariano Pérez Rodríguez (Description Logics, 2009)

Which Semantics for Neighbourhood Semantics? - Carlos Areces; Diego Figueira (IJCAI, 2009)

Completeness Results for Memory Logics. - Carlos Areces; Santiago Figueira; Sergio Mera (LFCS, 2009)

Tableaux and Model Checking for Memory Logics. - Carlos Areces; Diego Figueira; Daniel Gorín; Sergio Mera (TABLEAUX, 2009)

Dialogue Systems for Virtual Environments. - Luciana Benotti; Paula Estrella; Carlos Areces (NAACL (Young Investigators Workshop), 2010)

Modal Logics with Counting. - Carlos Areces; Guillaume Hoffmann 001; Alexandre Denis 002 (WoLLIC, 2010)

The Question of Expressiveness in the Generation of Referring Expressions - Carlos Areces; Santiago Figueira; Daniel Gorín (CoRR, 2010)

Special Issue on Hybrid Logics. - Carlos Areces; Patrick Blackburn (J. Appl. Log., 2010)

Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction). - Carlos Areces; Daniel Gorín (J. Appl. Log., 2010)

Combining Theories: The Ackerman and Guarded Fragments. - Carlos Areces; Pascal Fontaine (FroCoS, 2011)

Using Logic in the Generation of Referring Expressions. - Carlos Areces; Santiago Figueira; Daniel Gorín (LACL, 2011)

Basic Model Theory for Memory Logics. - Carlos Areces; Facundo Carreiro; Santiago Figueira; Sergio Mera (WoLLIC, 2011)

Unsorted Functional Translations. - Carlos Areces; Daniel Gorín (M4M/LAMAS, 2011)

Resolution with Order and Selection for Hybrid Logics. - Carlos Areces; Daniel Gorín (J. Autom. Reason., 2011)

The Expressive Power of Memory Logics. - Carlos Areces; Diego Figueira; Santiago Figueira; Sergio Mera (Rev. Symb. Log., 2011)

Probabilistic Refinement Algorithms for the Generation of Referring Expressions. - Romina Altamirano; Carlos Areces; Luciana Benotti (COLING (Posters), 2012)

iSat: Structure Visualization for SAT Problems. - Ezequiel Orbe; Carlos Areces; Gabriel G. Infante López (LPAR, 2012)

Moving Arrows and Four Model Checking Results. - Carlos Areces; Raul Fervari; Guillaume Hoffmann 001 (WoLLIC, 2012)

Symmetries in Modal Logics - Carlos Areces; Guillaume Hoffmann 001; Ezequiel Orbe (LSFA, 2012)

Tableaux for Relation-Changing Modal Logics. - Carlos Areces; Raul Fervari; Guillaume Hoffmann 001 (FroCos, 2013)

Dealing with Symmetries in Modal Tableaux. - Carlos Areces; Ezequiel Orbe (TABLEAUX, 2013)

Optimizing Planning Domains by Automatic Action Schema Splitting. - Carlos Areces; Facundo Bustos; Martín Ariel Domínguez; Jörg Hoffmann 001 (ICAPS, 2014)

Basic Model Theory of XPath on Data Trees. - Diego Figueira; Santiago Figueira; Carlos Areces (ICDT, 2014)

Logics with Copy and Remove. - Carlos Areces; Hans van Ditmarsch; Raul Fervari; François Schwarzentruber (WoLLIC, 2014)

Swap logic. - Carlos Areces; Raul Fervari; Guillaume Hoffmann 001 (Log. J. IGPL, 2014)

Completeness in Hybrid Type Theory. - Carlos Areces; Patrick Blackburn; Antonia Huertas; María Manzano (J. Philos. Log., 2014)

Characterization, definability and separation via saturated models. - Carlos Areces; Facundo Carreiro; Santiago Figueira (Theor. Comput. Sci., 2014)

Modal Satisfiability via SMT Solving. - Carlos Areces; Pascal Fontaine; Stephan Merz (Software, Services, and Systems, 2015)

Symmetries in Modal Logics. - Carlos Areces; Ezequiel Orbe (Bull. Symb. Log., 2015)

The Lattice of Congruences of a Finite Linear Frame. - Carlos Areces; Miguel Campercholi; Daniel Penazzi; Pedro Sánchez Terraf (CoRR, 2015)

Relation-changing modal operators. - Carlos Areces; Raul Fervari; Guillaume Hoffmann 001 (Log. J. IGPL, 2015)

Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization. - Diego Figueira; Santiago Figueira; Carlos Areces (J. Artif. Intell. Res., 2015)

Symmetric blocking. - Carlos Areces; Ezequiel Orbe (Theor. Comput. Sci., 2015)

Hilbert-Style Axiomatization for Hybrid XPath with Data. - Carlos Areces; Raul Fervari (JELIA, 2016)

Relation-Changing Logics as Fragments of Hybrid Logics. - Carlos Areces; Raul Fervari; Guillaume Hoffmann 001; Mauricio Martel (GandALF, 2016)

Tableaux for Hybrid XPath with Data. - Carlos Areces; Raul Fervari; Nahuel Seiler (EPIA, 2017)

Undecidability of Relation-Changing Modal Logics. - Carlos Areces; Raul Fervari; Guillaume Hoffmann 001; Mauricio Martel (DALI@TABLEAUX, 2017)

The modal logic of copy and remove. - Carlos Areces; Hans van Ditmarsch; Raul Fervari; François Schwarzentruber (Inf. Comput., 2017)

The lattice of congruences of a finite line frame. - Carlos Areces; Miguel Campercholi; Daniel Penazzi; Pedro Sánchez Terraf (J. Log. Comput., 2017)

Reasoning About Prescription and Description Using Prioritized Default Rules. - Valentin Cassano; Carlos Areces; Pablo F. Castro (LPAR, 2018)

Deciding Open Definability via Subisomorphisms. - Carlos Areces; Miguel Campercholi; Pablo Ventura (WoLLIC, 2018)

Satisfiability for relation-changing logics. - Carlos Areces; Raul Fervari; Guillaume Hoffmann 001; Mauricio Martel (J. Log. Comput., 2018)

Learning How to Ground a Plan - Partial Grounding in Classical Planning. - Daniel Gnad 001; Álvaro Torralba; Martín Ariel Domínguez; Carlos Areces; Facundo Bustos (AAAI, 2019)

A Tableaux Calculus for Default Intuitionistic Logic. - Valentin Cassano; Raul Fervari; Guillaume Hoffmann 001; Carlos Areces; Pablo F. Castro (CADE, 2019)

Interpolation and Beth Definability in Default Logics. - Valentin Cassano; Raul Fervari; Carlos Areces; Pablo F. Castro (JELIA, 2019)

An Algebraic Approach for Action Based Default Reasoning. - Pablo F. Castro; Valentin Cassano; Raul Fervari; Carlos Areces (TARK, 2019)

Default Modal Systems as Algebraic Updates. - Valentin Cassano; Raul Fervari; Carlos Areces; Pablo F. Castro (DaLí, 2020)

The complexity of definability by open first-order formulas. - Carlos Areces; Miguel Campercholi; Daniel Penazzi; Pablo Ventura (Log. J. IGPL, 2020)

Deontic Action Logics via Algebra. - Pablo F. Castro; Valentin Cassano; Raul Fervari; Carlos Areces (DEON, 2021)

Uncertainty-Based Semantics for Multi-Agent Knowing How Logics. - Carlos Areces; Raul Fervari; Andrés R. Saravia; Fernando R. Velázquez-Quesada (TARK, 2021)

Copy and remove as dynamic operators. - Carlos Areces; Hans van Ditmarsch; Raul Fervari; Bastien Maubert; François Schwarzentruber (J. Appl. Non Class. Logics, 2021)

Axiomatizing Hybrid XPath with Data. - Carlos Areces; Raul Fervari (Log. Methods Comput. Sci., 2021)

First Steps in Updating Knowing How. - Carlos Areces; Raul Fervari; Andrés R. Saravia; Fernando R. Velázquez-Quesada (DaLí, 2022)

Non-monotonic Reasoning via Dynamic Consequence. - Carlos Areces; Valentin Cassano; Raul Fervari (WoLLIC, 2022)

A Deontic Logic of Knowingly Complying. - Carlos Areces; Valentin Cassano; Pablo F. Castro; Raul Fervari; Andrés R. Saravia (AAMAS, 2023)

How Easy it is to Know How: An Upper Bound for the Satisfiability Problem. - Carlos Areces; Valentin Cassano; Pablo F. Castro; Raul Fervari; Andrés R. Saravia (JELIA, 2023)

Data Graphs with Incomplete Information (and a Way to Complete Them). - Carlos Areces; Valentin Cassano; Danae Dutto; Raul Fervari (JELIA, 2023)

DefTab : A Tableaux System for Sceptical Consequence in Default Modal Logics. - Carlos Areces; Valentin Cassano; Raul Fervari; Guillaume Hoffmann 001 (TABLEAUX, 2023)

Algebraic tools for default modal systems. - Valentin Cassano; Raul Fervari; Carlos Areces; Pablo F. Castro (J. Log. Comput., 2023)

Data-Aware Hybrid Tableaux. - Carlos Areces; Valentin Cassano; Raul Fervari (CoRR, 2024)

Leveraging Language Models and Automatic Summarization in Online Programming Learning Environments. - Carlos Areces; Luciana Benotti; Franco Bulgarelli; Maria Emilia Echeveste; Nadia Finzi (Commun. ACM, 2024)

Uncertainty-based knowing how logic. - Carlos Areces; Raul Fervari; Andrés R. Saravia; Fernando R. Velázquez-Quesada (J. Log. Comput., 2025)

Deontic Action Logics: A Modular Algebraic Perspective. - Carlos Areces; Valentin Cassano; Pablo F. Castro; Raul Fervari (CoRR, 2025)

Sequent Calculi for Data-Aware Modal Logics. - Carlos Areces; Valentin Cassano; Danae Dutto; Raul Fervari (CoRR, 2025)