Carlos Areces

According to our database, Carlos Areces authored at least 95 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Leveraging Language Models and Automatic Summarization in Online Programming Learning Environments.

Carlos Areces, Luciana Benotti, Franco Bulgarelli, Emilia Echeveste, Nadia Finzi

Commun. ACM, August, 2024

Data-Aware Hybrid Tableaux.

Carlos Areces, Valentin Cassano, Raul Fervari

CoRR, 2024

2023

Algebraic tools for default modal systems.

Valentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro

J. Log. Comput., August, 2023

Uncertainty-Based Knowing How Logic.

Carlos Areces, Raul Fervari, Andrés R. Saravia, Fernando R. Velázquez-Quesada

CoRR, 2023

DefTab : A Tableaux System for Sceptical Consequence in Default Modal Logics.

Carlos Areces, Valentin Cassano, Raul Fervari, Guillaume Hoffmann

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

Data Graphs with Incomplete Information (and a Way to Complete Them).

Carlos Areces, Valentin Cassano, Danae Dutto, Raul Fervari

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 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

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

A Deontic Logic of Knowingly Complying.

Carlos Areces, Valentin Cassano, Pablo F. Castro, Raul Fervari, Andrés R. Saravia

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022

Non-monotonic Reasoning via Dynamic Consequence.

Carlos Areces, Valentin Cassano, Raul Fervari

Proceedings of the Logic, Language, Information, and Computation, 2022

First Steps in Updating Knowing How.

Carlos Areces, Raul Fervari, Andrés R. Saravia, Fernando R. Velázquez-Quesada

Proceedings of the Dynamic Logic. New Trends and Applications - 4th International Workshop, 2022

2021

Axiomatizing Hybrid XPath with Data.

Carlos Areces, Raul Fervari

Log. Methods Comput. Sci., 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

Uncertainty-Based Semantics for Multi-Agent Knowing How Logics.

Carlos Areces, Raul Fervari, Andrés R. Saravia, Fernando R. Velázquez-Quesada

Proceedings of the Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2021

Deontic Action Logics via Algebra.

Pablo F. Castro, Valentin Cassano, Raul Fervari, Carlos Areces

Proceedings of the Deontic Logic and Normative Systems - 15th International Conference, 2021

2020

The complexity of definability by open first-order formulas.

Carlos Areces, Miguel Campercholi, Daniel Penazzi, Pablo Ventura

Log. J. IGPL, 2020

Default Modal Systems as Algebraic Updates.

Valentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro

Proceedings of the Dynamic Logic. New Trends and Applications, 2020

2019

An Algebraic Approach for Action Based Default Reasoning.

Pablo F. Castro, Valentin Cassano, Raul Fervari, Carlos Areces

Proceedings of the Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, 2019

Interpolation and Beth Definability in Default Logics.

Valentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

A Tableaux Calculus for Default Intuitionistic Logic.

Valentin Cassano, Raul Fervari, Guillaume Hoffmann, Carlos Areces, Pablo F. Castro

Proceedings of the Automated Deduction - CADE 27, 2019

Learning How to Ground a Plan - Partial Grounding in Classical Planning.

Daniel Gnad, Álvaro Torralba, Martín Ariel Domínguez, Carlos Areces, Facundo Bustos

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Satisfiability for relation-changing logics.

Carlos Areces, Raul Fervari, Guillaume Hoffmann, Mauricio Martel

J. Log. Comput., 2018

Deciding Open Definability via Subisomorphisms.

Carlos Areces, Miguel Campercholi, Pablo Ventura

Proceedings of the Logic, Language, Information, and Computation, 2018

Reasoning About Prescription and Description Using Prioritized Default Rules.

Valentin Cassano, Carlos Areces, Pablo F. Castro

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

2017

The lattice of congruences of a finite line frame.

Carlos Areces, Miguel Campercholi, Daniel Penazzi, Pedro Sánchez Terraf

J. Log. Comput., 2017

The modal logic of copy and remove.

Carlos Areces, Hans van Ditmarsch, Raul Fervari, François Schwarzentruber

Inf. Comput., 2017

Undecidability of Relation-Changing Modal Logics.

Carlos Areces, Raul Fervari, Guillaume Hoffmann, Mauricio Martel

Proceedings of the Dynamic Logic. New Trends and Applications, 2017

Tableaux for Hybrid XPath with Data.

Carlos Areces, Raul Fervari, Nahuel Seiler

Proceedings of the Progress in Artificial Intelligence, 2017

2016

Relation-Changing Logics as Fragments of Hybrid Logics.

Carlos Areces, Raul Fervari, Guillaume Hoffmann, Mauricio Martel

Proceedings of the Seventh International Symposium on Games, 2016

Hilbert-Style Axiomatization for Hybrid XPath with Data.

Carlos Areces, Raul Fervari

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

2015

Symmetric blocking.

Carlos Areces, Ezequiel Orbe

Theor. Comput. Sci., 2015

Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization.

Diego Figueira, Santiago Figueira, Carlos Areces

J. Artif. Intell. Res., 2015

Relation-changing modal operators.

Carlos Areces, Raul Fervari, Guillaume Hoffmann

Log. J. IGPL, 2015

The Lattice of Congruences of a Finite Linear Frame.

Carlos Areces, Miguel Campercholi, Daniel Penazzi, Pedro Sánchez Terraf

CoRR, 2015

Symmetries in Modal Logics.

Carlos Areces, Ezequiel Orbe

Bull. Symb. Log., 2015

Modal Satisfiability via SMT Solving.

Carlos Areces, Pascal Fontaine, Stephan Merz

Proceedings of the Software, 2015

2014

Characterization, definability and separation via saturated models.

Carlos Areces, Facundo Carreiro, Santiago Figueira

Theor. Comput. Sci., 2014

Completeness in Hybrid Type Theory.

Carlos Areces, Patrick Blackburn, Antonia Huertas, María Manzano

J. Philos. Log., 2014

Swap logic.

Carlos Areces, Raul Fervari, Guillaume Hoffmann

Log. J. IGPL, 2014

Logics with Copy and Remove.

Carlos Areces, Hans van Ditmarsch, Raul Fervari, François Schwarzentruber

Proceedings of the Logic, Language, Information, and Computation, 2014

Basic Model Theory of XPath on Data Trees.

Diego Figueira, Santiago Figueira, Carlos Areces

Proceedings of the Proc. 17th International Conference on Database Theory (ICDT), 2014

Optimizing Planning Domains by Automatic Action Schema Splitting.

Carlos Areces, Facundo Bustos, Martín Ariel Domínguez, Jörg Hoffmann

Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

2013

Dealing with Symmetries in Modal Tableaux.

Carlos Areces, Ezequiel Orbe

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013

Tableaux for Relation-Changing Modal Logics.

Carlos Areces, Raul Fervari, Guillaume Hoffmann

Proceedings of the Frontiers of Combining Systems, 2013

2012

Symmetries in Modal Logics

Carlos Areces, Guillaume Hoffmann, Ezequiel Orbe

Proceedings of the Proceedings Seventh Workshop on Logical and Semantic Frameworks, 2012

Completeness results for memory logics.

Carlos Areces, Santiago Figueira, Sergio Mera

Ann. Pure Appl. Log., 2012

Moving Arrows and Four Model Checking Results.

Carlos Areces, Raul Fervari, Guillaume Hoffmann

Proceedings of the Logic, Language, Information and Computation, 2012

iSat: Structure Visualization for SAT Problems.

Ezequiel Orbe, Carlos Areces, Gabriel G. Infante López

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

Probabilistic Refinement Algorithms for the Generation of Referring Expressions.

Romina Altamirano, Carlos Areces, Luciana Benotti

Proceedings of the COLING 2012, 2012

2011

The Expressive Power of Memory Logics.

Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera

Rev. Symb. Log., 2011

Resolution with Order and Selection for Hybrid Logics.

Carlos Areces, Daniel Gorín

J. Autom. Reason., 2011

Unsorted Functional Translations.

Carlos Areces, Daniel Gorín

Proceedings of the 7th Workshop on Methods for Modalities, 2011

Basic Model Theory for Memory Logics.

Carlos Areces, Facundo Carreiro, Santiago Figueira, Sergio Mera

Proceedings of the Logic, Language, Information and Computation, 2011

Using Logic in the Generation of Referring Expressions.

Carlos Areces, Santiago Figueira, Daniel Gorín

Proceedings of the Logical Aspects of Computational Linguistics, 2011

Combining Theories: The Ackerman and Guarded Fragments.

Carlos Areces, Pascal Fontaine

Proceedings of the Frontiers of Combining Systems, 8th International Symposium, 2011

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

Special Issue on Hybrid Logics.

Carlos Areces, Patrick Blackburn

J. Appl. Log., 2010

The Question of Expressiveness in the Generation of Referring Expressions

Carlos Areces, Santiago Figueira, Daniel Gorín

CoRR, 2010

Modal Logics with Counting.

Carlos Areces, Guillaume Hoffmann, Alexandre Denis

Proceedings of the Logic, 2010

Dialogue Systems for Virtual Environments.

Luciana Benotti, Paula Estrella, Carlos Areces

Proceedings of the NAACL HLT 2010 Young Investigators Workshop on Computational Approaches to Languages of the Americas, 2010

2009

Tableaux and Model Checking for Memory Logics.

Carlos Areces, Diego Figueira, Daniel Gorín, Sergio Mera

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009

Which Semantics for Neighbourhood Semantics?

Carlos Areces, Diego Figueira

Proceedings of the IJCAI 2009, 2009

Testing Provers on a Grid - Framework Description.

Carlos Areces, Daniel Gorín, Alejandra Lorenzo, Mariano Pérez Rodríguez

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008

Expressive Power and Decidability for Memory Logics.

Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera

Proceedings of the Logic, 2008

Referring Expressions as Formulas of Description Logic.

Carlos Areces, Alexander Koller, Kristina Striegnitz

Proceedings of the INLG 2008, 2008

2007

Experiments in Theorem Proving for Topological Hybrid Logic.

Dmitry Sustretov, Guillaume Hoffmann, Carlos Areces, Patrick Blackburn

Proceedings of the 5th Workshop on Methods for Modalities, 2007

HTab: a Terminating Tableaux System for Hybrid Logic.

Guillaume Hoffmann, Carlos Areces

Proceedings of the 5th Workshop on Methods for Modalities, 2007

Preface.

Carlos Areces, Stéphane Demri

Proceedings of the 5th Workshop on Methods for Modalities, 2007

Hybrid logics.

Carlos Areces, Balder ten Cate

Proceedings of the Handbook of Modal Logic., 2007

2006

Methods for modalities 3.

Carlos Areces

J. Appl. Log., 2006

2005

Keys, Nominals, and Concrete Domains.

Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler

J. Artif. Intell. Res., 2005

Reichenbach, Prior and Montague: A Semantic Get-together.

Carlos Areces, Patrick Blackburn

Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005

2004

Analyzing the Core of Categorial Grammar.

Carlos Areces, Raffaella Bernardi

J. Log. Lang. Inf., 2004

Ordered Resolution with Selection for H(@).

Carlos Areces, Daniel Gorín

Proceedings of the Logic for Programming, 2004

2003

Repairing the interpolation theorem in quantified modal logic.

Carlos Areces, Patrick Blackburn, Maarten Marx

Ann. Pure Appl. Log., 2003

Handling Boolean A Boxes.

Carlos Areces, Patrick Blackburn, Bernadette Martínez Hernández, Maarten Marx

Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

2002

HyLoRes 1.0: Direct Resolution for Hybrid Logics.

Carlos Areces, Juan Heguiabehere

Proceedings of the Automated Deduction, 2002

Controlled Model Exploration.

Gabriel G. Infante López, Carlos Areces, Maarten de Rijke

Proceedings of the Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse, France, 30 September, 2002

2001

Resolution in Modal, Description and Hybrid Logic.

Carlos Areces, Maarten de Rijke, Hans de Nivelle

J. Log. Comput., 2001

Bringing them all Together.

Carlos Areces, Patrick Blackburn

J. Log. Comput., 2001

Hybrid Logics: Characterization, Interpolation and Complexity.

Carlos Areces, Patrick Blackburn, Maarten Marx

J. Symb. Log., 2001

Galois Connections in Categorial Type Logic.

Carlos Areces, Raffaella Bernardi, Michael Moortgat

Proceedings of the joint meeting of the 6th Conference on Formal Grammar (FG) and the 7th Conference on Mathematics of Language (MOL), 2001

2000

Editorial.

Carlos Areces, Enrico Franconi, Rajeev Goré, Maarten de Rijke, Bernd-Holger Schlingloff

Log. J. IGPL, 2000

The Computational Complexity of Hybrid Temporal Logics.

Carlos Areces, Patrick Blackburn, Maarten Marx

Log. J. IGPL, 2000

Features as Constraints.

Rafael Accorsi, Carlos Areces, Wiet Bouma, Maarten de Rijke

Proceedings of the Feature Interactions in Telecommunications and Software Systems VI, 2000

Tree-based Heuristics in Modal Theorem Proving.

Carlos Areces, Rosella Gennari, Juan Heguiabehere, Maarten de Rijke

Proceedings of the ECAI 2000, 2000

From Description to Hybrid Logics, and Back.

Carlos Areces, Maarten de Rijke

Proceedings of the Advances in Modal Logic 3, 2000

1999

Feature Interaction as a Satisfiability Problem.

Carlos Areces, Wiet Bouma, Maarten de Rijke

Proceedings of the MASCOTS 1999, 1999

Description Logics and Feature Interaction.

Carlos Areces, Wiet Bouma, Maarten de Rijke

Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

Spatial Reasoning for Image Retrieval.

Marco Aiello, Carlos Areces, Maarten de Rijke

Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

A Road-Map on Complexity for Hybrid Logics.

Carlos Areces, Patrick Blackburn, Maarten Marx

Proceedings of the Computer Science Logic, 13th International Workshop, 1999

Prefixed Resolution: A Resolution Method for Modal and Description Logics.

Carlos Areces, Hans de Nivelle, Maarten de Rijke

Proceedings of the Automated Deduction, 1999

1998

Failure of Interpolation in Combined Modal Logics.

Maarten Marx, Carlos Areces

Notre Dame J. Formal Log., 1998

Modal Logic as a Design Notation.

Carlos Areces, Miguel Felder, Dan Hirsch, Daniel Yankelevich

Proceedings of the 9th International Workshop on Software Specification and Design, 1998

Expressiveness Revisited.

Carlos Areces, Maarten de Rijke

Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo, 1998

Interpolation, Definability and Fixed Points in Interpretability Logics.

Carlos Areces, Eva Hoogland, Dick de Jongh

Proceedings of the Advances in Modal Logic 2, 1998