Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, and Andrei Voronkov.
05431 Abstracts Collection - Deduction and Applications.
In Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, and Andrei Voronkov, editors, Deduction and Applications, number 05431 in Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany, 2006.
<http://drops.dagstuhl.de/opus/volltexte/2006/562> [date of citation: 2006-01-01]. [ bib | http ]
 
Peter Baumgartner and Renate Schmidt.
Blocking and Other Enhancements for Bottom-Up Model Generation Methods.
In U. Furbach and N. Shankar, editors, Automated Reasoning - Third International Joint Conference on Automated Reasoning (IJCAR), volume 4130 of LNAI, pages 125-139. Springer, 2006. [ bib | .pdf | Abstract ]
 
Peter Baumgartner, Alexander Fuchs, , Hans de Nivelle, and Cesare Tinelli.
Computing Finite Models by Reduction to Function-Free Clause Logic.
In Ahrendt et al. [7].
Workshop at IJCAR'06. [ bib | .pdf | Abstract ]
 
Peter Baumgartner, Alexander Fuchs, and Cesare Tinelli.
Lemma Learning in the Model Evolution Calculus.
In Miki Hermann and Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence and Reasoning (LPAR), volume 4246 of LNAI, pages 572-586. Springer, 2006. [ bib | .pdf | Abstract ]
 
Peter Baumgartner and Fabian M. Suchanek.
Automated Reasoning Support for First-Order Ontologies.
In J.J. Alferes, J. Bailey, W. May, and U. Schwertel, editors, Principles and Practice of Semantic Web Reasoning 4th International Workshop (PPSWR 2006), Revised Selected Papers, volume 4187 of LNAI. Springer, 2006. [ bib | .pdf | Abstract ]
 
Peter Baumgartner, Alexander Fuchs, and Cesare Tinelli.
Implementing the Model Evolution Calculus.
International Journal of Artificial Intelligence Tools, 15(1):21-52, 2006. [ bib | .pdf ]
 
Wolfgang Ahrendt, Peter Baumgartner, and Hans de Nivelle, editors.
Third Workshop on Disproving - Non-Theorems, Non-Validity, Non-Provability (DISPROVING'06), Seattle, 2006.
Workshop at IJCAR'06. [ bib ]