-
-
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 ]
-
-
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 ]
-
-
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.
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, Alexander Fuchs, , Hans de Nivelle, and Cesare Tinelli.
Computing Finite Models by Reduction to Function-Free
Clause Logic.
In Ahrendt et al. [1].
Workshop at IJCAR'06.
[ bib |
.pdf |
Abstract ]
-
-
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 ]
-
-
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 ]