Executing Formal Specifications by Translation to Higher Order Logic Programming.
James H. AndrewsPublished in: TPHOLs (1997)
Keyphrases
- logic programming
- formal specification
- higher order
- logic programs
- model checking
- nonmonotonic reasoning
- deductive databases
- answer set programming
- formal methods
- knowledge representation
- reverse engineering
- knowledge base
- inductive logic programming
- programming language
- logic programming language
- default logic
- computational logic
- answer sets
- software components
- artificial intelligence
- knowledge representation and reasoning
- constraint logic programming
- fixpoint
- building blocks
- stable models
- protocol specification
- pseudo boolean constraints