Künstliche Intelligenz
Institut für Informatik / Universität Koblenz
Brewka, Gerhard; Dix, Jürgen; Konolige, Kurt
Nonmonotonic reasoning : an overviewStanford, Calif.: CSLI Publ. 1997 0 S. (CSLI lecture notes ; 73)
Baumgartner, Peter; P. Baumgartner, P.; Furbach, U.
Refinements for Restart Model EliminationProceedings of the International Workshop on First Order Theorem Proving (FTP 97). 1997
Aravindan, C.; Görz, G.; Hölldobler, S.
"DisLoP: A disjunctive logic programming system based on PROTEIN theorem proverGörz, G.; Hölldobler, S. (Hrsg). Proceedings of KI '96. Springer-Verlag 1996 S. 19-23
Aravindan, C.; Alfares, J.J.; Pereira, E.
An abductive framework for negation in disjunctive logic programmingAlfares, J.J.; Pereira, L.M., Orlowska, E. (Hrsg). Proceedings of Joint European workshop on Logics in AI. Springer-Verlag 1996 S. 252-267
Dix, Jürgen
Disjunctive logic programming and databasesSaarbrücken: Geschäftsstelle Schloss Dagstuhl 1996 27 S. (Dagstuhl-Seminar-Report ; 150 = 9627)
Baumgartner, P.; Beckert, Bernhard; Kühn, Michael et al.
Extending Hyper Tableaux with Rigid E-UnificationPrasser, K. (Hrsg). Workshop Deduktion, 20. Jahrestagung für künstliche Intelligenz, Zusammenfassungen. Fakultät Informatik, D-01062 Dresden: Technisches Universität Dresden 1996
Baumgartner, P.; Furbach, U.; Niemelä, Ilkka
Hyper TableauxProceedings Joint European workshop on Logics in AI '96. Springer 1996
Furbach, U.; Baumgartner, Peter
Hyper Tableaux and Disjunctive Logic ProgrammingICLP Workshop on Deductive Databases and Logic Programming. GMD 1996
Baumgartner, Peter
Linear and Unit-Resulting Refutations for Horn TheoriesJournal of automated reasoning. Bd. 16. H. 3. Dordrecht [u.a.]: Springer 1996 S. 241 - 320
Chandrabose, Aravindan; Baumgartner, Peter; Dix, Jürgen et al.
On Merging Theorem Proving and Logic Programming ParadigmsMaher, M. (Hrsg). Proceedings of the Joint International Conference and Symposiums on Logic Programming, Bad Honnef. Cambridge, MA, London, England: MIT Press 1996 S. 546