Search the dblp DataBase

Publications of Author

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