.:. Consultation > Par auteur > Areces .:.

28 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

1 - 2 - 3

Repairing the interpolation theorem in Quantified Modal Logic Areces C., Blackburn P., Marx M. Annals of Pure and Applied Logic 124, 1-2 (2003) 287-299 [inria-00099762 - version 1]

hGen: A Random CNF Formula Generator for Hybrid Languages Areces C., Heguiabehere J. In Methods for Modalities 3 - M4M-3 (2003) [inria-00000317 - version 1]

In Situ Binding: A Hybrid Approach Areces C., Bernardi R. In Inference in Computational Semantics 4 - ICoS -4 (2003) [inria-00000325 - version 1]

Handling Boolean ABoxes Areces C., Blackburn P., Martinez Hernandez B., Marx M. Dans International Workshop on Description Logics - DL'2003 (2003) [inria-00000291 - version 1]

Keys, Nominals, and Concrete Domains Lutz C., Areces C., Horrocks I., Sattler U. In Eighteenth International Joint Conference on Artificial Intelligence - IJCAI'03 (2003) 349-354 [inria-00000341 - version 1]

Journal of Logic and Computation. Special Issue on Hybrid Logic Areces C., Blackburn P. Oxford University Press (Ed.) (2001) 100 p [inria-00100626 - version 1]

Bringing them all together Areces C., Blackburn P. Journal of Logic and Computation 11, 5 (2001) 657-669 [inria-00100628 - version 1]

Hybrid Logic: Characterization, Interpolation and Complexity Areces C., Blackburn P., Marx M. Journal of Symbolic Logic 66, 3 (2001) 977-1010 [inria-00100569 - version 1]