Follow
Carlos Areces
Title
Cited by
Cited by
Year
Hybrid logics
C Areces, B ten Cate
Studies in Logic and Practical Reasoning 3, 821-868, 2007
4352007
Hybrid logics: Characterization, interpolation and complexity
C Areces, P Blackburn, M Marx
The Journal of Symbolic Logic 66 (3), 977-1010, 2001
3102001
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
1921999
The computational complexity of hybrid temporal logics
C Areces, P Blackburn, M Marx
Logic Journal of the IGPL 8 (5), 653-679, 2000
1492000
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
1302000
Relation-changing modal operators
C Areces, R Fervari, G Hoffmann
Logic Journal of the IGPL 23 (4), 601-627, 2015
802015
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
692001
Referring expressions as formulas of description logic
C Areces, A Koller, K Striegnitz
Proceedings of the fifth international natural language generation …, 2008
582008
Tree-based heuristics in modal theorem proving
C Areces, R Gennari, J Heguiabehere, M de Rijke
Proceedings of ECAI'2000, 199--203, 2000
582000
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
562003
Moving arrows and four model checking results
C Areces, R Fervari, G Hoffmann
Logic, Language, Information and Computation: 19th International Workshop …, 2012
542012
Iterable AGM functions
C Areces, V Becher
Frontiers in belief revision, 261-277, 2001
532001
Swap logic
C Areces, R Fervari, G Hoffmann
Logic Journal of IGPL 22 (2), 309-332, 2014
512014
Htab: a terminating tableaux system for hybrid logic
G Hoffmann, C Areces
Electronic Notes in Theoretical Computer Science 231, 3-19, 2009
492009
Bringing them all together
C Areces, P Blackburn
Journal of Logic and Computation 11 (5), 657-669, 2001
482001
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
422014
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
392019
The system can't perform the operation now. Try again later.
Articles 1–20