Carlos Areces

Cited by

	All	Since 2016
Citations	2531	650
h-index	23	13
i10-index	53	19

180

135

1998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020218 22 31 94 87 64 66 97 93 163 109 143 160 149 113 117 141 153 106 114 118 137 152 21

New!

Public access

View all

9 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Maarten de RijkeUniversity of Amsterdam - Ahold Delhaize - ICAIVerified email at uva.nl
Patrick BlackburnProfessor of Philosophy, Roskilde University, DenmarkVerified email at ruc.dk
maarten marxAssistant Professor of Computer Science, University of AmsterdamVerified email at uva.nl
Raul FervariFAMAF, Universidad Nacional de Córdoba and CONICETVerified email at unc.edu.ar
Guillaume HoffmannCONICETVerified email at conicet.gov.ar
Santiago FigueiraUniversity of Buenos Aires and CONICETVerified email at dc.uba.ar
Juan HeguiabehereSenior Researcher, Fundación SadoskyVerified email at fundacionsadosky.org.ar
Diego FigueiraCNRS, LaBRI, Univ. BordeauxVerified email at labri.fr
Hans de NivelleNazarbayev University, Astana, KazakhstanVerified email at nu.edu.kz
Balder ten CateSoftware Engineer, GoogleVerified email at google.com
Carsten LutzProfessor of Computer Science, University of BremenVerified email at uni-bremen.de
Ezequiel OrbeFaMAF, Universidad Nacional de Cordoba, CONICETVerified email at famaf.unc.edu.ar
Verónica BecherUniversidad de Buenos Aires & CONICETVerified email at dc.uba.ar
Uli SattlerProfessor, IMG, Department of Computer Science, University of ManchesterVerified email at cs.man.ac.uk
Ian HorrocksProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Raffaella BernardiUniversity of TrentoVerified email at unitn.it
Pascal FontaineLORIA, INRIA, Université de Lorraine, Nancy, FranceVerified email at loria.fr
Facundo BustosUNC- FamafVerified email at famaf.unc.edu.ar
Rosella GennariFree University of Bozen-BolzanoVerified email at inf.unibz.it
Rafael AccorsiDirector @ PwC Digital ServicesVerified email at pwc.com

Carlos Areces

Universidad Nacional de Córdoba - CONICET

Verified email at famaf.unc.edu.ar - Homepage

Logic Computational Logic Modal Logic Model Theory Automated Reasoning


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Hybrid logics C Areces, B ten Cate Studies in Logic and Practical Reasoning 3, 821-868, 2007	362	2007
Hybrid logics: Characterization, interpolation and complexity C Areces, P Blackburn, M Marx Journal of Symbolic Logic, 977-1010, 2001	263	2001
A road-map on complexity for hybrid logics C Areces, P Blackburn, M Marx International Workshop on Computer Science Logic, 307-321, 1999	173	1999
The computational complexity of hybrid temporal logics C Areces, P Blackburn, M Marx Logic Journal of the IGPL 8 (5), 653-679, 2000	139	2000
Keys, nominals, and concrete domains C Lutz, C Areces, I Horrocks, U Sattler Proceedings of the 18th international joint conference on Artificial …, 2003	134*	2003
Keys, Nominals, and Concrete Domains C Lutz, C Areces, I Horrocks, U Sattler	134*
Logic engineering: the case of description and hybrid logics CE Areces Institute for Logic, Language and Computation, 2000	133	2000
Resolution in modal, description and hybrid logic C Areces, M de Rijke, H de Nivelle Journal of Logic and Computation 11 (5), 717-736, 2001	65	2001
Relation-changing modal operators C Areces, R Fervari, G Hoffmann Logic Journal of the IGPL 23 (4), 601-627, 2015	52	2015
Tree-based heuristics in modal theorem proving C Areces, R Gennari, J Heguiabehere, M De Rijke Proceedings of ECAI'2000, 199--203, 2000	52	2000
Repairing the interpolation theorem in quantified modal logic C Areces, P Blackburn, M Marx Annals of Pure and Applied Logic 124 (1-3), 287-299, 2003	51	2003
Htab: a terminating tableaux system for hybrid logic G Hoffmann, C Areces Electronic Notes in Theoretical Computer Science 231, 3-19, 2009	47	2009
Bringing them all together C Areces, P Blackburn Journal of Logic and Computation 11 (5), 657-669, 2001	43	2001
Swap logic C Areces, R Fervari, G Hoffmann Logic Journal of IGPL 22 (2), 309-332, 2014	42	2014
Moving arrows and four model checking results C Areces, R Fervari, G Hoffmann International Workshop on Logic, Language, Information, and Computation, 142-153, 2012	42	2012
Referring expressions as formulas of description logic C Areces, A Koller, K Striegnitz Proceedings of the fifth international natural language generation …, 2008	42	2008
Failure of interpolation in combined modal logics C Areces, M Marx Notre Dame Journal of Formal Logic 39 (2), 253-273, 1998	42*	1998
Iterable AGM functions C Areces, V Becher Frontiers in belief revision, 261-277, 2001	39*	2001
Completeness in hybrid type theory C Areces, P Blackburn, A Huertas, M Manzano Journal of Philosophical Logic 43 (2-3), 209-238, 2014	29	2014
From description to hybrid logics, and back C Areces, M de Rijke Advances In Modal Logic: Volume 3, 17-36, 2002	29	2002

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors