Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
# | Year | Author(s) [non member] | Editor(s) [non member] | Title | Type | |||||
---|---|---|---|---|---|---|---|---|---|---|
1 |
| |||||||||
9 |
| |||||||||
2003 | de Nivelle, Hans | [Baader, Franz] | Translation of Resolution Proofs into Short First-Order Proofs without Choice Axioms In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, 365-379 | Proceedings Article | ||||||
2003 | [Gaillourdet, Jean-Marie] Hillenbrand, Thomas [Löchner, Bernd] [Spies, Hendrik] | [Baader, Franz] | The New WALDMEISTER Loop at Work In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, 317-321 | Proceedings Article | ||||||
2003 | Ganzinger, Harald Hillenbrand, Thomas Waldmann, Uwe | [Baader, Franz] | Superposition modulo a Shostak Theory In: Automated Deduction, CADE-19 : 19th International Conference on Automated Deduction, 182-196 | Proceedings Article | ||||||
2003 | Ganzinger, Harald [Stuber, Jürgen] | Baader, Franz | Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation In: Automated Deduction, CADE-19 : 19th International Conference on Automated Deduction, 335-349 | Proceedings Article | ||||||
2003 | Korovin, Konstantin [Voronkov, Andrei] | [Baader, Franz] | AC-compatible Knuth-Bendix Order In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, 47-59 | Proceedings Article | ||||||
2003 | Schmidt, Renate A. [Hustadt, Ullrich] | [Baader, Franz] | A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, 412-426 | Proceedings Article | ||||||
1996 | Basin, David A. Matthews, Seán Viganò, Luca | Baader, Franz Schulz, Klaus U. | A Topography of Labelled Modal Logics In: Frontiers of Combining Systems (First International Workshop, Munich, March 1996), 75-92 | Part of a Book | ||||||
1994 | Fehrer, Detlef Hustadt, Ullrich Jaeger, Manfred Nonnengart, Andreas Ohlbach, Hans Jürgen Schmidt, Renate A. Weidenbach, Christoph Weydert, Emil | [Baader, Franz] [Lenzerini, Maurizio] [Nutt, Werner] [Patel-Schneider, Peter F.] | Description Logics for Natural Language Processing In: International Workshop on Description Logics '94, 80-84 | Proceedings Article | ||||||
1994 | Hustadt, Ullrich | Baader, Franz Buchheit, Martin Jeusfeld, Manfred A. Nutt, Werner | Do we need the closed-world assumption in knowledge representation? In: Working Notes of the KI'94 Workshop: Reasoning about Structured Objects: Knowledge Representation meets Databases (KRDB'94), 24-26 | Proceedings Article | ||||||
1 |
| |||||||||
20 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
3 |
| |||||||||
3 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
2 |
| |||||||||
1 |
| |||||||||
2 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
14 |
| |||||||||
54 |
| |||||||||
1 |
| |||||||||
2 |
| |||||||||
4 |
|