Home News About Us Contact Contributors Disclaimer Privacy Policy 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-10  
 Basket 
Geometric Resolution: A Proof Procedure Based on Finite Model Search
Editors: Furbach, Ulrich; Shankar, Natarajan
Authors: de Nivelle, Hans; Meng, Jia
Place of Publication: Berlin, Germany
Publisher: Springer
Date of Publication (YYYY-MM-DD): 2006
Title of Proceedings: Automated reasoning : Third International Joint Conference, IJCAR 2006
Start Page: 303
End Page: 317
Title of Series: Lecture Notes in Artificial Intelligence
Document Type: Conference-Paper
ID: 314590.0
Automated Reasoning, Knowledge Representation and Management
Authors: Baumgartner, Peter; Furbach, Ulrich; Yahya, Adnan
Date of Publication (YYYY-MM-DD): 2005
Title of Journal: KI - Künstliche Intelligenz
Volume: 1
Start Page: 5
End Page: 11
Document Type: Article
ID: 279108.0
Living Books, Automated Deduction and other Strange Things
Editors: Hutter, Dieter; Stephan, Werner
Authors: Baumgartner, Peter; Furbach, Ulrich
Title of Book: Mechanizing Mathematical Reasoning: Techniques, Tools and Applications - Essays in honour of Jörg H. Siekmann
Start Page: 255
End Page: 274
Place of Publication: New York, USA
Publisher: Springer
Date of Publication (YYYY-MM-DD): 2005
Document Type: InBook
ID: 279109.0
Optimizing the Evaluation of XPath Using Description Logics
Editors: Seipel, Dietmar; Hanus, Michael; Geske, Ulrich; Bartenstein, Oskar
Authors: Baumgartner, Peter; Furbach, Ulrich; Gross-Hardt, Margret; Kleemann, Thomas
Place of Publication: Berlin, Germany
Publisher: Springer
Date of Publication (YYYY-MM-DD): 2005
Title of Proceedings: Applications of Declarative Programming and Knowledge Management: 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004
Start Page: 1
End Page: 15
Title of Series: Lecture Notes in Artificial Intelligence
Document Type: Conference-Paper
ID: 279110.0
Model Based Deduction for Database Schema Reasoning
Editors: Biundo, Susanne; Frühwirth, Thom; Palm, Günther
Authors: Baumgartner, Peter; Furbach, Ulrich; Gross-Hardt, Margret; Kleemann, Thomas
Place of Publication: Berlin, Germany
Publisher: Springer
Date of Publication (YYYY-MM-DD): 2004
Title of Proceedings: KI 2004: Advances in Artificial Intelligence: 27th Annual German Conference on AI, KI 2004
Start Page: 168
End Page: 182
Title of Series: Lecture Notes in Artificial Intelligence
Document Type: Conference-Paper
ID: 231244.0
Living Book -- Deduction, Slicing, and Interaction
Authors: Baumgartner, Peter; Furbach, Ulrich; Gross-Hardt, Margret; Sinner, Alex
Date of Publication (YYYY-MM-DD): 2004
Title of Journal: Journal of Automated Reasoning
Volume: 32
Start Page: 259
End Page: 286
Document Type: Article
ID: 231245.0
Living Book -- Deduction, Slicing, and Interaction
Authors: Baumgartner, Peter; Furbach, Ulrich; Gross-Hardt, Margret; Sinner, Alex
Date of Publication (YYYY-MM-DD): 2004
Title of Journal: Journal of Automated Reasoning
Volume: 32
Start Page: 259
End Page: 286
Document Type: Article
ID: 232075.0
Model Based Deduction for Database Schema Reasoning
Editors: Biundo, Susanne; Frühwirth, Thom; Palm, Günther
Authors: Baumgartner, Peter; Furbach, Ulrich; Gross-Hardt, Margret; Kleemann, Thomas
Place of Publication: Berlin, Germany
Publisher: Springer
Date of Publication (YYYY-MM-DD): 2004
Title of Proceedings: KI 2004: Advances in Artificial Intelligence: 27th Annual German Conference on AI, KI 2004
Start Page: 168
End Page: 182
Title of Series: Lecture Notes in Artificial Intelligence
Document Type: Conference-Paper
ID: 232080.0
Deduction
Editors: Furbach, Ulrich; Ganzinger, Harald; Hasegawa, Ryuzo; Kapur, Deepak
Place of Publication: Wadern, Germany
Publisher: IBFI
Date of Publication (YYYY-MM-DD): 2000
Document Type: Proceedings
ID: 202136.0
Deduction
Editors: Furbach, Ulrich; Ganzinger, Harald; Hasegawa, Ryuzo; Kapur, Deepak
Place of Publication: Wadern, Germany
Publisher: IBFI
Date of Publication (YYYY-MM-DD): 2000
Physical Description
(e.g. Total Number of Pages):
 24
Document Type: Proceedings
ID: 519775.0
Entries: 1-10  
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.