dblp.uni-trier.dewww.uni-trier.de

Gerhard Schurz

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
9EEGerhard 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
7EEGerhard 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
3EEGerhard 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

Coauthor Index

1Mitsuru Ishizuka [8]
2Hannes Leitgeb [9]
3Helmut Prendinger [4] [5] [8]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)