Suche
Kategorie
JGU Mainz (85458)
Uni Koblenz (18883)
18883 Treffer
×
Universität Koblenz
- Baumgartner, P.
- Theory Reasoning in Connection Calculi
- Lecture Notes in Artificial Intelligence. Springer 1998
- Baumgartner, P.; Petermann, U.; Bibel, W. et al.
- Chapter II.6: Theory Reasoning
- Bibel, W.; Schmitt, P. H. (Hrsg). Automated Deduction. A basis for applications. Kluwer Academic Publishers 1998 S. 191-224
- Baumgartner, P.; Lakemeyer, G.; Nebel, B.
- A First-Order Logic Davis-Putnam-Logemann-Loveland Procedure
- Lakemeyer, G.; Nebel, B. (Hrsg). AI in the new Millenium. Morgan Kaufmann 2002
- Baumgartner, Peter; Furbach, Ulrich
- Variants of Clausal Tableaux
- Wolfgang 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
- Baumgartner, P.; Furbach, U.; Gross - Hardt, M.
- Living Books
- Baumgartner, Peter; Furbach, Ulrich; Gross-Hardt, Margret et al.
- Living Book - Deduction, Slicing, and Interaction
- Journal of Automated Reasoning. Bd. 32. H. 3. Dordrecht: Springer 2004 S. 259 - 286
- Baumgartner, Peter; Tinelli, Cesare
- The model evolution calculus
- Koblenz-Landau: Univ., Inst. für Informatik 2003 0 S. (Fachberichte Informatik ; 2003,1-9)
- Baumgartner, Peter; Furbach, Ulrich; Thomas, Bernd
- Model Based Deduction for Knowledge Representation
- Bertram 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
- Baumgartner, Peter; Furbach, Ulrich
- Model based deduction for knowledge representation [position paper]
- Natasha Noy; Martin Frank; Steffen Staab (Hrsg). WWW 2002: International Workshop on the Semantic Web; Hawaii, May 7, 2002. Karlsruhe: Universität Karlsruhe 2002 S. 1 - 2
- Baumgartner, P.; Blohm, A.; Gross - Hardt, M.
- Omdoc in use -- experiences and issues in mathematical knowledge management
- 2001