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-3  
 Basket 
Automated Reasoning Support for First Order Ontologies
Editors: Alferes, José Júlio; Bailey, James; May, Wolfgang; Schwertel, Uta
Authors: Baumgartner, Peter; Suchanek, Fabian M.
Place of Publication: Berlin, Germany
Publisher: Springer
Date of Publication (YYYY-MM-DD): 2006
Title of Proceedings: Principles and Practice of Semantic Web Reasoning, 4th International Workshop, PPSWR 2006
Start Page: 18
End Page: 32
Title of Series: Lecture Notes in Computer Science
Document Type: Conference-Paper
ID: 314599.0
A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment
Editors: Alferes, José Júlio; Leite, João
Authors: Kazakov, Yevgeny
Place of Publication: Berlin, Germany
Publisher: Springer
Date of Publication (YYYY-MM-DD): 2004
Title of Proceedings: Logics in artificial intelligence : 9th European Conference, JELIA 2004
Start Page: 372
End Page: 384
Title of Series: Lecture Notes in Artificial Intelligence
Document Type: Conference-Paper
ID: 231258.0
A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment
Editors: Alferes, José Júlio; Leite, João
Authors: Kazakov, Yevgeny
Place of Publication: Berlin, Germany
Publisher: Springer
Date of Publication (YYYY-MM-DD): 2004
Title of Proceedings: Logics in artificial intelligence : 9th European Conference, JELIA 2004
Start Page: 372
End Page: 384
Title of Series: Lecture Notes in Artificial Intelligence
Document Type: Conference-Paper
ID: 231997.0
Entries: 1-3  
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.