anthem: Transforming gringo Programs into First-Order Theories (Preliminary Report).
Vladimir LifschitzPatrick LühneTorsten SchaubPublished in: CoRR (2018)
Keyphrases
- theory revision
- first order logic
- computer programs
- higher order
- action theories
- theoretical framework
- answer set programs
- logical theories
- provably correct
- control program
- cognitive psychology
- semantics of logic programs
- linear temporal logic
- automatic programming
- information systems
- fixpoint
- horn clauses
- concept learning
- background knowledge
- high level