Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
# | Year | Author(s) [non member] | Editor(s) [non member] | Title | Type | |||||
---|---|---|---|---|---|---|---|---|---|---|
1 |
| |||||||||
9 |
| |||||||||
1 |
| |||||||||
20 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
3 |
| |||||||||
3 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
2 |
| |||||||||
1 |
| |||||||||
2 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
14 |
| |||||||||
54 |
| |||||||||
1 |
| |||||||||
2 |
| |||||||||
4 |
| |||||||||
13 |
| |||||||||
2006 | Baumgartner, Peter Fuchs, Alexander [Tinelli, Cesare] | Implementing the Model Evolution Calculus In: International Journal on Artificial Intelligence Tools [15], 21-52 | Journal Article | |||||||
2006 | de Nivelle, Hans [Baumgartner, Peter] [Fuchs, Alexander] [Tinelli, Cesare] | [Ahrendt, Wolfgang] [Baumgartner, Peter] de Nivelle, Hans | 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 | ||||||
2005 | Baumgartner, Peter [Furbach, Ulrich] [Gross-Hardt, Margret] [Kleemann, Thomas] | [Seipel, Dietmar] [Hanus, Michael] [Geske, Ulrich] [Bartenstein, Oskar] | 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 | ||||||
2005 | Baumgartner, Peter [Furbach, Ulrich] | [Hutter, Dieter] [Stephan, Werner] | 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 [Furbach, Ulrich] [Yahya, Adnan] | Automated Reasoning, Knowledge Representation and Management In: KI - Künstliche Intelligenz [1], 5-11 | Journal Article | |||||||
2005 | Baumgartner, Peter Suchanek, Fabian | Model-Generation Theorem Proving for First-Order Logic Ontologies | Unpublished/Draft | |||||||
2005 | Baumgartner, Peter [Tinelli, Cesare] | [Nieuwenhuis, Robert] | The Model Evolution Calculus with Equality In: Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, 392-408 | Proceedings Article | ||||||
2004 | Baumgartner, Peter [Burchardt, Aljoscha] | [Alferes, José Júlio] [Leite, João] | Logic Programming Infrastructure for Inferences on FrameNet In: Logics in artificial intelligence : 9th European Conference, JELIA 2004, 591-603 | Proceedings Article |