C. ARECES; R. FERVARI; A. SARAVIA; F. VELÁZQUEZ-QUESADA

Uncertainty-based knowing how logic

JOURNAL OF LOGIC AND COMPUTATION; Lugar: Oxford; Año: 2025

ARECES, C.

Leveraging Language Models and Automatic Summarization in Online Programming Learning Environments

COMMUNICATIONS OF THE ACM; Lugar: New York - USA; Año: 2024

VALENTIN CASSANO; RAUL FERVARI; CARLOS ARECES; PABLO F. CASTRO

Algebraic tools for default modal systems

JOURNAL OF LOGIC AND COMPUTATION; Año: 2022

ARECES, CARLOS; FERVARI, RAUL

Axiomatizing hybrid xpath with data

LOGICAL METHODS IN COMPUTER SCIENCE (LMCS); Año: 2021 vol. 17 p. 1 - 37

ARECES, CARLOS; VAN DITMARSCH, HANS; FERVARI, RAUL; MAUBERT, BASTIEN; SCHWARZENTRUBER, FRANÇOIS

Copy and remove as dynamic operators

JOURNAL OF APPLIED NON-CLASSICAL LOGICS; Año: 2021

ARECES, CARLOS; FERVARI, RAUL; SARAVIA, ANDRÉS R.; VELÁZQUEZ-QUESADA, FERNANDO R.

Uncertainty-based semantics for multi-agent knowing how logics

Electronic Proceedings in Theoretical Computer Science, EPTCS; Año: 2021 vol. 335 p. 23 - 37

ARECES, C.; M. CAMPERCHOLI; D. PENAZZI; P. VENTURA

The complexity of definability by open first-order formulas

LOGIC JOURNAL OF THE IGPL (PRINT); Lugar: Oxford; Año: 2020

CASTRO, PABLO F.; CASSANO, VALENTIN; FERVARI, RAUL; ARECES, CARLOS

An algebraic approach for action based default reasoning

Electronic Proceedings in Theoretical Computer Science, EPTCS; Año: 2019 vol. 297 p. 91 - 105

ARECES, CARLOS; FERVARI, RAUL; HOFFMANN, GUILLAUME; MARTEL, MAURICIO

Satisfiability for relation-changing logics

JOURNAL OF LOGIC AND COMPUTATION; Año: 2018 vol. 28 p. 1443 - 1470

P. SANCHEZ TERRAF

The Lattice of Congruences of a Finite Linear Frame

JOURNAL OF LOGIC AND COMPUTATION; Lugar: Oxford; Año: 2017

SCHWARZENTRUBER, F.

The Modal Logic of Copy and Remove

Information and Computation; Lugar: Amsterdam; Año: 2017

ARECES, C.; ORBE, E.

Symmetries in Modal Logics

Año: 2015

ARECES, C.; ORBE, E.

Symmetric blocking

Lugar: Amsterdam; Año: 2015 vol. 606 p. 25 - 41

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

Relation-changing modal operators

Lugar: Oxford; Año: 2015 vol. 23 p. 601 - 627

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

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

Año: 2015 vol. 53 p. 271 - 314

ARECES, C.; CARREIRO, F.; FIGUEIRA, S.

Characterization, Definability and Separation via Saturated Models.

Lugar: Amsterdam; Año: 2014 p. 72 - 86

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

Swap Logic

Año: 2014 p. 309 - 332

ARECES, C.; BLACKBURN, P.; HUERTAS, A.; MANZANO, M.

Completeness in Hybrid Type Theory

Journal of Philosophical Logic; Año: 2014 vol. 43 p. 209 - 238

ONG, LUKE; ARECES, CARLOS; FIGUEIRA, SANTIAGO; DE QUEIROZ, RUY

19th Workshop on Logic, Language, Information and Computation (WoLLIC 2012)

BULLETIN OF SYMBOLIC LOGIC, THE; Año: 2013 vol. 19 p. 425 - 426

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

Completeness results for memory logics.

Lugar: Amsterdam; Año: 2012 vol. 163 p. 961 - 972

ARECES, C.; GORIN, D.

Unsorted Functional Translations

Electronic Notes in Theoretical Computer Science; Año: 2011 vol. 278 p. 3 - 16

ARECES, C.; BLACKBURN, P.; HUERTAS, A.; MANZANO, M.

Hybrid Type Theory: A Quartet in Four Movements

Año: 2011 vol. 15 p. 225 - 247

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

The Expressive Power of Memory Logics

Año: 2011 vol. 4 p. 290 - 318

ARECES, C.; GORIN, D.

Coinductive Models and Normal Forms for Modal Logics

Año: 2010 vol. 8 p. 305 - 318

ARECES, C.; GORIN, D.

Resolution with Order and Selection for Hybrid Logics

Año: 2010 vol. 46 p. 1 - 42

LUTZ, C.; ARECES, C.; HORROCKS, I.; SATTLER, U.

Keys, Nominals, and Concrete Domains

JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, THE; Año: 2004 vol. 23 p. 667 - 726

ARECES, C.; BERNARDI, R.

Analyzing the Core of Categorial Grammar

Journal of Logic, Language and Information; Año: 2004 vol. 13 p. 121 - 137

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

Repairing the interpolation theorem in quantified modal logic

ANNALS OF PURE AND APPLIED LOGIC; Año: 2003 vol. 123 p. 287 - 299

ARECES, C.; BLACKBURN, P.

Bringing them all together

JOURNAL OF LOGIC AND COMPUTATION; Año: 2001 vol. 11 p. 657 - 669

ARECES, C.; BERNARDI, R.; MOORTGAT, M

Galois connections in categorial type logic

Electronic Notes in Theoretical Computer Science; Año: 2001 vol. 53 p. 3 - 20

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

Hybrid Logics: Characterization, interpolation and complexity

JOURNAL OF SYMBOLIC LOGIC, THE; Año: 2001 vol. 66 p. 977 - 1010

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

Resolution in Modal, Description and Hybrid Logics

JOURNAL OF LOGIC AND COMPUTATION; Año: 2001 vol. 11 p. 717 - 736

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

The computational complexity of hybrid temporal logics

LOGIC JOURNAL OF THE IGPL (PRINT); Año: 2000 vol. 8 p. 653 - 679

MARX, M.; ARECES, C.

Failure of interpolation in combined modal logics

NOTRE DAME JOURNAL OF FORMAL LOGIC; Año: 1998 vol. 39 p. 253 - 273