2008 | ||
---|---|---|
9 | EE | Gerhard Schurz, Hannes Leitgeb: Finitistic and Frequentistic Approximation of Probability Measures with or without sigma-Additivity. Studia Logica 89(2): 257-283 (2008) |
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 | Hannes Leitgeb | [9] |
3 | Helmut Prendinger | [4] [5] [8] |