How Easy it is to Know How: An Upper Bound for the Satisfiability Problem

Logics in Artificial Intelligence. 18th European Conference, JELIA 2023

Año: 2025; p. 405 - 419

A Deontic Logic of Knowingly Complying

Proceedings of the 22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2023)

Año: 2025; p. 364 - 372

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

Logics in Artificial Intelligence. 18th European Con- ference, JELIA 2023

Año: 2023; p. 729 - 744

C. ARECES; V. CASSANO; D. DUTTO; R. FERVARI; SARAH ALICE GAGGL; MARIA VANINA MARTINEZ; MAGDALENA ORTIZ

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

Logics in Artificial Intelligence - 18th European Conference, JELIA 2023

Año: 2023; p. 729 - 744

ARECES, C.; FERVARI, R.; SARAVIA, A.; VELAZQUEZ-QUESADA, F. ; ARECES, C.; COSTA, D.

First Steps in Updating Knowing How

Dynamic Logic. New Trends and Applications

Año: 2023; p. 1 - 16

C. ARECES; V. CASSANO; R. FERVARI; HOFFMANN, G.; REVANTHA RAMANAYAKE; JOSEF URBAN

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

Automated Reasoning with Analytic Tableaux and Related Methods - 32nd International Conference, TABLEAUX 2023

Año: 2023; p. 37 - 48

ARECES, C.; CASSANO, V.; FERVARI, R.; A. CIABATTONI; E. PIMENTEL; R. DE QUEIROZ

Non-monotonic Reasoning via Dynamic Consequence

Logic, Language, Information, and Computation

Año: 2023; p. 395 - 410

C. ARECES; V. CASSANO; P. CASTRO; R. FERVARI; A. SARAVIA; SARAH ALICE GAGGL; MARIA VANINA MARTINEZ; MAGDALENA ORTIZ

How Easy it is to Know How: An Upper Bound for the Satisfiability Problem

Logics in Artificial Intelligence - 18th European Conference, JELIA 2023

Año: 2023; p. 405 - 419

C. ARECES; V. CASANO; P. CASTRO; R. FERVARI; A. SARAVIA; NOA AGMON; BO AN; ALESSANDRO RICCI; WILLIAM YEOH

A Deontic Logic of Knowingly Complying

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

Año: 2023; p. 364 - 372

CASSANO, VALENTIN; FERVARI, RAUL; ARECES, CARLOS; CASTRO, PABLO F.; MARTINS M.A.; SEDLÁR I.

Default Modal Systems as Algebraic Updates

Dynamic Logic. New Trends and Applications. DaLi 2020.

Año: 2021; p. 103 - 119

CASTRO, P.; CASSANO, V.; FERVARI, R.; ARECES, C.; FENRONG LIU; ALESSANDRA MARRA; PAUL PORTNER; FREDERIK VAN DE PUTTE

Deontic Action Logics via Algebra.

Deontic Logic and Normative Systems

Año: 2021; p. 17 - 33

FRANCESCA ZAFFORA BLANDO; KRZYSZTOF MIERZEWSKI; CARLOS ARECES; FENRONG LIU; HIROAKIRA ONO; JUNHUA YU

The Modal Logics of the Poison Game

Knowledge, Proof and Dynamics

Año: 2020; p. 3 - 23

CASSANO, V.; FERVARI, R.; ARECES, C.; CASTRO, P.; F. CALIMERI; N. LEONE; M. MANNA

Interpolation and Beth Definability in Default Logics.

Logics in Artificial Intelligence - 16th European Conference, JELIA 2019

Año: 2019; p. 675 - 691

D. GNAD; A. TORRALBA; M. MARTINEZ; C. ARECES; F. BUSTOS; STONE, P.

Learning How to Ground a Plan ? Partial Grounding in Classical Planning

Proceedings of the 33rd AAAI Conference On Artificial Intelligence

Año: 2019; p. 7602 - 7609

CASSANO, V.; FERVARI, R.; HOFFMANN, G.; ARECES, C.; CASTRO, P.; FONTAINE, P.

A Tableaux Calculus for Default Intuitionistic Logic

Automated Deduction - CADE 27

Año: 2019; p. 161 - 177

C. ARECES; M. CAMPERCHOLI; P. VENTURA; MOSS, L.; DE QUEIROZ, R.; M. MARTINEZ, M.

Deciding Open Definability via Subisomorphisms

Logic, Language, Information, and Computation - 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

Año: 2018; p. 91 - 105

CASSANO, V.; ARECES, C.; CASTRO, P.; GILLES BARTHE; GEOFF SUTCLIFFE; MARGUS VEANES

Reasoning About Prescription and Description Using Prioritized Default Rules

LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Año: 2018; p. 196 - 213

CARLOS ARECES; RAUL FERVARI; E. OLIVEIRA; J. GAMA; Z. VALE; H. LOPES CARDOSO

Tableaux for Hybrid XPath with Data

Progress in Artificial Intelligence

Año: 2017; p. 611 - 623

C. ARECES; FERVARI, R.; HOFFMANN, G.; MARTEL, M.; MADEIRA, A; BENEVIDES, M.

Undecidability of Relation-Changing Modal Logics.

Dynamic Logic. New Trends and Applications.

Año: 2017; p. 1 - 16

ARECES, C.; FERVARI, R.; L. MICHAEL; A. KAKAS

Hilbert-Style Axiomatization for Hybrid XPath with Data.

Logics in Artificial Intelligence

Año: 2016; p. 34 - 48

ARECES, C.; FONTAINE, P.; MERZ, S.; DE NICOLA, R. ; HENNICKER, R.

Modal Satisfiability via SMT Solving.

Software, Services, and Systems

Año: 2015; p. 30 - 45

ARECES, C.; VALLES, ENRIQUE

Ciencias de la Computación

Estado y Perspectivas de las Ciencias Exactas, F\'isicas y Naturales en la Argentina

Año: 2015; p. 129 - 174

ARECES, C.; FIGUEIRA, S.; FIGUEIRA, D.; SCHWEIKARDT, NICOLE

Basic Model Theory of XPath on Data Trees

Proceedings of the 17th International Conference on Database Theory

Año: 2014;

ARECES, C.; BUSTOS, F.; DOMINGUEZ, M.; HOFFMANN, J.; BORRAJO, D.; KAMBHAMPATI, S.; ODDI, A.; FRATINI, S.

Optimizing Planning Domains by Automatic Action Schema Splitting

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

Año: 2014; p. 11 - 19

ARECES, C.; VAN DITMARSCH, H. ; FERVARI, R.; SCHWARZENTRUBER, F.; KOHLENBACH, ULRICH; BARCELÓ, PABLO; DE QUEIROZ, RUY J G B

Logics with Copy and Remove

Logic, Language, Information, and Computation

Año: 2014; p. 51 - 65

ARECES, C.; FERVARI, R.; HOFFMANN, G.; RINGEISSEN, CH

Tableaux for Relation-Changing Modal Logics.

Proceedings of Frontiers of Combining Systems 2013

Año: 2013; p. 1 - 15

ARECES, C.; ORBE, E.; GALMICHE, D. ; LARCHEY-WENDLING, D.

Dealing with Symmetries in Modal Tableaux

Proceedings of Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux'13)

Año: 2013; p. 1 - 15

ARECES, C.; FERVARI, R.; HOFFMANN, G.; ONG, L.; DE QUEIROZ, R.

Moving Arrows and Four Model Checking Results

Logic, Language, Information and Computation

Año: 2012; p. 142 - 153

ORBE, E.; ARECES, C.; INFANTE-LOPEZ, G.; BJOMER, N.; VORONKOV, A.

iSat: Structure Visualization for SAT Problems

Logic for Programming, Artificial Intelligence, and Reasoning

Año: 2012; p. 335 - 342

ARECES, C.; FONTAINE, PASCAL

Combining Theories: The Ackerman and Guarded Fragments

Frontiers of Combining Systems, 8th International Symposium, FroCoS 2011. Lecture Notes in Computer Science 6989

Año: 2011; p. 40 - 54

ARECES, C.; CARREIRO, FACUNDO; FIGUEIRA, S.; MERA, S.; LEV D. BEKLEMISHEV; RUY J. G. B. DE QUEIROZ

Basic Model Theory for Memory Logics

Logic, Language, Information and Computation - 18th International Workshop, WoLLIC 2011. Lecture Notes in Computer Science 6642

Año: 2011; p. 20 - 34

ARECES, C.; FIGUEIRA, S.; GORIN, D.; SYLVAIN POGODALLA; JEAN-PHILIPPE PROST

Using Logic in the Generation of Referring Expressions

Logical Aspects of Computational Linguistics - 6th International Conference, LACL 2011, Lecture Notes in Computer Science 6736

Año: 2011; p. 17 - 32

ARECES, C.; FONTAINE, PASCAL; CESARE TINELLI; VIORICA SOFRONIE-STOKKERMANS

Combining Theories: The Ackerman and Guarded Fragments

Frontiers of Combining Systems, 8th International Symposium, FroCoS 2011. Lecture Notes in Computer Science 6989

Año: 2011; p. 40 - 54

ARECES, C.; FONTAINE, P.; TINELLI, C.; SOFRONIE-STOKKERMANS, V.

Combining Theories: The Ackerman and Guarded Fragments

Frontiers of Combining Systems

Año: 2011; p. 40 - 54

ARECES, C.; HOFFMANN, G.; DENIS, A.

Modal Logics with Counting

Logic, Language, Information and Computation, 17th International Workshop, WoLLIC 2010, Lecture Notes in Computer Science 6188

Año: 2010; p. 98 - 109

ARECES, C.; FIGUEIRA, D.; GORIN, D.; MERA, S.

Tableaux and Model Checking for Memory Logics

Automated Reasoning with Analytic Tableaux and Related Methods (LNAI Vol 5607)

Año: 2009; p. 47 - 61

ARECES, C.; FIGUEIRA, S.; MERA, S.

Completeness results for memory logics

Logical Foundations of Computer Science (LNCS 5407)

Año: 2009; p. 16 - 30

ARECES, C.; FIGUEIRA, S.; MERA, S.; ARTEMOV, S. ; NERODE, A.

Completeness results for memory logics

Logical Foundations of Computer Science (LNCS 5407)

Año: 2009; p. 16 - 30

ARECES, C.; FIGUEIRA, D.; GORIN, D.; MERA, S.; GIESE, M.; WAALER, A.

Tableaux and Model Checking for Memory Logics

Automated Reasoning with Analytic Tableaux and Related Methods (LNAI Vol 5607)

Año: 2009; p. 47 - 61

ARECES, C.; FIGUEIRA, D.; BOUTILIER, C.

Which Semantics for Neighbourhood Semantics?

Proceedings of the 21st International Joint Conferences on Artificial Intelligence (IJCAI)

Año: 2009; p. 671 - 675

ARECES, C.; FIGUEIRA, D.; FIGUEIRA, S.; MERA, S.

Expressive Power and Decidability for Memory Logics

Lecture Notes in Artificial Intelligence (Volume 5110)

Año: 2008; p. 56 - 68

ARECES, C.; FIGUEIRA, D.; FIGUEIRA, S.; MERA, S.; HODGES, W.; DE QUEIROZ, R.

Expressive Power and Decidability for Memory Logics

Lecture Notes in Artificial Intelligence (Volume 5110)

Año: 2008; p. 56 - 68

ARECES, C.; ARRAZOLA, X.

Hybrid logics: The old and the new

LogKCA 07: Proceedings of the First ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action

Año: 2007; p. 15 - 29

ARECES, C.; TEN CATE, B.

Hybrid Logics

Handbook of Modal Logics

Año: 2006; p. 821 - 868

ARECES, C.; TEN CATE, B.; BLACKBURN, P.; VAN BENTHEM, J.; WOLTER, F.

Hybrid Logics

Handbook of Modal Logics

Año: 2006; p. 821 - 868

ARECES, C.; BLACKBURN, P.

Reichenbach, Prior and Montague: a semantic get-together

We will show them: Essays in Honour of Dov Gabbay, Volume One

Año: 2005; p. 77 - 88

ARECES, C.; GORIN, D.

Ordered Resolution with Selection for H(@)

Logic for Programming, Artificial Intelligence, and Reasoning (LNCS 3452)

Año: 2005; p. 125 - 141

ARECES, C.; INFANTE-LOPEZ, G.; DE RIJKE, M.

Controlled Model Exploration

Advances in Modal Logic 4

Año: 2003; p. 1 - 16

LUTZ, C.; ARECES, C.; HORROCKS, I.; SATTLER, U.; GOTTLOB, G.; WALSH, T.

Keys, Nominals, and Concrete Domains

Proceedings of the 18th international joint conference on Artificial intelligence

Año: 2003; p. 349 - 354

ARECES, C.; HEGUIABEHERE, J.

HyLoRes 1.0: Direct Resolution for Hybrid Logics

Automated Deduction - CADE-18 (LNAI 2392)

Año: 2002; p. 156 - 160

ARECES, C.; HOOGLAND, E.; DE JONGH, D.

Interpolation, Definability and Fixed Points in Interpretability Logics

Advances in Modal Logic, Volume 2

Año: 2001; p. 35 - 58

ARECES, C.; DE RIJKE, M.

From Description to Hybrid Logics, and Back

Advances in Modal Logic, Volume 3

Año: 2001; p. 17 - 36

ARECES, C.; BECHER, V.

Iterable AGM Functions

Frontiers in Belief Revision

Año: 2001; p. 261 - 277

ARECES, C.; DE RIJKE, M.; WOLTER, F.; WANSING, H.; DE RIJKE, M.; ZAKHARYASCHEV, M.

From Description to Hybrid Logics, and Back

Advances in Modal Logic, Volume 3

Año: 2001; p. 17 - 36

ARECES, C.; BECHER, V.; WILLIAMS, A.; ROTT, H.

Iterable AGM Functions

Frontiers in Belief Revision

Año: 2001; p. 261 - 277

ARECES, C.; BLACKBURN, P.; MARX, M.; HALPERN, J.

Repairing the Interpolation Theorem in First-Order Modal Logic

Logic in Computer Science 2001: 16th Annual IEEE Symposium

Año: 2001; p. 134 - 136

ARECES, C.; BECHER, V.; FERRO, S.

Characterization Results for d-Horn Formulas

Logic, Language and Computation, Volume 3

Año: 2000; p. 49 - 66

ARECES, C.; GENNARI, R.; HEGUIABEHERE; DE RIJKE, M.

Tree-Based Heuristics in Modal Theorem Proving

Frontieers in Artificial Intelligence and Applications (Vol. 54)

Año: 2000; p. 199 - 203

ARECES, C.; BECHER, V.; FERRO, S.; BLACKBURN, P.; BRAISBY, N. ; CAVEDON, L.; SHIMOJIDA, A.

Characterization Results for d-Horn Formulas

Logic, Language and Computation, Volume 3

Año: 2000; p. 49 - 66

ARECES, C.

Fragmentary Memories

Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday

Lugar: Amsterdam; Año: 1999; p. 1 - 12

ARECES, C.; BLACKBURN, P.; MARX, M.

A Road-map on Complexity for Hybrid Logics

Computer Science Logic, Proceedings of the 8th Annual Conference of the EACSL

Año: 1999; p. 307 - 321

ARECES, C.; DE NIVELLE, H.; DE RIJKE, M.

Prefixed resolution: a resolution method for modal and description logics

Automated Deduction - CADE-16 (LNCS 1632)

Año: 1999; p. 187 - 201

ARECES, C.; MONZ, C.; DE NIVELLE, H.; DE RIJKE, M.

The Guarded Fragment: Ins and Outs

JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday

Lugar: Amsterdam; Año: 1999; p. 1 - 12

ARECES, C.; FELDER, M.; HIRSCH, D.; YANKELEVICH, D.; SIPPLE, R.

Modal logic as a design notation

Proceedings. Ninth International Workshop on Software Specification and Design

Año: 1998; p. 150 - 152