Gerhard Schurz Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2008
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Schurz, Hannes Leitgeb: Finitistic and Frequentistic Approximation of Probability Measures with or without sigma-Additivity. Studia Logica 89(2): 257-283 (2008)
2000
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHelmut Prendinger, Mitsuru Ishizuka, Gerhard Schurz: Knowledge Base Reformation: Preparing First-Order Theories for Efficient Propositional Reasoning. IJPRAI 14(1): 35-58 (2000)
1998
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Schurz: Probabilistic Semantics for Delgrande's Conditional Logic and a Counterexample to His Default Logic. Artif. Intell. 102(1): 81-95 (1998)
1997
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Schurz: Probabilistic Default Logic Based on Irrelevance and Relevance Assumptions. ECSQARU-FAPR 1997: 536-553
1996
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHelmut Prendinger, Gerhard Schurz: Reasoning about Action and Change. A Dynamic Logic Approach. Journal of Logic, Language and Information 5(2): 209-245 (1996)
1995
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHelmut Prendinger, Gerhard Schurz: Reasoning about Action in Dynamic Logic. WOCFAI 1995: 355-366
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Schurz: Most General First Order Theorems are not Recursively Enumerable. Theor. Comput. Sci. 147(1&2): 149-163 (1995)
1994
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Schurz: Probabilistic Justification of Default Reasoning. KI 1994: 248-259
1992
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard 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 © Mon Nov 16 17:22:42 2009 by Michael Ley (ley@uni-trier.de)