# | | Year | Author(s) [non member] | | Title | Type | |
1 |
| Avenhaus, Jürgen |
| |
4 |
| |
1 |
| Baader, Franz |
| |
9 |
| |
1 |
| Bachem, A. (ed.) |
| |
20 |
| |
1 |
| Bachmair, Leo (ed.) |
| |
1 |
| |
3 |
| Backes, Werner |
| |
3 |
| |
1 |
| Balbiani, Philippe (ed.) |
| |
1 |
| |
1 |
| Ball, Thomas (ed.) |
| |
2 |
| |
1 |
| Baral, C. (ed.) |
| |
2 |
| |
1 |
| Barnett, Richard |
| |
1 |
| |
14 |
| Barth, Peter |
| |
54 |
| |
1 |
| Basin, David A. (ed.) |
| |
2 |
| |
4 |
| Baumeister, Hubert |
| |
13 |
| |
| | 2006 | de Nivelle, Hans
[Baumgartner, Peter]
[Fuchs, Alexander]
[Tinelli, Cesare] | | Computing Finite Models by Reduction to Function-Free Clause Logic
In: IJCAR'06 Workshop : Disproving'06: Non-Theorems, Non-Validity, Non-Provability, 82-95 | Electronic Proceedings Article | |
| | 2006 | Baumgartner, Peter
Fuchs, Alexander
[Tinelli, Cesare] | | Implementing the Model Evolution Calculus
In: International Journal on Artificial Intelligence Tools [15], 21-52 | Journal Article | |
| | 2005 | Baumgartner, Peter
[Furbach, Ulrich]
[Yahya, Adnan] | | Automated Reasoning, Knowledge Representation and Management
In: KI - Künstliche Intelligenz [1], 5-11 | Journal Article | |
| | 2005 | Baumgartner, Peter
[Furbach, Ulrich] | | Living Books, Automated Deduction and other Strange Things
In: Mechanizing Mathematical Reasoning: Techniques, Tools and Applications - Essays in honour of Jörg H. Siekmann, 255-274 | Part of a Book | |
| | 2005 | Baumgartner, Peter
Suchanek, Fabian | | Model-Generation Theorem Proving for First-Order Logic Ontologies | Unpublished/Draft | |
| | 2005 | Baumgartner, Peter
[Furbach, Ulrich]
[Gross-Hardt, Margret]
[Kleemann, Thomas] | | Optimizing the Evaluation of XPath Using Description Logics
In: 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, 1-15 | Proceedings Article | |