F. ZAFFORA BLANDO; K. MIERZEWSKI; C. ARECES

The Modal Logics of the Poison Game

The Fourth Asian Workshop on Philosophical Logic

Año: 2018;

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

Undecidability of Relation-Changing Modal Logics

DaLí - Dynamic Logic: new trends and applications

Año: 2017;

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

Relation-Changing Logics as Fragments of Hybrid Logics.

Seventh International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2016)

Año: 2016;

ARECES, C.; DEHARBE, D. ; FONTAINE, P.; ORBE, E.

SyMT: finding symmetries in SMT formulas.

11th International Workshop on Satisfiability Modulo Theories,

Año: 2013;

ORBE, E. ; ARECES, C.; INFANTE-LOPEZ, G.

iSat: Structure Visualization for SAT Problems

18th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-18)

Lugar: Merida; Año: 2012;

ALTAMIRANO, R.; ARECES, C.; BENOTTI, L.

Probabilistic Refinement Algorithms for the Generation of Referring Expressions.

COLING 2012, 24th International Conference on Computational Linguistics, Proceedings of the Conference

Año: 2012;

ARECES, C.; HOFFMANN, G.; ORBE, E.

Symmetries in Modal Logics: A Coinductive Approach

7th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2012)

Lugar: Rio de Janeiro; Año: 2012;

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

The bird of the hybrid type theory

14th International Congress of Logic, Methodology and Philosophy of Science

Lugar: Nancy; Año: 2011;

BENOTTI, L.; ESTRELLA, P. ; ARECES, C.

Dialogue Systems for VIrtual Environments

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

Lugar: Los Angeles, California; Año: 2010;

ARECES, C.; FIGUEIRA, D.

Which Semantics for Neighbourhood Semantics?

21st International Joint Conference on Artificial Intelligence (IJCAI-09)

Lugar: Pasadena, USA; Año: 2009;

ARECES, C.; GORIN, D.; LORENZO, A.; PEREZ RODRIGUEZ, M.

Testing Provers on a Grid

International Workshop on Description Logics (DL'09)

Lugar: Oxford, UK; Año: 2009;

ARECES, C.; KOLLER, A.; STRIEGNITZ, K.

Referring Expressions as Formulas of Description Logic

5th International Natural Language Generation Conference (NLG'08)

Lugar: Salt Fork, USA; Año: 2008;

ARECES, C.

Hybrid Logics: The Old and the New

International Workshop on Logic and Philosophy of Knowledge, Communication and Action (LogKCA-07)

Lugar: Donostia - San Sebastian, Spain; Año: 2007;

HOFFMANN, G.; ARECES, C.

HTAB: A terminating tableaux system for hybrid logics

Methods for Modalities 5 (M4M-5)

Lugar: Paris, France; Año: 2007;

SUSTRETOV, D.; HOFFMANN, G.; ARECES, C.; BLACKBURN, P.

Experiments in Theorem Proving for Topological Hybrid Logics

Methods for Modalities 5 (M4M-5)

Lugar: Paris, France; Año: 2007;

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

Keys, Nominals, and Concrete Domains

18th International Joint Conference on Artificial Intelligence (IJCAI'03)

Lugar: Acapulco, Mexico; Año: 2003;

ARECES, C.; BERNARDI, R.

In Situ Binding: A Hybrid Approach

Inference in Computational Semantics 4 (ICoS-4)

Lugar: Nancy, France; Año: 2003;

ARECES, C.; BLACKBURN, P.; MARTINEZ HERNANDEZ, B.; MARX, M.

Handling Boolean ABoxes

International Workshop on Description Logics (DL'03)

Lugar: Rome, Italy; Año: 2003;

ARECES, C.; HEGUIABEHERE, J.

hGen: A Random CNF Formula Generator for Hybrid Logics

Methods for Modalities 3 (M4M-3)

Lugar: Nancy, France; Año: 2003;

ARECES, C.; LUTZ, C.

Concrete Domains and Nominals United

HyLo@LICS

Lugar: Copenhagen, Denmark; Año: 2002;

ARECES, C.; HEGUIABEHERE, J.

Direct resolution for Modal-like Logics

3rd International Workshop on the Implementation of Logics (WIL'02)

Lugar: Tbilisi, Georgia; Año: 2002;

ARECES, C.; HEGUIABEHERE, J.

HyLoRes: A Hybrid Logic Prover Based on Direct Resolution

Advances in Modal Logic 2002 (AiML 2002)

Lugar: Toulouse, France; Año: 2002;

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

Decomposing Modal Logic

Advances in Modal Logic 2002 (AiML 2002)

Lugar: Toulouse, France; Año: 2002;

ARECES, C.; HEGUIABEHERE, J.

HyLoRes: A Hybrid Logic Prover Based on Direct Resolution (System Description)

14th Belgian-Dutch Conference on Artificial Intelligence

Lugar: Leuven, Belgica; Año: 2002;

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

Repairing the interpolation theorem in quantified modal logic

16th Symposium on Logic in Computer Science (LICS 2001)

Lugar: Boston, USA; Año: 2001;

ARECES, C.; BERNARDI, R.

Analyzing the Core of Categorial Grammar

Inference in Computational Semantics 3 (ICoS-3)

Lugar: Siena, Italy; Año: 2001;

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

Galois Connections in Categorial Type Logics

Formal Grammar/Mathematics of Language Conference (FGMOL'01)

Lugar: Helsinki, Finland; Año: 2001;

ARECES, C.; HEGUIABEHERE, J.

HyLoRes: Direct Resolution for Hybrid Logics

Methods for Modalities 2 (M4M-2)

Lugar: Amsterdam, Holanda; Año: 2001;

ACCORSI, R.; ARECES, C.; BOUMA, W.; DE RIJKE, M.

Features as Constraints

Feature Interaction Workshop (FIW'00)

Lugar: Glasgow, Scotland; Año: 2000;

ARECES, C.; DE RIJKE, M.

Description and/or hybrid logics

Advances in Modal Logic 2000 (AiML 2000)

Lugar: Leipzig, Germany; Año: 2000;

AIELLO, M.; ARECES, C.; DE RIJKE, M.

Spatial Reasoning for Image Retrieval

International Workshop on Description Logics (DL'99)

Lugar: Linkoping, Sweden; Año: 1999;

ARECES, C.; BECHER, V.

Update, The Infinite Case

Argentinian Workshop on Theoretical Computer Science (WAIT'99)

Lugar: Buenos Aires, Argentina; Año: 1999;

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

Hybrid logic is the bounded fragment of first order logic

6th Workshop on Logic, Language, Information and Computation (WoLLIC'99)

Lugar: Rio de Janeiro, Brazil; Año: 1999;

ARECES, C.; BOUMA, W.; DE RIJKE, M.

Description Logics and Feature Interaction

International Workshop on Description Logics (DL'99)

Lugar: Linkoping, Sweden; Año: 1999;

ARECES, C.; BOUMA, W.; DE RIJKE, M.

Feature Interaction as a Satisfiability Problem

7th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems

Lugar: Maryland, USA; Año: 1999;

ACCORSI, R.; ARECES, C.; DE RIJKE, M.

Towards Feature Interaction via Stable Models

2nd Workshop on Formal Methods (WFM'99)

Lugar: Florianopolis, Brasil; Año: 1999;

ARECES, C.; BECHER, V.

Iterable AGM Functions

Belief Revision Workshop (BR'98)

Lugar: Trento, Italy; Año: 1998;

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

Characterization Results for d-Horn Formulas

Third International Conference on Information-Theoretic Approaches to Logic, Language, and Computation (ITALLC'98)

Lugar: Hsi-tou, Taiwan; Año: 1998;

ARECES, C.; DE RIJKE, M.

Interpolation and Bisimulation in Temporal Logic

5th Workshop on Logic, Language, Information and Computation (WoLLIC'98)

Lugar: Sao Paulo, Brazil; Año: 1998;

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

The Interpolation Theorem for IL and ILP

Advances in Modal Logic 1998 (AiML 1998)

Lugar: Uppsala, Sweden; Año: 1998;

ARECES, C.; DE RIJKE, M.

Expressiveness Revisited

International Workshop on Description Logics (DL'98)

Lugar: Povo -- Trento, Italy; Año: 1998;

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

Modal Logics as a Design Notation

KIT125 Workshop on Formal Methods for the Design of Real-Time Systems

Lugar: Como, Italy; Año: 1997;

ARECES, C.; BECHER, V.

On the Logic for Utopia

1era Conferencia Argentina de Ciencias de la Computacion

Lugar: Bahia Blanca, Argentina; Año: 1995;

ARECES, C.; HIRSCH, D.

From Boxes to Worlds

ler. Congreso Argentino de Ciencias de la Computación

Lugar: Bahía Blanca; Año: 1995;