Logic Fragments: Coordinating Entities with Logic Programs.
Francesco Luca De AngelisGiovanna Di Marzo SerugendoPublished in: ISoLA (1) (2016)
Keyphrases
- logic programs
- logic programming
- computational properties
- general logic programs
- abductive reasoning
- answer sets
- answer set programming
- declarative semantics
- stable models
- fixpoint
- classical logic
- logic programs with negation
- inductive logic programming
- autoepistemic logic
- horn clauses
- nonmonotonic reasoning
- deductive databases
- strong equivalence
- background knowledge
- model theoretic
- recursive programs
- stable model semantics
- functional programs
- prolog programs
- partial deduction
- propositional theories
- normal logic programs
- answer set semantics
- reasoning tasks
- default logic
- semantics of logic programs
- logic program updates
- term rewriting systems
- loop formulas
- truth values
- multi valued
- nonmonotonic logics
- knowledge representation and reasoning