The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Carlos Areces: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Carlos Areces, Eva Hoogland, Dick de Jongh
    Interpolation, Definability and Fixed Points in Interpretability Logics. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 1998, pp:35-58 [Conf]
  2. Carlos Areces, Maarten de Rijke
    From Description to Hybrid Logics, and Back. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2000, pp:17-36 [Conf]
  3. Gabriel G. Infante López, Carlos Areces, Maarten de Rijke
    Controlled Model Exploration. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2002, pp:205-220 [Conf]
  4. Carlos Areces, Patrick Blackburn
    Reichenbach, Prior and Montague: A Semantic Get-together. [Citation Graph (0, 0)][DBLP]
    We Will Show Them! (1), 2005, pp:77-88 [Conf]
  5. Carlos Areces, Juan Heguiabehere
    HyLoRes 1.0: Direct Resolution for Hybrid Logics. [Citation Graph (0, 0)][DBLP]
    CADE, 2002, pp:156-160 [Conf]
  6. Carlos Areces, Hans de Nivelle, Maarten de Rijke
    Prefixed Resolution: A Resolution Method for Modal and Description Logics. [Citation Graph (0, 0)][DBLP]
    CADE, 1999, pp:187-201 [Conf]
  7. Carlos Areces, Patrick Blackburn, Maarten Marx
    A Road-Map on Complexity for Hybrid Logics. [Citation Graph (0, 0)][DBLP]
    CSL, 1999, pp:307-321 [Conf]
  8. Marco Aiello, Carlos Areces, Maarten de Rijke
    Spatial Reasoning for Image Retrieval. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  9. Carlos Areces, Patrick Blackburn, Bernadette Martínez Hernández, Maarten Marx
    Handling Boolean A Boxes. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  10. Carlos Areces, Wiet Bouma, Maarten de Rijke
    Description Logics and Feature Interaction. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  11. Carlos Areces, Maarten de Rijke
    Expressiveness Revisited. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1998, pp:- [Conf]
  12. Carlos Areces, Rosella Gennari, Juan Heguiabehere, Maarten de Rijke
    Tree-based Heuristics in Modal Theorem Proving. [Citation Graph (0, 0)][DBLP]
    ECAI, 2000, pp:199-203 [Conf]
  13. Rafael Accorsi, Carlos Areces, Wiet Bouma, Maarten de Rijke
    Features as Constraints. [Citation Graph (0, 0)][DBLP]
    FIW, 2000, pp:210-225 [Conf]
  14. Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler
    Keys, Nominals, and Concrete Domains. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:349-354 [Conf]
  15. Carlos Areces, Daniel Gorín
    Ordered Resolution with Selection for H(@). [Citation Graph (0, 0)][DBLP]
    LPAR, 2004, pp:125-141 [Conf]
  16. Carlos Areces, Wiet Bouma, Maarten de Rijke
    Feature Interaction as a Satisfiability Problem. [Citation Graph (0, 0)][DBLP]
    MASCOTS, 1999, pp:339-0 [Conf]
  17. Carlos Areces, Patrick Blackburn, Maarten Marx
    Repairing the interpolation theorem in quantified modal logic. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2003, v:124, n:1-3, pp:287-299 [Journal]
  18. Carlos Areces, Raffaella Bernardi, Michael Moortgat
    Galois Connections in Categorial Type Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:53, n:, pp:- [Journal]
  19. Carlos Areces, Patrick Blackburn, Maarten Marx
    The Computational Complexity of Hybrid Temporal Logics. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2000, v:8, n:5, pp:- [Journal]
  20. Carlos Areces, Enrico Franconi, Rajeev Goré, Maarten de Rijke, Bernd-Holger Schlingloff
    Editorial. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2000, v:8, n:3, pp:- [Journal]
  21. Carlos Areces
    Methods for modalities 3. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2006, v:4, n:3, pp:215-217 [Journal]
  22. Carlos Areces, Raffaella Bernardi
    Analyzing the Core of Categorial Grammar. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2004, v:13, n:2, pp:121-137 [Journal]
  23. Carlos Areces, Patrick Blackburn, Maarten Marx
    Hybrid Logics: Characterization, Interpolation and Complexity. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:3, pp:977-1010 [Journal]
  24. Carlos Areces, Patrick Blackburn
    Bringing them all Together. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2001, v:11, n:5, pp:657-669 [Journal]
  25. Carlos Areces, Maarten de Rijke, Hans de Nivelle
    Resolution in Modal, Description and Hybrid Logic. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2001, v:11, n:5, pp:717-736 [Journal]
  26. Maarten Marx, Carlos Areces
    Failure of Interpolation in Combined Modal Logics. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1998, v:39, n:2, pp:253-273 [Journal]
  27. Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler
    Keys, Nominals, and Concrete Domains. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2005, v:23, n:, pp:667-726 [Journal]

  28. Testing Provers on a Grid - Framework Description. [Citation Graph (, )][DBLP]


  29. Which Semantics for Neighbourhood Semantics? [Citation Graph (, )][DBLP]


  30. Completeness Results for Memory Logics. [Citation Graph (, )][DBLP]


  31. Tableaux and Model Checking for Memory Logics. [Citation Graph (, )][DBLP]


  32. Expressive Power and Decidability for Memory Logics. [Citation Graph (, )][DBLP]


  33. Modal Logics with Counting. [Citation Graph (, )][DBLP]


  34. The Question of Expressiveness in the Generation of Referring Expressions [Citation Graph (, )][DBLP]


  35. Experiments in Theorem Proving for Topological Hybrid Logic. [Citation Graph (, )][DBLP]


  36. Preface. [Citation Graph (, )][DBLP]


  37. HTab: a Terminating Tableaux System for Hybrid Logic. [Citation Graph (, )][DBLP]


Search in 0.876secs, Finished in 0.878secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002