Peter Baumgartner

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 19

Top Topics

Theorem Proving

Nonmonotonic Reasoning

Probabilistic Logic

Logic Programming

Top Venues

J. Autom. Reason.

Publications