Situation Calculus and Graph Based Defensive Modeling of Simultaneous Attacks.
Layal SamarjiFrédéric CuppensNora Cuppens-BoulahiaWael KanounSamuel DubusPublished in: CSS (2013)
Keyphrases
- situation calculus
- event calculus
- action theories
- reasoning about actions
- initial state
- modal logic
- fluent calculus
- concurrent actions
- artificial intelligence
- reasoning tasks
- blocks world
- provably correct
- taxonomic reasoning
- universally quantified
- sensing actions
- action language
- markov decision processes
- search algorithm