Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Home page of Peter Baumgartner
Peter Baumgartner
Principal Researcher, NICTA
Research Group Manager/Managing Complexity
and ANU Adjunct Member
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.