Items where Author is "Areces, Carlos"

PP-2002-15: Areces, Carlos and Heguiabehere, Juan (2002) HyLoRes: A Hybrid Logic Prover Based on Direct Resolution. [Report]

PP-2002-14: Areces, Carlos and de Rijke, Maarten and Infante-Lopez, Gabriel (2002) Decomposing Modal Logic. [Report]

PP-2002-16: Areces, Carlos and de Nivelle, Hans and de Rijke, Maarten (2002) Resolution in Modal, Description and Hybrid Logic. [Report]

PP-2000-07: Areces, Carlos and Blackburn, Patrick and Marx, Maarten (2000) The Computational Complexity of Hybrid Temporal Logics. [Report]

DS-2000-05: Areces, Carlos (2000) Logic Engineering. The Case of Description and Hybrid Logics. Doctoral thesis, University of Amsterdam.

PP-1999-03: Marx, Maarten and Areces, Carlos (1999) Failure of Interpolation in Combined Modal Logics. [Report]

PP-1999-07: Areces, Carlos and Blackburn, Patrick and Marx, Maarten (1999) Hybrid Logics. Characterization, Interpolation and Complexity. [Report]

PP-1999-16: Areces, Carlos and de Nivelle, Hans and de Rijke, Maarten (1999) Prefixed Resolution: A Resolution Method for Modal and Description Logics. [Report]

ML-1998-10: Areces, Carlos and Becher, Verónica and Ferro, Sebastián (1998) Characterization Results for d-Horn Formulas. [Report]

CT-1998-05: Areces, Carlos and de Rijke, Maarten (1998) Expressiveness Revisited. [Report]

ML-1998-11: Areces, Carlos and de Jongh, Dick and Hoogland, Eva (1998) The Interpolation Theorem for IL and ILP. [Report]

LP-1998-09: Areces, Carlos and Becher, Verónica (1998) Iterable AGM Functions. [Report]