.:. 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

Referring Expressions as Formulas of Description Logic Areces C., Koller A., Striegnitz K. Dans Fifth International Natural Language Generation Conference - INLG 2008 (2008) [inria-00323841 - version 1]

Advances in Modal Logic, Volume 7 Areces C., Goldblatt R. College Publications (Ed.) (2008) VIII-406 p. [inria-00323839 - version 1]

Methods for Modalities 2007 Areces C., Demri S. Electronic Notes in Computer Science (Ed.) (2008) 1 [inria-00323836 - version 1]

Expressive Power and Decidability for Memory Logics Areces C., Figueira D., Figueira S., Mera S. Dans 15th Workshop on Logic, Language, Information and Computation - WoLLIC 2008 (2008) [inria-00323834 - version 1]

Experiments in Theorem Proving for Topological Hybrid Logic Sustretov D., Hoffmann G., Areces C., Blackburn P. Dans Methods for Modalities 5 (2007) [inria-00187303 - version 1]

HTab: A Terminating Tableaux System for Hybrid Logic Hoffmann G., Areces C. Dans Methods for Modalities 5 (2007) [inria-00187300 - version 1]

Methods for Modalities 3 Areces C. Elsevier (Ed.) (2005) [inria-00000330 - version 1]

Ordered Resolution with Selection for H(@) Areces C., Gorin D. Dans 11th International Conference on Logic for Programming Artificial Intelligence and Reasoning - LPAR 2004 3452 (2005) 125-141 [inria-00000332 - version 1]

Keys, Nominals, and Concrete Domains Lutz C., Areces C., Horrocks I., Sattler U. Journal of Artificial Intelligence Research 23 (2005) 667--726 [inria-00000294 - version 1]

Analyzing the Core of Categorial Grammar Areces C., Bernardi R. Journal of Logic, Language and Information 13, 2 (2001) 121--137 [inria-00000292 - version 1]