Carlos Areces
Carlos Areces
Geverifieerd e-mailadres voor famaf.unc.edu.ar - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Hybrid logics
C Areces, B ten Cate
Studies in Logic and Practical Reasoning 3, 821-868, 2007
3432007
Hybrid logics: Characterization, interpolation and complexity
C Areces, P Blackburn, M Marx
The Journal of Symbolic Logic 66 (3), 977-1010, 2001
2432001
A road-map on complexity for hybrid logics
C Areces, P Blackburn, M Marx
International Workshop on Computer Science Logic, 307-321, 1999
1721999
The computational complexity of hybrid temporal logics
C Areces, P Blackburn, M Marx
Logic Journal of the IGPL 8 (5), 653-679, 2000
1392000
Logic engineering: the case of description and hybrid logics
CE Areces
Institute for Logic, Language and Computation, 2000
1252000
Keys, Nominals, and Concrete Domains
C Lutz, C Areces, I Horrocks, U Sattler
120*
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
612001
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
522003
Tree-based heuristics in modal theorem proving
C Areces, R Gennari, J Heguiabehere, M De Rijke
BNAIC’01 Sponsors, 2001
522001
Htab: a terminating tableaux system for hybrid logic
G Hoffmann, C Areces
Electronic Notes in Theoretical Computer Science 231, 3-19, 2009
472009
Relation-changing modal operators
C Areces, R Fervari, G Hoffmann
Logic Journal of the IGPL 23 (4), 601-627, 2015
442015
Bringing them all together
C Areces, P Blackburn
Journal of Logic and Computation 11 (5), 657-669, 2001
412001
Swap logic
C Areces, R Fervari, G Hoffmann
Logic Journal of IGPL 22 (2), 309-332, 2014
392014
Moving arrows and four model checking results
C Areces, R Fervari, G Hoffmann
International Workshop on Logic, Language, Information, and Computation, 142-153, 2012
382012
Referring expressions as formulas of description logic
C Areces, A Koller, K Striegnitz
Proceedings of the fifth international natural language generation …, 2008
372008
Iterable AGM functions
C Areces, V Becher
Frontiers in belief revision, 261-277, 2001
342001
From description to hybrid logics, and back
C Areces, M de Rijke
Advances In Modal Logic: Volume 3, 17-36, 2002
292002
Failure of interpolation in combined modal logics
M Marx, C Areces
Notre Dame Journal of Formal Logic 39 (2), 253-273, 1998
291998
The expressive power of memory logics
C Areces, D Figueira, S Figueira, S Mera
The Review of Symbolic Logic 4 (2), 290-318, 2011
262011
Modal logics with counting
C Areces, G Hoffmann, A Denis
International Workshop on Logic, Language, Information, and Computation, 98-109, 2010
262010
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20