Formal Methods for Answer Set Programming.
Amelia HarrisonPublished in: ICLP (Technical Communications) (2015)
Keyphrases
- formal methods
- answer set programming
- logic programming
- logic programs
- answer sets
- knowledge based systems
- causal theories
- model checking
- constraint logic programming
- artificial intelligence
- answer set programs
- formal specification
- general purpose
- update semantics
- development lifecycle
- stable models
- software engineering
- stable model semantics
- formal specification language
- modeling language
- disjunctive logic programming
- data mining
- declarative programming
- qualitative spatial and temporal reasoning