default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCarlos Areces
Person information
- affiliation: National University of Cordoba, Argentinia
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j30]Carlos Areces
, Luciana Benotti, Franco Bulgarelli, Maria Emilia Echeveste, Nadia Finzi:
Leveraging Language Models and Automatic Summarization in Online Programming Learning Environments. Commun. ACM 67(8): 86-87 (2024)- [i7]Carlos Areces, Valentin Cassano, Raul Fervari:
Data-Aware Hybrid Tableaux. CoRR abs/2406.12090 (2024) - 2023
- [j29]Valentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro:
Algebraic tools for default modal systems. J. Log. Comput. 33(6): 1301-1325 (2023) - [c62]Carlos Areces, Valentin Cassano, Pablo F. Castro, Raul Fervari, Andrés R. Saravia:
A Deontic Logic of Knowingly Complying. AAMAS 2023: 364-372 - [c61]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: 405-419 - [c60]Carlos Areces, Valentin Cassano, Danae Dutto, Raul Fervari:
Data Graphs with Incomplete Information (and a Way to Complete Them). JELIA 2023: 729-744 - [c59]Carlos Areces, Valentin Cassano, Raul Fervari, Guillaume Hoffmann:
DefTab : A Tableaux System for Sceptical Consequence in Default Modal Logics. TABLEAUX 2023: 37-48 - [e3]Carlos Areces, Diana Costa:
Dynamic Logic. New Trends and Applications - 4th International Workshop, DaLí 2022, Haifa, Israel, July 31 - August 1, 2022, Revised Selected Papers. Lecture Notes in Computer Science 13780, Springer 2023, ISBN 978-3-031-26621-8 [contents] - [i6]Carlos Areces, Raul Fervari, Andrés R. Saravia, Fernando R. Velázquez-Quesada:
Uncertainty-Based Knowing How Logic. CoRR abs/2304.01022 (2023) - [i5]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 abs/2309.17094 (2023) - 2022
- [c58]Carlos Areces, Raul Fervari, Andrés R. Saravia, Fernando R. Velázquez-Quesada:
First Steps in Updating Knowing How. DaLí 2022: 1-16 - [c57]Carlos Areces, Valentin Cassano, Raul Fervari:
Non-monotonic Reasoning via Dynamic Consequence. WoLLIC 2022: 395-410 - 2021
- [j28]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): 181-220 (2021) - [j27]Carlos Areces, Raul Fervari:
Axiomatizing Hybrid XPath with Data. Log. Methods Comput. Sci. 17(3) (2021) - [c56]Pablo F. Castro, Valentin Cassano, Raul Fervari, Carlos Areces:
Deontic Action Logics via Algebra. DEON 2021: 77-93 - [c55]Carlos Areces, Raul Fervari, Andrés R. Saravia, Fernando R. Velázquez-Quesada:
Uncertainty-Based Semantics for Multi-Agent Knowing How Logics. TARK 2021: 23-37 - 2020
- [j26]Carlos Areces, Miguel Campercholi, Daniel Penazzi, Pablo Ventura:
The complexity of definability by open first-order formulas. Log. J. IGPL 28(6): 1093-1105 (2020) - [c54]Valentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro:
Default Modal Systems as Algebraic Updates. DaLí 2020: 103-119 - [i4]Carlos Areces, Raul Fervari:
Axiomatizing Hybrid XPath with Data. CoRR abs/2004.00124 (2020)
2010 – 2019
- 2019
- [c53]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: 7602-7609 - [c52]Valentin Cassano, Raul Fervari, Guillaume Hoffmann, Carlos Areces, Pablo F. Castro:
A Tableaux Calculus for Default Intuitionistic Logic. CADE 2019: 161-177 - [c51]Valentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro:
Interpolation and Beth Definability in Default Logics. JELIA 2019: 675-691 - [c50]Pablo F. Castro, Valentin Cassano, Raul Fervari, Carlos Areces:
An Algebraic Approach for Action Based Default Reasoning. TARK 2019: 91-105 - [i3]Carlos Areces, Miguel Campercholi, Daniel Penazzi, Pablo Ventura:
The Complexity of Definability by Open First-Order Formulas. CoRR abs/1904.04637 (2019) - 2018
- [j25]Carlos Areces, Raul Fervari, Guillaume Hoffmann, Mauricio Martel:
Satisfiability for relation-changing logics. J. Log. Comput. 28(7): 1443-1470 (2018) - [c49]Valentin Cassano, Carlos Areces, Pablo F. Castro:
Reasoning About Prescription and Description Using Prioritized Default Rules. LPAR 2018: 196-213 - [c48]Carlos Areces, Miguel Campercholi, Pablo Ventura:
Deciding Open Definability via Subisomorphisms. WoLLIC 2018: 91-105 - 2017
- [j24]Carlos Areces, Hans van Ditmarsch, Raul Fervari, François Schwarzentruber:
The modal logic of copy and remove. Inf. Comput. 255: 243-261 (2017) - [j23]Carlos Areces, Miguel Campercholi, Daniel Penazzi, Pedro Sánchez Terraf:
The lattice of congruences of a finite line frame. J. Log. Comput. 27(8): 2653-2688 (2017) - [c47]Carlos Areces, Raul Fervari, Nahuel Seiler:
Tableaux for Hybrid XPath with Data. EPIA 2017: 611-623 - [c46]Carlos Areces, Raul Fervari, Guillaume Hoffmann, Mauricio Martel:
Undecidability of Relation-Changing Modal Logics. DALI@TABLEAUX 2017: 1-16 - 2016
- [c45]Carlos Areces, Raul Fervari:
Hilbert-Style Axiomatization for Hybrid XPath with Data. JELIA 2016: 34-48 - [c44]Carlos Areces, Raul Fervari, Guillaume Hoffmann, Mauricio Martel:
Relation-Changing Logics as Fragments of Hybrid Logics. GandALF 2016: 16-29 - 2015
- [j22]Carlos Areces, Ezequiel Orbe:
Symmetries in Modal Logics. Bull. Symb. Log. 21(4): 373-401 (2015) - [j21]Carlos Areces, Raul Fervari, Guillaume Hoffmann:
Relation-changing modal operators. Log. J. IGPL 23(4): 601-627 (2015) - [j20]Diego Figueira, Santiago Figueira, Carlos Areces:
Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization. J. Artif. Intell. Res. 53: 271-314 (2015) - [j19]Carlos Areces, Ezequiel Orbe:
Symmetric blocking. Theor. Comput. Sci. 606: 25-41 (2015) - [c43]Carlos Areces, Pascal Fontaine, Stephan Merz:
Modal Satisfiability via SMT Solving. Software, Services, and Systems 2015: 30-45 - [i2]Carlos Areces, Miguel Campercholi, Daniel Penazzi, Pedro Sánchez Terraf:
The Lattice of Congruences of a Finite Linear Frame. CoRR abs/1504.01789 (2015) - 2014
- [j18]Carlos Areces, Raul Fervari, Guillaume Hoffmann:
Swap logic. Log. J. IGPL 22(2): 309-332 (2014) - [j17]Carlos Areces, Patrick Blackburn, Antonia Huertas, María Manzano:
Completeness in Hybrid Type Theory. J. Philos. Log. 43(2-3): 209-238 (2014) - [j16]Carlos Areces, Facundo Carreiro, Santiago Figueira:
Characterization, definability and separation via saturated models. Theor. Comput. Sci. 537: 72-86 (2014) - [c42]Carlos Areces, Facundo Bustos, Martín Ariel Domínguez, Jörg Hoffmann:
Optimizing Planning Domains by Automatic Action Schema Splitting. ICAPS 2014 - [c41]Diego Figueira, Santiago Figueira, Carlos Areces:
Basic Model Theory of XPath on Data Trees. ICDT 2014: 50-60 - [c40]Carlos Areces, Hans van Ditmarsch, Raul Fervari, François Schwarzentruber:
Logics with Copy and Remove. WoLLIC 2014: 51-65 - 2013
- [c39]Carlos Areces, Raul Fervari, Guillaume Hoffmann:
Tableaux for Relation-Changing Modal Logics. FroCos 2013: 263-278 - [c38]Carlos Areces, Ezequiel Orbe:
Dealing with Symmetries in Modal Tableaux. TABLEAUX 2013: 13-27 - 2012
- [j15]Carlos Areces, Santiago Figueira, Sergio Mera:
Completeness results for memory logics. Ann. Pure Appl. Log. 163(7): 961-972 (2012) - [c37]Romina Altamirano, Carlos Areces, Luciana Benotti:
Probabilistic Refinement Algorithms for the Generation of Referring Expressions. COLING (Posters) 2012: 53-62 - [c36]Ezequiel Orbe, Carlos Areces, Gabriel G. Infante López:
iSat: Structure Visualization for SAT Problems. LPAR 2012: 335-342 - [c35]Carlos Areces, Raul Fervari, Guillaume Hoffmann:
Moving Arrows and Four Model Checking Results. WoLLIC 2012: 142-153 - [c34]Carlos Areces, Guillaume Hoffmann, Ezequiel Orbe:
Symmetries in Modal Logics. LSFA 2012: 27-44 - 2011
- [j14]Carlos Areces, Daniel Gorín:
Resolution with Order and Selection for Hybrid Logics. J. Autom. Reason. 46(1): 1-42 (2011) - [j13]Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera:
The Expressive Power of Memory Logics. Rev. Symb. Log. 4(2): 290-318 (2011) - [c33]Carlos Areces, Pascal Fontaine:
Combining Theories: The Ackerman and Guarded Fragments. FroCoS 2011: 40-54 - [c32]Carlos Areces, Santiago Figueira, Daniel Gorín:
Using Logic in the Generation of Referring Expressions. LACL 2011: 17-32 - [c31]Carlos Areces, Facundo Carreiro, Santiago Figueira, Sergio Mera:
Basic Model Theory for Memory Logics. WoLLIC 2011: 20-34 - [c30]Carlos Areces, Daniel Gorín:
Unsorted Functional Translations. M4M/LAMAS 2011: 3-16 - 2010
- [j12]Carlos Areces, Patrick Blackburn:
Special Issue on Hybrid Logics. J. Appl. Log. 8(4): 303-304 (2010) - [j11]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): 305-318 (2010) - [c29]Luciana Benotti, Paula Estrella, Carlos Areces:
Dialogue Systems for Virtual Environments. NAACL (Young Investigators Workshop) 2010: 132-140 - [c28]Carlos Areces, Guillaume Hoffmann, Alexandre Denis:
Modal Logics with Counting. WoLLIC 2010: 98-109 - [i1]Carlos Areces, Santiago Figueira, Daniel Gorín:
The Question of Expressiveness in the Generation of Referring Expressions. CoRR abs/1006.4621 (2010)
2000 – 2009
- 2009
- [c27]Carlos Areces, Daniel Gorín, Alejandra Lorenzo, Mariano Pérez Rodríguez:
Testing Provers on a Grid - Framework Description. Description Logics 2009 - [c26]Carlos Areces, Diego Figueira:
Which Semantics for Neighbourhood Semantics? IJCAI 2009: 671-676 - [c25]Carlos Areces, Santiago Figueira, Sergio Mera:
Completeness Results for Memory Logics. LFCS 2009: 16-30 - [c24]Carlos Areces, Diego Figueira, Daniel Gorín, Sergio Mera:
Tableaux and Model Checking for Memory Logics. TABLEAUX 2009: 47-61 - [e2]Carlos Areces, Stéphane Demri:
Proceedings of the 5th Workshop on Methods for Modalities, M4M 2007, Cachan, France, November 29-30, 2007. Electronic Notes in Theoretical Computer Science 231, Elsevier 2009 [contents] - 2008
- [c23]Carlos Areces, Alexander Koller, Kristina Striegnitz:
Referring Expressions as Formulas of Description Logic. INLG 2008 - [c22]Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera:
Expressive Power and Decidability for Memory Logics. WoLLIC 2008: 56-68 - [e1]Carlos Areces, Robert Goldblatt:
Advances in Modal Logic 7, papers from the seventh conference on "Advances in Modal Logic," held in Nancy, France, 9-12 September 2008. College Publications 2008, ISBN 978-1-904987-68-0 [contents] - 2007
- [c21]Carlos Areces, Stéphane Demri:
Preface. M4M 2007: 1-2 - [c20]Guillaume Hoffmann, Carlos Areces:
HTab: a Terminating Tableaux System for Hybrid Logic. M4M 2007: 3-19 - [c19]Dmitry Sustretov, Guillaume Hoffmann, Carlos Areces, Patrick Blackburn:
Experiments in Theorem Proving for Topological Hybrid Logic. M4M 2007: 309-321 - [p1]Carlos Areces, Balder ten Cate:
Hybrid logics. Handbook of Modal Logic 2007: 821-868 - 2006
- [j10]Carlos Areces:
Methods for modalities 3. J. Appl. Log. 4(3): 215-217 (2006) - 2005
- [j9]Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler:
Keys, Nominals, and Concrete Domains. J. Artif. Intell. Res. 23: 667-726 (2005) - [c18]Carlos Areces, Patrick Blackburn:
Reichenbach, Prior and Montague: A Semantic Get-together. We Will Show Them! (1) 2005: 77-88 - 2004
- [j8]Carlos Areces, Raffaella Bernardi:
Analyzing the Core of Categorial Grammar. J. Log. Lang. Inf. 13(2): 121-137 (2004) - [c17]Carlos Areces, Daniel Gorín:
Ordered Resolution with Selection for H(@). LPAR 2004: 125-141 - 2003
- [j7]Carlos Areces, Patrick Blackburn, Maarten Marx:
Repairing the interpolation theorem in quantified modal logic. Ann. Pure Appl. Log. 124(1-3): 287-299 (2003) - [c16]Carlos Areces, Patrick Blackburn, Bernadette Martínez Hernández, Maarten Marx:
Handling Boolean A Boxes. Description Logics 2003 - [c15]Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler:
Keys, Nominals, and Concrete Domains. IJCAI 2003: 349-354 - 2002
- [c14]Gabriel G. Infante López, Carlos Areces, Maarten de Rijke:
Controlled Model Exploration. Advances in Modal Logic 2002: 205-220 - [c13]Carlos Areces, Juan Heguiabehere:
HyLoRes 1.0: Direct Resolution for Hybrid Logics. CADE 2002: 156-160 - 2001
- [j6]Carlos Areces, Patrick Blackburn, Maarten Marx:
Hybrid Logics: Characterization, Interpolation and Complexity. J. Symb. Log. 66(3): 977-1010 (2001) - [j5]Carlos Areces, Patrick Blackburn:
Bringing them all Together. J. Log. Comput. 11(5): 657-669 (2001) - [j4]Carlos Areces, Maarten de Rijke, Hans de Nivelle:
Resolution in Modal, Description and Hybrid Logic. J. Log. Comput. 11(5): 717-736 (2001) - [c12]Carlos Areces, Raffaella Bernardi, Michael Moortgat:
Galois Connections in Categorial Type Logic. FGMOL 2001: 3-20 - 2000
- [j3]Carlos Areces, Enrico Franconi, Rajeev Goré, Maarten de Rijke, Bernd-Holger Schlingloff:
Editorial. Log. J. IGPL 8(3): 231-237 (2000) - [j2]Carlos Areces, Patrick Blackburn, Maarten Marx:
The Computational Complexity of Hybrid Temporal Logics. Log. J. IGPL 8(5): 653-679 (2000) - [c11]Carlos Areces, Maarten de Rijke:
From Description to Hybrid Logics, and Back. Advances in Modal Logic 2000: 17-36 - [c10]Carlos Areces, Rosella Gennari, Juan Heguiabehere, Maarten de Rijke:
Tree-based Heuristics in Modal Theorem Proving. ECAI 2000: 199-203 - [c9]Rafael Accorsi, Carlos Areces, Wiet Bouma, Maarten de Rijke:
Features as Constraints. FIW 2000: 210-225
1990 – 1999
- 1999
- [c8]Carlos Areces, Hans de Nivelle, Maarten de Rijke:
Prefixed Resolution: A Resolution Method for Modal and Description Logics. CADE 1999: 187-201 - [c7]Carlos Areces, Patrick Blackburn, Maarten Marx:
A Road-Map on Complexity for Hybrid Logics. CSL 1999: 307-321 - [c6]Marco Aiello, Carlos Areces, Maarten de Rijke:
Spatial Reasoning for Image Retrieval. Description Logics 1999 - [c5]Carlos Areces, Wiet Bouma, Maarten de Rijke:
Description Logics and Feature Interaction. Description Logics 1999 - [c4]Carlos Areces, Wiet Bouma, Maarten de Rijke:
Feature Interaction as a Satisfiability Problem. MASCOTS 1999: 339-346 - 1998
- [j1]Maarten Marx, Carlos Areces:
Failure of Interpolation in Combined Modal Logics. Notre Dame J. Formal Log. 39(2): 253-273 (1998) - [c3]Carlos Areces, Eva Hoogland, Dick de Jongh:
Interpolation, Definability and Fixed Points in Interpretability Logics. Advances in Modal Logic 1998: 35-58 - [c2]Carlos Areces, Maarten de Rijke:
Expressiveness Revisited. Description Logics 1998 - [c1]Carlos Areces, Miguel Felder, Dan Hirsch, Daniel Yankelevich:
Modal Logic as a Design Notation. IWSSD 1998: 150-152
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-26 01:55 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
