Template programs for Disjunctive Logic Programming: An operational semantics.
Francesco CalimeriGiovambattista IanniPublished in: AI Commun. (2006)
Keyphrases
- operational semantics
- disjunctive logic programming
- declarative semantics
- agent programming
- logic programming
- answer sets
- formal semantics
- answer set programming
- deductive databases
- model theoretic
- knowledge representation and reasoning
- polynomial hierarchy
- mental states
- logic programs
- answer set semantics
- databases
- stable models
- theorem proving
- fixpoint
- intelligent agents
- stable model semantics
- general purpose
- machine learning