Künstliche Intelligenz (Universität Koblenz) - Publikationen

Baumgartner, Peter; Furbach, Ulrich
Automated Deduction Techniques for the Management of Personalized Documents
Annals of Mathematics and Artificial Intelligence. Bd. 38. H. 1-3. Dordrecht: Kluwer 2003 S. 211 - 228

Baumgartner, Peter; Furbach, Ulrich; Thomas, Bernd
Model Based Deduction for Knowledge Representation
Bertram Fronhöfer; Steffen Hölldobler (Hrsg). 17. Workshop Logische Programmierung: Technische Universität Dresden, 11. - 13. Dezember 2002. Dresden: Technische Universität Dresden Fakultät Informatik 2003 S. 156 - 166

Kushmerick, Nicholas; Thomas, Bernd
Part One - Agent-Based Information Systems - Adaptive Information Extraction: Core Technologies for Information Agents
Lecture notes in computer science. Bd. 2586. Berlin: Springer 2003 S. 79 - 103

Baumgartner, P.
Knowledge Management System
http://www.uni-koblenz.de/~peter/KMS-deliverable.pdf. 2001

Beuster, G.; Thomas, B.; Wolff, C.
MIA - An Ubiquitous Multi-Agent Web Information System
http://www.icsc-naiso.org/ ICSC Symposium on Intelligent Systems & Application - MAMA 2000;. NAISO Academic Press 2000

Baumgartner, Peter
Session 4: FDPLL - A First Order Davis-Putnam-Longeman-Loveland Procedure
Lecture notes in computer science. Bd. 1831. Berlin: Springer 2000 S. 200 - 219

Beuster, G.; Thomas, B.; Wolff, C.
Ubiquitous Web Information Agents
European Conference on Aritifical Intelligence - Workshop on Artificial Intelligence In Mobile Systems. 2000

Stolzenburg, Frieder
An Algorithm for General Set Unification and Its Complexity
Journal of automated reasoning. Bd. 22. H. 1. Dordrecht [u.a.]: Springer 1999 S. 45 - 64

Stolzenburg, F.; Hähnle, H.; Menzel, W. et al.
Loop-Detection in Hyper-Tableaux by Powerful Model Generation
Journal of Universal Computer Science. Bd. Journal of Universal Computer Science. Berlin, Heidelberg, New York: Springer 1999 S. 135-155

Stolzenburg, Frieder
A flexible System for Constraint Disjunctive Logic Programming
Künstliche Intelligenz. KI ; Forschung, Entwicklung, Erfahrungen ; Organ des Fachbereichs 1 Künstliche Intelligenz der Gesellschaft für Informatik e.V., GI. Bd. 12. H. 2. Bremen: Böttcher IT-Verl. 1998 S. 73 - 78

Baumgartner, P.; Petermann, U.; Bibel, W. et al.
Chapter II.6: Theory Reasoning
Bibel, W.; Schmitt, P. H. (Hrsg). Automated Deduction. A basis for applications. Kluwer Academic Publishers 1998 S. 191-224

Dix, J.; Stolzenburg, F.
Section 1: Theory - A framework to incorporate non-monotonic reasoning into constraint logic programming
The journal of logic programming. Bd. 37. H. 1. New York, NY: North-Holland 1998 S. 47 - 76

Brass, Stefan; Dix, Jürgen; Przymusinski, Teodor C.
Super logic programs
Koblenz-Landau: Univ., Inst, für Informatik 1998 0 S. (Fachberichte Informatik ; 17/98)

Baumgartner, P.
Theory Reasoning in Connection Calculi
Lecture Notes in Artificial Intelligence. Springer 1998

Baumgartner, Peter; Furbach, Ulrich
Variants of Clausal Tableaux
Wolfgang Bibel; Peter H. Schmitt (Hrsg). Automated Deduction-A Basis for Applications: Volume 1; Foundations - Calculi and Methods. Dordrecht: Kluwer Academic Publishers 1998 S. 73 - 102

Baumgartner, Peter; Aravindan, C.;  Baumgartner, P. et al.
A Rational and Efficient Algorithm for View Deletion in Databases
J. Maluszynski (Hrsg). Logic Programming - Proceedings of the 1997 International Symposium. The MIT Press 1997

Baumgartner, P.;  Furbach, U.; J. Maluszynski, J. Maluszynski
Calculi for Disjunctive Logic Programming
J. Maluszynski (Hrsg). Logic Programming - Proceedings of the 1997 International Symposium. The MIT Press 1997

Dix, J.; Stolzenburg, F.
Computation of Non-Ground Disjunctive Well-Founded Semantics with Constraint Logic Programming
Lecture notes in computer science. Bd. 1216. Berlin: Springer 1997

Baumgartner, Peter; Furbach, Ulrich; Stolzenburg, Frieder
Computing answers with model elimination
Artificial Intelligence. Bd. 90. H. 1-2. Amsterdam: Elsevier 1997 S. 135 - 176

Stolzenburg, Frieder; Höhne, Stephan; Koch, Ulrich et al.
Constraint logic programming for computational linguistics
Lecture notes in computer science. Bd. 1328. Berlin: Springer 1997 S. 406 - 425

Aravindan, C.; Dix, J.; Niemelä, I.
DisLoP: A research project on Disjunctive Logic Programming
AI communications. AICOM ; the European journal on artificial intelligence. Bd. 10. H. 3. Amsterdam. 1997 S. 151 - 166

Brewka, Gerhard; Dix, Jürgen; Konolige, Kurt
Nonmonotonic reasoning : an overview
Stanford, Calif.: CSLI Publ. 1997 0 S. (CSLI lecture notes ; 73)

Baumgartner, Peter; P.  Baumgartner, P.;  Furbach, U.
Refinements for Restart Model Elimination
Proceedings 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 prover
Gö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 programming
Alfares, 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 databases
Saarbrü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-Unification
Prasser, 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 Tableaux
Proceedings Joint European workshop on Logics in AI '96. Springer 1996

Furbach, U.; Baumgartner, Peter
Hyper Tableaux and Disjunctive Logic Programming
ICLP Workshop on Deductive Databases and Logic Programming. GMD 1996

Baumgartner, Peter
Linear and Unit-Resulting Refutations for Horn Theories
Journal 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 Paradigms
Maher, M. (Hrsg). Proceedings of the Joint International Conference and Symposiums on Logic Programming, Bad Honnef. Cambridge, MA, London, England: MIT Press 1996 S. 546

Baumgartner, P.
Theory Reasoning in Connection Calculi and the Linearizing Completion Approach
1996

Baumgartner, Peter; Brüning, Stefan
A disjunctive positive refinement of model elimination and its application to subsumption deletion
Koblenz-Landau: Univ., Inst. f. Informatik 1995 48 S. (Fachberichte Informatik ; 6/95)

Stolzenburg, Frieder; Thomas, Bernd
Analysing rule sets for the calculation of banking fees by a theorem prover with constraints
Koblenz-Landau: Univ., Inst. f. Informatik 1995 15 S. (Fachberichte Informatik ; 14/95)

Baumgartner, Peter
Deduktion und Logisches Programmieren
Koblenz-Landau: Univ., Inst. f. Informatik 1995 11 S. (Fachberichte Informatik ; 17/95)

Dix, Jürgen; Furbach, Ulrich; Furbach, Ulrich
Logisches Programmieren mit Negation und Disjunktion
Koblenz-Landau: Univ., Inst. f. Informatik 1995 15 S. ([Fachberichte Informatik ; 21/95)

Stolzenburg, Frieder
Membership-constraints and complexity in logic programming with sets
Koblenz-Landau: Univ., Inst. f. Informatik 1995 15 S. (Fachberichte Informatik ; 13/95)

Dix, Jürgen; Gottlob, Georg; Marek, V. Wiktor
Reducing disjunctive to non-disjunctive semantics by shift-operations
Koblenz-Landau: Univ., Inst. f. Informatik 1995 17 S. (Fachberichte Informatik ; 18/95)