Search the dblp DataBase
Carlos Areces: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- 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] - 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] - 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] - 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] - Carlos Areces, Juan Heguiabehere
HyLoRes 1.0: Direct Resolution for Hybrid Logics. [Citation Graph (0, 0)][DBLP]
CADE, 2002, pp:156-160 [Conf] - 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] - 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] - Marco Aiello, Carlos Areces, Maarten de Rijke
Spatial Reasoning for Image Retrieval. [Citation Graph (0, 0)][DBLP]
Description Logics, 1999, pp:- [Conf] - 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] - Carlos Areces, Wiet Bouma, Maarten de Rijke
Description Logics and Feature Interaction. [Citation Graph (0, 0)][DBLP]
Description Logics, 1999, pp:- [Conf] - Carlos Areces, Maarten de Rijke
Expressiveness Revisited. [Citation Graph (0, 0)][DBLP]
Description Logics, 1998, pp:- [Conf] - 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] - Rafael Accorsi, Carlos Areces, Wiet Bouma, Maarten de Rijke
Features as Constraints. [Citation Graph (0, 0)][DBLP]
FIW, 2000, pp:210-225 [Conf] - Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler
Keys, Nominals, and Concrete Domains. [Citation Graph (0, 0)][DBLP]
IJCAI, 2003, pp:349-354 [Conf] - Carlos Areces, Daniel Gorín
Ordered Resolution with Selection for H(@). [Citation Graph (0, 0)][DBLP]
LPAR, 2004, pp:125-141 [Conf] - Carlos Areces, Wiet Bouma, Maarten de Rijke
Feature Interaction as a Satisfiability Problem. [Citation Graph (0, 0)][DBLP]
MASCOTS, 1999, pp:339-0 [Conf] - 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] - 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] - 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] - 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] - Carlos Areces
Methods for modalities 3. [Citation Graph (0, 0)][DBLP]
J. Applied Logic, 2006, v:4, n:3, pp:215-217 [Journal] - 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] - 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] - 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] - 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] - 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] - 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]
Testing Provers on a Grid - Framework Description. [Citation Graph (, )][DBLP]
Which Semantics for Neighbourhood Semantics? [Citation Graph (, )][DBLP]
Completeness Results for Memory Logics. [Citation Graph (, )][DBLP]
Tableaux and Model Checking for Memory Logics. [Citation Graph (, )][DBLP]
Expressive Power and Decidability for Memory Logics. [Citation Graph (, )][DBLP]
Modal Logics with Counting. [Citation Graph (, )][DBLP]
The Question of Expressiveness in the Generation of Referring Expressions [Citation Graph (, )][DBLP]
Experiments in Theorem Proving for Topological Hybrid Logic. [Citation Graph (, )][DBLP]
Preface. [Citation Graph (, )][DBLP]
HTab: a Terminating Tableaux System for Hybrid Logic. [Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.006secs
| 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 |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002