C Areces, B ten Cate

Studies in Logic and Practical Reasoning 3, 821-868, 2007

C Areces, P Blackburn, M Marx

The Journal of Symbolic Logic 66 (3), 977-1010, 2001

C Areces, P Blackburn, M Marx

Computer Science Logic: 13th International Workshop, CSL’99 8th Annual …, 1999

C Areces, P Blackburn, M Marx

Logic Journal of the IGPL 8 (5), 653-679, 2000

C Lutz, C Areces, I Horrocks, U Sattler

Proceedings of the 18th international joint conference on Artificial …, 2003

C Lutz, C Areces, I Horrocks, U Sattler

C Areces

University of Amsterdam, 2000

C Areces, R Fervari, G Hoffmann

Logic Journal of the IGPL 23 (4), 601-627, 2015

C Areces, M de Rijke, H de Nivelle

Journal of Logic and Computation 11 (5), 717-736, 2001

C Areces, R Gennari, J Heguiabehere, M de Rijke

Proceedings of ECAI'2000, 199--203, 2000

C Areces, A Koller, K Striegnitz

Proceedings of the fifth international natural language generation …, 2008

C Areces, P Blackburn, M Marx

Annals of Pure and Applied Logic 124 (1-3), 287-299, 2003

C Areces, R Fervari, G Hoffmann

Logic, Language, Information and Computation: 19th International Workshop …, 2012

C Areces, V Becher

Frontiers in belief revision, 261-277, 2001

C Areces, R Fervari, G Hoffmann

Logic Journal of IGPL 22 (2), 309-332, 2014

G Hoffmann, C Areces

Electronic Notes in Theoretical Computer Science 231, 3-19, 2009

C Areces, P Blackburn

Journal of Logic and Computation 11 (5), 657-669, 2001

C Areces, M Marx

Notre Dame Journal of Formal Logic 39 (2), 253-273, 1998

C Areces, F Bustos, M Dominguez, J Hoffmann

Proceedings of the International Conference on Automated Planning and …, 2014

D Gnad, A Torralba, M Domínguez, C Areces, F Bustos

Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 7602-7609, 2019