Carlos Areces

Cited by

	All	Since 2015
Citations	2478	766
h-index	23	14
i10-index	53	24

180

135

199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920208 21 32 96 80 66 68 101 93 164 109 138 158 149 112 117 141 154 105 113 118 133 141

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 famaf.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
Carsten LutzProfessor of Computer Science, University of BremenVerified email at uni-bremen.de
Balder ten CateSoftware Engineer, GoogleVerified email at google.com
Ian HorrocksProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
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
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
Hans van DitmarschCNRSVerified email at loria.fr

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	356	2007
Hybrid logics: Characterization, interpolation and complexity C Areces, P Blackburn, M Marx Journal of Symbolic Logic, 977-1010, 2001	253	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	138	2000
Keys, nominals, and concrete domains C Lutz, C Areces, I Horrocks, U Sattler Proceedings of the 18th international joint conference on Artificial …, 2003	128*	2003
Logic engineering: the case of description and hybrid logics CE Areces Institute for Logic, Language and Computation, 2000	128	2000
Keys, Nominals, and Concrete Domains C Lutz, C Areces, I Horrocks, U Sattler	126*
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	62	2001
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	52	2003
Tree-based heuristics in modal theorem proving C Areces, R Gennari, J Heguiabehere, M De Rijke BNAIC’01 Sponsors, 2001	52	2001
Relation-changing modal operators C Areces, R Fervari, G Hoffmann Logic Journal of the IGPL 23 (4), 601-627, 2015	48	2015
Htab: a terminating tableaux system for hybrid logic G Hoffmann, C Areces Electronic Notes in Theoretical Computer Science 231, 3-19, 2009	47	2009
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
Bringing them all together C Areces, P Blackburn Journal of Logic and Computation 11 (5), 657-669, 2001	42	2001
Failure of interpolation in combined modal logics M Marx, C Areces Notre Dame Journal of Formal Logic 39 (2), 253-273, 1998	42*	1998
Referring expressions as formulas of description logic C Areces, A Koller, K Striegnitz Proceedings of the fifth international natural language generation …, 2008	41	2008
Swap logic C Areces, R Fervari, G Hoffmann Logic Journal of IGPL 22 (2), 309-332, 2014	40	2014
Iterable AGM functions C Areces, V Becher Frontiers in belief revision, 261-277, 2001	39*	2001
From description to hybrid logics, and back C Areces, M de Rijke Advances In Modal Logic: Volume 3, 17-36, 2002	29	2002
Optimizing Planning Domains by Automatic Action Schema Splitting. C Areces, F Bustos, MA Domínguez, J Hoffmann ICAPS, 2014	27	2014

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