Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Rosendahl, M.; Berling, R; Roller, D. et al.
Modeling of Geometric Constraints in CAD ApplicationsRoller, D.; Bruederlin, B. (Hrsg). Geometric Constraint Solving & Applications. Springer Verlag 1998
Sofronie-Stokkermans, Viorica
On Translation of Finitely-Valued Logics to Classical First-Order LogicHenri Prade (Hrsg). Proceeding of the 13th European Conference on Artificial Intelligence ECAI 98 August 23-28, Brighton, UK. Chichester: Wiley 1998 S. 410 - 411
Obst, O.
RoboCup: FC-Linux - Mit Linux zur Fußball-WMLinux-Magazin. Bd. Linux-Magazin. 1998 S. 48-51
Dix, J.; Stolzenburg, F.
Section 1: Theory - A framework to incorporate non-monotonic reasoning into constraint logic programmingThe 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 programsKoblenz-Landau: Univ., Inst, für Informatik 1998 0 S. (Fachberichte Informatik ; 17/98)
Baumgartner, P.
Theory Reasoning in Connection CalculiLecture Notes in Artificial Intelligence. Springer 1998
Obst, O.; Murray, J.; Stolzenburg, F. et al.
Towards deduction in RoboCuphttp://www.ki.informatik.hu-berlin.de/AKRoboCup/RoboCupWS-KI98/towardsDeductionInRoboCup.ps.gz. 1998 S. 1-2
Baumgartner, Peter; Furbach, Ulrich
Variants of Clausal TableauxWolfgang 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
Süttenbach, Roger; Ebert, J.
A Booch MetamodelKoblenz: Universität Koblenz-Landau, Institut für Informatik 1997 (5)
Baumgartner, Peter; Aravindan, C.; Baumgartner, P. et al.
A Rational and Efficient Algorithm for View Deletion in DatabasesJ. Maluszynski (Hrsg). Logic Programming - Proceedings of the 1997 International Symposium. The MIT Press 1997