Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Dix, J.; Stolzenburg, F.; Simari, G. R. et al.
Automating defeasible reasoning with logic programming (DeReLoP)Jähnichen, S.; Loiseau, I. (Hrsg). Proceedings of the 2nd German-Argentinian Workshop on Information Technology. 1999 S. 39-46
Obst, Oliver; Stolzenburg, Frieder
Der RoboCup während der IJCAI'99Künstliche Intelligenz. KI ; Forschung, Entwicklung, Erfahrungen ; Organ des Fachbereichs 1 Künstliche Intelligenz der Gesellschaft für Informatik e.V., GI. Bd. 4. Bremen: Böttcher IT-Verl. 1999 S. 66 - 67
Stolzenburg, F.; Hähnle, H.; Menzel, W. et al.
Loop-Detection in Hyper-Tableaux by Powerful Model GenerationJournal of Universal Computer Science. Bd. Journal of Universal Computer Science. Berlin, Heidelberg, New York: Springer 1999 S. 135-155
Sofronie-Stokkermans, Viorica; Stokkermans, Karel
Modeling interaction by sheaves and geometric logicGabriel Ciobanu; Gheorghe Păun (Hrsg). Fundamentals of Computation Theory: 12th International Symposium, FCT’99 Iaşi, Romania, August 30 - September 3, 1999 Proceedings. Berlin: Springer 1999 S. 512 - 523
Zöbel, Dieter; Balcerak, Elisabeth
Modellbildung und Analyse von Rechensystemen : ein TutoriumZürich: vdf, Hochsch.-Verl. an der ETH 1999 0 S.
Steigner, Christoph; Steigner, Ch.; Horn, G. et al.
Monitoring of Network Server AvailabilityProceedings of the Third Sino-German Workshop: Advanced Parallel Processing Technologies (APPT´99). Bd. Proceedings of the Third Sino-German Workshop: Advanced Parallel Processing Technologies (APPT´99). Changsha, China. 1999
Sofronie-Stokkermans, Viorica
On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity ResultsHarald Ganzinger (Hrsg). Automated Deduction - CADE-16: 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings. Berlin: Springer 1999 S. 157 - 171
Sofronie-Stokkermans, Viorica
Representation Theorems and Theorem Proving in Non-Classical LogicsRolf Drechsler; Bernd Becker (Hrsg). Proceedings of the 29th IEEE International Symposium on Multiple-Valued Logic ISMVL 1999; 20. - 22. May, 1999; Freiburg im Breisgau. Los Alamitos, CA: IEEE Computer Society 1999 S. 242 - 247
Murray, J.; Stolzenburg, F.; Obst, O. et al.
RoboLog Koblenz: Complex Agent Scripts Implemented in LogicProceedings of the Workshop RoboCup during KI´99. Bonn. 1999 - 12 25
Stolzenburg, Frieder
A flexible System for Constraint Disjunctive Logic ProgrammingKü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