Logic Programming Foundations of Cyber-Physical Systems.
Neda SaeedloeiPublished in: ICLP (Technical Communications) (2010)
Keyphrases
- logic programming
- cyber physical systems
- logic programs
- physical world
- cyber security
- artificial intelligence
- deductive databases
- answer set programming
- knowledge representation
- logic programming language
- knowledge base
- answer sets
- critical infrastructure
- embedded systems
- constraint logic programming
- programming language
- stable models
- disjunctive logic programming
- databases
- computer networks
- software systems
- expert systems