Semantic Determinism and Functional Logic Program Properties.
José Miguel ClevaFrancisco Javier López-FraguasPublished in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
- logic programs
- answer sets
- logic programming
- stable models
- fixpoint
- answer set programming
- normal logic programs
- semantic properties
- computational properties
- semantic information
- background knowledge
- inductive logic programming
- prolog programs
- extended logic programs
- loop formulas
- counter examples
- high level
- logic program updates
- horn clauses
- semantic knowledge
- semantic web
- deductive databases
- existentially quantified
- general logic programs
- stable model semantics
- fixpoint semantics