Helmut Prendinger's Homepage

Int'l Center of Research
Institute for Philosophy of Science
Mönchsberg 2a, 5020 Salzburg, Austria
E-mail: Helmut Prendinger@sbg.ac.at
E-mail: hprendin@pacbell.net (until end of June 1997)

Welcome to my home page!
I am a PhD student in logic at the University of Salzburg, Department of Philosophy. From October 1996 to June 1997 I am a lecturing visitor at the University of California, Irvine.

Research Interests

• Modeling Actions and Agents in Modal Logic: dynamic logic, combining modal logics, application to reasoning about action and change and multi-agent systems. Work in this area is mainly done together my thesis supervisor Gerhard Schurz.
• Approximate Reasoning: approximate forms of deductive, nonmonotonic and abductive reasoning, application to resource-bounded agents.
• Logic Programming and Softbots: the negation-as-failure-to-prove-so-far idea
, application to intelligent agents for the world-wide web.

Selected Papers

1. H. Prendinger and G. Schurz. Reasoning about action and change: A dynamic logic approach. Journal of Logic, Language, and Information, 5:209-245, 1996.
   • paper in PostScript
2. H. Prendinger. Approximate reasoning. Proceedings 8th Portugese Conference on Artificial Intelligence (EPIA-97), Coimbra, Portugal, October 1997.
   • paper in PostScript
3. H. Prendinger. Logic programming methods for searching the web. Proceedings 2nd International Workshop for Internet Applications in conjunction with the International Conference on Logic Programming (ICLP-97), Leuven, Belgium, July 1997.
   • paper in PostScript
   • paper in HTML

last modified: Mon Jun 2 PDT 1997