A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs.
Paolo VolpePublished in: SAS (1998)
Keyphrases
- logic programs
- model theoretic
- logic programming
- disjunctive logic programs
- general logic programs
- declarative semantics
- logic programming language
- answer set programming
- answer sets
- horn clauses
- fixpoint
- stable models
- disjunctive logic programming
- loop formulas
- functional programs
- desirable properties
- background knowledge
- answer set programs
- inductive logic programming
- partial deduction
- normal logic programs
- answer set semantics
- recursive programs
- propositional theories
- programming language
- deductive databases
- computational properties
- fixpoint semantics
- stable model semantics
- logic program updates
- strong equivalence
- term rewriting systems
- monotonicity constraints
- minimal models
- function symbols
- data model
- operational semantics
- nonmonotonic reasoning
- semantics of logic programs
- first order logic
- fixed point semantics
- knowledge representation