Suche
Kategorie
JGU Mainz (85458)
Uni Koblenz (18883)
18883 Treffer
×
Universität Koblenz
- Obst, Oliver
- Posters - Using Model-Based Diagnosis to Build Hypotheses about Spatial Environments. A Response to a Technical Challenge
- Lecture notes in computer science. Bd. 3020. Berlin: Springer 2004 S. 518 - 525
- Murray, J.; Obst, O.; Stolzenburg, F.
- RoboLog Koblenz 2002 -- Short Team Description
- RoboCup 2002: Robot Soccer World Cup VI. Berlin, Heidelberg, New York: Springer 2003
- Obst, O.; Ringelstein, C.
- RoboLog Koblenz 2002 -- Visualization Description
- RoboCup 2002: Robot Soccer World Cup VI. Berlin, Heidelberg, New York: Springer 2003
- Baumgartner, Peter; Dahn, Ingo; Dix, Jürgen et al.
- Automated Deduction: A technological Point of View
- Künstliche Intelligenz. Bd. 12. H. 4. Boppard: ScienTec Publishing 1998 S. 7 - 14
- Baumgartner, Peter; Fröhlich, Peter; Furbach, Ulrich et al.
- Semantically Guided Theorem Proving for Diagnosis Applications
- Martha E. Pollack (Hrsg). Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence IJCAI 1997: Nagoya, Japan; August 23-29, 1997; Volume 1. San Francisco, CA: Morgan Kaufmann Publishers 1997 S. 460 - 465
- Baumgartner, Peter; Fröhlich, Peter; Furbach, Ulrich et al.
- Tableaux for diagnosis applications
- Didier Galmiche (Hrsg). Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97 Pont-à-Mousson, France, May 13–16, 1997 Proceedings. Berlin: Springer 1997 S. 76 - 90
- Baumgartner, Peter; Eisinger, Norbert; Furbach, Ulrich
- A Confluent Connection Calculus
- Harald Ganzinger (Hrsg). Automated Deduction - CADE-16: 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings. Bd. 1632. Berlin: Springer 1999 S. 329 - 343
- Baumgartner, P.; Gross - Hardt, M.; Simon, A. B. et al.
- Living Book -- An Interactive and Personalized Book
- Milutinovic, V. (Hrsg). http://www.ssgrr.it/en/ssgrr2002s/papers.htm SSGRR 2002s - International Conference on Advances in Infrastructure for e-Business, e-Education, e-Science, and e-Medicine on the Internet. 2002
- Baumgartner, Peter; Furbach, Ulrich
- Automated Deduction Techniques for the Management of Personalized Documents
- Annals of Mathematics and Artificial Intelligence. Bd. 38. H. 1-3. Dordrecht: Kluwer 2003 S. 211 - 228
- Baumgartner, Peter; Furbach, Ulrich; Stolzenburg, Frieder
- Computing answers with model elimination
- Artificial Intelligence. Bd. 90. H. 1-2. Amsterdam: Elsevier 1997 S. 135 - 176