A New Logic Programming Framework for Heterogeneous Verification of Embedded Control Systems.
Rajesh KumarBruce H. KroghPublished in: ACC (2007)
Keyphrases
- logic programming
- logic programs
- cooperative multi agent
- logic programming language
- programming language
- extended logic programs
- control system
- deductive databases
- knowledge base
- nonmonotonic reasoning
- computational logic
- classical logic
- knowledge representation
- artificial intelligence
- model checking
- answer set programming
- answer sets
- reasoning about actions
- constraint logic programming
- object oriented
- disjunctive logic programming
- propositional variables