Automatic Verification of Golog Programs via Predicate Abstraction.
Peiming MoNaiqi LiYongmei LiuPublished in: ECAI (2016)
Keyphrases
- agent programming
- situation calculus
- decision theoretic
- high level
- data mining
- provably correct
- automatic programming
- hardware designs
- database
- decision problems
- operating system
- operational semantics
- intermediate level
- multi agent
- data abstraction
- case study
- information retrieval
- decision theoretic planning
- neural network