Carlos Areces

Cited by

	All	Since 2019
Citations	2999	727
h-index	25	13
i10-index	60	22

180

135

1999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202423 32 99 91 74 75 92 101 159 107 141 168 155 109 128 155 149 108 92 135 128 145 125 107 149 70

Public access

View all

30 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
Valentin CassanoDepartment of Mathematics, National University of Rio Cuarto and CONICET, ArgentinaVerified email at dc.exa.unrc.edu.ar
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
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
Pascal FontaineLORIA, INRIA, Université de Lorraine, Nancy, FranceVerified email at loria.fr
Raffaella BernardiUniversity of TrentoVerified email at unitn.it

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	434	2007
Hybrid logics: Characterization, interpolation and complexity C Areces, P Blackburn, M Marx The Journal of Symbolic Logic 66 (3), 977-1010, 2001	309	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	192	1999
The computational complexity of hybrid temporal logics C Areces, P Blackburn, M Marx Logic Journal of the IGPL 8 (5), 653-679, 2000	149	2000
Keys, nominals, and concrete domains C Lutz, C Areces, I Horrocks, U Sattler Proceedings of the 18th international joint conference on Artificial …, 2003	144*	2003
Keys, Nominals, and Concrete Domains C Lutz, C Areces, I Horrocks, U Sattler	144*
Logic engineering. The case of description and hybrid logics C Areces University of Amsterdam, 2000	130	2000
Relation-changing modal operators C Areces, R Fervari, G Hoffmann Logic Journal of the IGPL 23 (4), 601-627, 2015	79	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	69	2001
Referring expressions as formulas of description logic C Areces, A Koller, K Striegnitz Proceedings of the fifth international natural language generation …, 2008	58	2008
Tree-based heuristics in modal theorem proving C Areces, R Gennari, J Heguiabehere, M de Rijke Proceedings of ECAI'2000, 199--203, 2000	58	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	56	2003
Moving arrows and four model checking results C Areces, R Fervari, G Hoffmann Logic, Language, Information and Computation: 19th International Workshop …, 2012	54	2012
Iterable AGM functions C Areces, V Becher Frontiers in belief revision, 261-277, 2001	53	2001
Swap logic C Areces, R Fervari, G Hoffmann Logic Journal of IGPL 22 (2), 309-332, 2014	50	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	48	2001
Failure of interpolation in combined modal logics C Areces, M Marx Notre Dame Journal of Formal Logic 39 (2), 253-273, 1998	46*	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	42	2014
Learning how to ground a plan–partial grounding in classical planning D Gnad, A Torralba, M Domínguez, C Areces, F Bustos Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 7602-7609, 2019	39	2019

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