Searching for authors named "Ulrich Furbach" – sorted by Relevance.
33 documents found, showing 1 through 10.
Next 10 →
-
unknown title
- …¦§¨ ©¥��¤�£�¥�� �§�¥£ �¨§�¨¡��¥�� ¡¢£¤¢¥ Peter Baumgartner and Ulrich Furbach Universität Koblenz…
- Add To MetaCart
-
Model Elimination without Contrapositives and its Application to PTTP
- …Model Elimination Without Contrapositives and its Application to PTTP Peter Baumgartner Ulrich…
- Cited by 24 (10 self) – Add To MetaCart
-
Consolution as a Framework for Comparing Calculi
- … BAUMGARTNER and ULRICH FURBACH University of Koblenz, Rheinau 1, 56075 Koblenz, Germany fpeter…
- Cited by 16 (12 self) – Add To MetaCart
-
Precompiling ALC TBoxes and Query Answering
- …Precompiling ALC TBoxes and Query Answering Ulrich Furbach and Claudia Obermaier 1 Abstract…
- Add To MetaCart
-
Knowledge compilation for description logics
- …Knowledge Compilation for Description Logics Ulrich Furbach and Claudia Obermaier Universität…
- Cited by 2 (0 self) – Add To MetaCart
-
Refinements for Restart Model Elimination
- …Refinements for Restart Model Elimination Peter Baumgartner \Delta Ulrich Furbach Universitat…
- Cited by 2 (1 self) – Add To MetaCart
-
Calculi for Disjunctive Logic Programming
- …Calculi for Disjunctive Logic Programming Peter Baumgartner, Ulrich Furbach 13/96 Fachberichte…
- Cited by 5 (1 self) – Add To MetaCart
-
Hyper Tableaux and Disjunctive Logic Programming
- …Hyper Tableaux and Disjunctive Logic Programming Peter Baumgartner \Delta Ulrich Furbach…
- Cited by 1 (1 self) – Add To MetaCart
-
A Unified Approach to Theory Reasoning
- …A Unified Approach to Theory Reasoning Peter Baumgartner, Ulrich Furbach Universit at Koblenz…
- Cited by 6 (1 self) – Add To MetaCart
-
Model-Based Deduction for Knowledge Representation
- …Model-Based Deduction for Knowledge Representation Peter Baumgartner Ulrich Furbach Bernd Thomas…
- Cited by 2 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
