Carlos Areces

Cited by

	All	Since 2018
Citations	2901	760
h-index	24	14
i10-index	59	22

180

135

199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220238 23 31 100 86 74 74 93 102 159 108 137 169 150 109 130 145 155 107 99 128 128 143 127 115 115

Public access

View all

29 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Patrick BlackburnProfessor of Philosophy, Roskilde University, DenmarkVerified email at ruc.dk
Raul FervariFAMAF, Universidad Nacional de Córdoba and CONICETVerified email at unc.edu.ar
Maarten de RijkeUniversity of Amsterdam & ICAIVerified email at uva.nl
maarten marxAssistant Professor of Computer Science, University of AmsterdamVerified email at uva.nl
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 CateAssociate ProfessorVerified email at uva.nl
Verónica BecherUniversidad de Buenos Aires & CONICETVerified email at dc.uba.ar
Ezequiel OrbeFaMAF, Universidad Nacional de Cordoba, CONICETVerified email at famaf.unc.edu.ar
Carsten LutzProfessor of Computer Science, University of LeipzigVerified email at informatik.uni-leipzig.de
Valentin CassanoDepartment of Mathematics, National University of Rio Cuarto and CONICET, ArgentinaVerified email at dc.exa.unrc.edu.ar
Pablo CastroUniversidad Nacional de Rio Cuarto, ArgentinaVerified email at dc.exa.unrc.edu.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
Facundo BustosUNC- FamafVerified email at famaf.unc.edu.ar
Raffaella BernardiUniversity of TrentoVerified email at unitn.it
Pascal FontaineLORIA, INRIA, Université de Lorraine, Nancy, FranceVerified 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	424	2007
Hybrid logics: Characterization, interpolation and complexity C Areces, P Blackburn, M Marx The Journal of Symbolic Logic 66 (3), 977-1010, 2001	298	2001
A road-map on complexity for hybrid logics C Areces, P Blackburn, M Marx Computer Science Logic: 13th International Workshop, CSL’99 8th Annual …, 1999	189	1999
The computational complexity of hybrid temporal logics C Areces, P Blackburn, M Marx Logic Journal of the IGPL 8 (5), 653-679, 2000	144	2000
Keys, nominals, and concrete domains C Lutz, C Areces, I Horrocks, U Sattler Proceedings of the 18th international joint conference on Artificial …, 2003	143*	2003
Keys, Nominals, and Concrete Domains C Lutz, C Areces, I Horrocks, U Sattler	143*
Logic engineering. The case of description and hybrid logics C Areces University of Amsterdam, 2000	128	2000
Relation-changing modal operators C Areces, R Fervari, G Hoffmann Logic Journal of the IGPL 23 (4), 601-627, 2015	74	2015
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	68	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	56	2003
Tree-based heuristics in modal theorem proving C Areces, R Gennari, J Heguiabehere, M de Rijke Proceedings of ECAI'2000, 199--203, 2000	55	2000
Moving arrows and four model checking results C Areces, R Fervari, G Hoffmann Logic, Language, Information and Computation: 19th International Workshop …, 2012	54	2012
Referring expressions as formulas of description logic C Areces, A Koller, K Striegnitz Proceedings of the fifth international natural language generation …, 2008	53	2008
Swap logic C Areces, R Fervari, G Hoffmann Logic Journal of IGPL 22 (2), 309-332, 2014	51	2014
Htab: a terminating tableaux system for hybrid logic G Hoffmann, C Areces Electronic Notes in Theoretical Computer Science 231, 3-19, 2009	49	2009
Bringing them all together C Areces, P Blackburn Journal of Logic and Computation 11 (5), 657-669, 2001	49	2001
Iterable AGM functions C Areces, V Becher Frontiers in belief revision, 261-277, 2001	49	2001
Failure of interpolation in combined modal logics C Areces, M Marx Notre Dame Journal of Formal Logic 39 (2), 253-273, 1998	45*	1998
Optimizing planning domains by automatic action schema splitting C Areces, F Bustos, M Dominguez, J Hoffmann Proceedings of the International Conference on Automated Planning and …, 2014	40	2014
From description to hybrid logics, and back C Areces, M de Rijke Advances In Modal Logic: Volume 3, 17-36, 2002	33	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

Follow

Cited by

Co-authors