Dr Peter Baumgartner

NICTA Research Group Manager
ANU College of Engineering and Computer Science
T: 6267 6217

Biography

Research interests:
Advancement of automated deduction, in particular first-order logic theorem proving. Design of calculi (in particular the Model Evolution calculus), implementations (in particular the Darwin system) and their application for software verification and knowledge representation purposes; exploiting connections into related areas such as logic programming, description logics and nonmonotonic reasoning.

Available student projects

Topics in Automated Reasoning with Instance-Based Methods - Keywords: First-Order Logic, Automated Reasoning, Instance-Based Methods

Logical Analysis of Business Rules - Keywords: Business Rules, Automated Reasoning

Extending the first-order theorem prover SPASS with a new split rule - Keywords: Automated Theorem Proving, Resolution

Partially automating an interactively found proof - Keywords: Automated Theorem Proving

Publications

Projects and Grants

Grants information is drawn from ARIES. To add or update Projects or Grants information please contact your College Research Office.

Return to top

Updated:  15 December 2019 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers