Between the Event Calculus and Finite State Temporality.
Derek KelleherTim FernandoCarl VogelPublished in: FG (2015)
Keyphrases
- finite state
- event calculus
- markov chain
- situation calculus
- reasoning about actions and change
- reasoning tasks
- deductive databases
- temporal reasoning
- model checking
- partially ordered
- domain specific knowledge
- markov decision processes
- transitive closure
- optimal policy
- partially observable markov decision processes
- morphological operators
- temporal databases
- average cost
- general theory
- random walk
- domain knowledge