Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Furbach, U.; Baumgartner, Peter
Hyper Tableaux and Disjunctive Logic ProgrammingICLP Workshop on Deductive Databases and Logic Programming. GMD 1996
Baumgartner, Peter; Furbach, Ullrich
Hyper Tableaux. Part I: Proof Procedure and Model GenerationDagstuhl-Seminar Reports Disjunctive logic programming and databases: Non-monotonic aspects. 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
Baumgartner, Peter; Furbach, Ulrich
Refinements for Restart Model EliminationKoblenz: Universität Koblenz-Landau, Fachbereich Informatik 1996
Baumgartner, P.
Theory Reasoning in Connection Calculi and the Linearizing Completion Approach1996
Sofronie, Viorica
Towards a sheaf semantics for cooperating agents scenariosJacques Calmet; John A. Campbell; Jochen Pfalzgraf (Hrsg). Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3 Steyr, Austria, September 23–25, 1996 Proceedings. Berlin: Springer 1996 S. 289 - 304
Ebert, J.; Gimnich, R.; Winter, Andreas et al.
Wartungsunterstützung in heterogenen Sprachumgebungen. Ein Überblick zum Projekt GUPROSoftwarewartung und Reengineering - Erfahrungen und Entwicklungen. Bd. Softwarewartung und Reengineering - Erfahrungen und Entwicklungen. Wiesbaden. 1996 S. 263-275
Lautenbach, Kurt; Ridder, Hanno
A completion of the S-invariance technique by means of fixed point algorithmsKoblenz-Landau: Univ., Inst. f. Informatik 1995 43 S. (Fachberichte Informatik ; 10/95)
Baumgartner, Peter; Brüning, Stefan
A disjunctive positive refinement of model elimination and its application to subsumption deletionKoblenz-Landau: Univ., Inst. f. Informatik 1995 48 S. (Fachberichte Informatik ; 6/95)