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 |