Home News About Us Contact Contributors Disclaimer Help FAQ

Home
Search
Quick Search
Advanced
Fulltext
Browse
Collections
Persons
My eDoc
Session History
Login
Name:
Password:
Documentation
Help
Support Wiki
Direct access to
document ID:


          Display Documents


Institute:
Collection:
Print in Citation style Print version     Display:
Sort by: Display records with Fulltext only
Entries: 1-4  
 Basket 
Deciding Modal Logics through Relational Translations into GF2
Editors: Areces, Carlos; Blackburn, Patrick
Authors: de Nivelle, Hans; Demri, Stéphane
Place of Publication: Nancy, France
Publisher: Loria
Date of Publication (YYYY-MM-DD): 2003
Title of Proceedings: Proceedings of the 3rd Methods for Modalities Workshop
Start Page: 15
End Page: 30
Document Type: Conference-Paper
ID: 201886.0
Resolution in modal, description and hybrid logic
Authors: Areces, Carlos; de Rijke, Maarten; de Nivelle, Hans
Date of Publication (YYYY-MM-DD): 2001
Title of Journal: Journal of Logic and Computation
Volume: 11
Start Page: 717
End Page: 736
Document Type: Article
ID: 202115.0
Resolution in modal, description and hybrid logic
Authors: Areces, Carlos; de Rijke, Maarten; de Nivelle, Hans
Date of Publication (YYYY-MM-DD): 2001
Title of Journal: Journal of Logic and Computation
Volume: 11
Issue / Number: 5
Start Page: 717
End Page: 736
Document Type: Article
ID: 519846.0
Prefixed Resolution: A Resolution Method for Modal and Description Logics
Authors: de Nivelle, Hans; Areces, Carlos; de Rijke, Maarten
Place of Publication: Berlin, Germany
Publisher: Springer
Date of Publication (YYYY-MM-DD): 1999
Title of Proceedings: Proceedings of the 16th International Conference on Automated Deduction (CADE-16)
Start Page: 187
End Page: 201
Title of Series: Lecture Notes in Artificial Intelligence
Document Type: Conference-Paper
ID: 519827.0
Entries: 1-4  
The scope and number of records on eDoc is subject to the collection policies defined by each institute - see "info" button in the collection browse view.