Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Baumgartner, P.; Furbach, U.
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, 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
Sofronie, Viorica
Towards a Sheaf Semantics for Cooperating Agents Scenarios.AISMC. 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)
Huang, X.; Steigner, C.
A model-driven tool for performance measurement and analysis of parallel programsLecture notes in computer science. Bd. 919. Berlin: Springer 1995 S. 612 - 617
Stolzenburg, Frieder; Thomas, Bernd
Analysing rule sets for the calculation of banking fees by a theorem prover with constraintsKoblenz-Landau: Univ., Inst. f. Informatik 1995 15 S. (Fachberichte Informatik ; 14/95)
Baumgartner, P.; Furbach, U.; Stolzenburg, F.
Computing Answers and Logic Programming by Model Elimination Based Theorem ProvingProc. of the Workshop ``Automated Reasoning: Bridging the Gap between Theory and Practice´´. 1995
Baumgartner, Peter
Deduktion und Logisches ProgrammierenKoblenz-Landau: Univ., Inst. f. Informatik 1995 11 S. (Fachberichte Informatik ; 17/95)
Zöbel, D.; Albrecht, Wolfgang
Echtzeitsysteme - Grundlagen und Techniken. Band 1Bonn: International Thomson Publishing 1995
Huang, Xiandeng; Steigner, C.; Müller-Schloer, C.
Eine Spezifikationssprache zur modellgesteuerten Leistungsbewertung paralleler ProgrammeMüller-Schloer, C. (Hrsg). Tagungsband der 3. GI/ITG Fachtagung Arbeitsplatz-Rechensysteme: Anwendung, Betrieb und Architektur von Workstations. Hannover. 1995 S. 40-48
Lemmer, Uwe; Steigner, C.; Dreschler-Fischer, L. et al.
Feature Structures for Representing and Deducing Visual DataDreschler-Fischer, L.; Pribbenow, S. (Hrsg). KI-95 Activities, 19. Conference on Artificial Intelligence, Bielefeld. Gesellschaft für Informatik 1995 S. 142-143
Dix, Jürgen; Furbach, Ulrich; Furbach, Ulrich
Logisches Programmieren mit Negation und DisjunktionKoblenz-Landau: Univ., Inst. f. Informatik 1995 15 S. ([Fachberichte Informatik ; 21/95)
Stolzenburg, Frieder
Membership-constraints and complexity in logic programming with setsKoblenz-Landau: Univ., Inst. f. Informatik 1995 15 S. (Fachberichte Informatik ; 13/95)
Baumgartner, Peter; Furbach, Ulrich; Stolzenburg, Frieder
Model elimination, logic programming and computing answersKoblenz-Landau: Univ., Inst. f. Informatik 1995 31 S. (Fachberichte Informatik ; 1/95)
Bresink, M.
Radiosity 2.0 Entwicklerdokumentation1995
Dix, Jürgen; Gottlob, Georg; Marek, V. Wiktor
Reducing disjunctive to non-disjunctive semantics by shift-operationsKoblenz-Landau: Univ., Inst. f. Informatik 1995 17 S. (Fachberichte Informatik ; 18/95)
Ebert, Jürgen; Engels, Gregor
Specification of object life cycle definitionsKoblenz-Landau: Univ., Inst. f. Informatik 1995 28 S. (Fachberichte Informatik ; 19/95)
Ebert, Jürgen; Franzke, Angelika
A declarative approach to graph based modelingKoblenz: Inst. für Informatik, Univ. 1994 19 S. (Fachberichte Informatik ; 3/94)
Baumgartner, P.; Furbach, U.; Stolzenburg, F. et al.
Applications of Theory Reasoning in Model EliminationBaumgartner, P. et al. (Hrsg). Theory Reasoning in Automated Deduction, CADE-12 Workshop Proceedings. 1994
Hower, Walter; Rosendahl, M.; Hower, Walter et al.
CAD-oriented constraint processing with trianglesHower, Walter; Haroud, Djamila; Ruttkay, Zsófia (Hrsg). Constraint Processing in CAD. Workshop Notes of the 3rd Intern. Conference in Artificial Intelligence in Design (AID'94). 1994 S. 38-43