A methodology for modeling and verification of cyber-physical systems based on logic programming.
Neda SaeedloeiGopal GuptaPublished in: SIGBED Rev. (2016)
Keyphrases
- logic programming
- logic programs
- answer set programming
- cyber physical systems
- logic programming language
- deductive databases
- nonmonotonic reasoning
- programming language
- answer sets
- knowledge representation
- knowledge base
- constraint logic programming
- stable models
- cyber physical
- database
- default logic
- high level
- data mining
- databases