3 citations · 8 across the 5 of their papers we have counts for
4 papers · 1 filter
Combining Event Calculus and Description Logic Reasoning via Logic Programming
Peter Baumgartner
The paper introduces a knowledge representation language that combines the event calculus with description logic in a logic programming framework. The purpose is to provide the use…
Hierarchic Superposition Revisited
Peter Baumgartner, Uwe Waldmann
Many applications of automated deduction require reasoning in first-order logic modulo background theories, in particular some form of integer arithmetic. A major unsolved research…
Tableaux for Policy Synthesis for MDPs with PCTL* Constraints
Peter Baumgartner, Sylvie Thiébaux, Felipe Trevizan
Markov decision processes (MDPs) are the standard formalism for modelling sequential decision making in stochastic environments. Policy synthesis addresses the problem of how to co…
Reasoning with Data-Centric Business Processes
Andreas Bauer, Peter Baumgartner, Michael Norrish
We describe an approach to modelling and reasoning about data-centric business processes and present a form of general model checking. Our technique extends existing approaches, wh…