Künstliche Intelligenz
Institut für Informatik / Universität Koblenz
Baumgartner, Peter; Furbach, Ulrich
Automated Deduction Techniques for the Management of Personalized DocumentsAnnals 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 RepresentationBertram 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 AgentsLecture notes in computer science. Bd. 2586. Berlin: Springer 2003 S. 79 - 103
Baumgartner, P.
Knowledge Management Systemhttp://www.uni-koblenz.de/~peter/KMS-deliverable.pdf. 2001
Beuster, G.; Thomas, B.; Wolff, C.
MIA - An Ubiquitous Multi-Agent Web Information Systemhttp://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 ProcedureLecture notes in computer science. Bd. 1831. Berlin: Springer 2000 S. 200 - 219
Beuster, G.; Thomas, B.; Wolff, C.
Ubiquitous Web Information AgentsEuropean Conference on Aritifical Intelligence - Workshop on Artificial Intelligence In Mobile Systems. 2000
Stolzenburg, Frieder
An Algorithm for General Set Unification and Its ComplexityJournal 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 GenerationJournal 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 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