| 2000 | ||
|---|---|---|
| 8 | Helmut Prendinger, Mitsuru Ishizuka, Gerhard Schurz: Knowledge Base Reformation: Preparing First-Order Theories for Efficient Propositional Reasoning. IJPRAI 14(1): 35-58 (2000) | |
| 1998 | ||
| 7 | EE | Gerhard Schurz: Probabilistic Semantics for Delgrande's Conditional Logic and a Counterexample to His Default Logic. Artif. Intell. 102(1): 81-95 (1998) |
| 1997 | ||
| 6 | Gerhard Schurz: Probabilistic Default Logic Based on Irrelevance and Relevance Assumptions. ECSQARU-FAPR 1997: 536-553 | |
| 1996 | ||
| 5 | Helmut Prendinger, Gerhard Schurz: Reasoning about Action and Change. A Dynamic Logic Approach. Journal of Logic, Language and Information 5(2): 209-245 (1996) | |
| 1995 | ||
| 4 | Helmut Prendinger, Gerhard Schurz: Reasoning about Action in Dynamic Logic. WOCFAI 1995: 355-366 | |
| 3 | EE | Gerhard Schurz: Most General First Order Theorems are not Recursively Enumerable. Theor. Comput. Sci. 147(1&2): 149-163 (1995) |
| 1994 | ||
| 2 | Gerhard Schurz: Probabilistic Justification of Default Reasoning. KI 1994: 248-259 | |
| 1992 | ||
| 1 | Gerhard Schurz: Erkläungsmodelle in der Wissenschaftstheorie und in der Künstlichen Intelligenz. Mensch-Maschine-Dialog 1992: 1-42 | |
| 1 | Mitsuru Ishizuka | [8] |
| 2 | Helmut Prendinger | [4] [5] [8] |