A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs.
Paolo VolpePublished in: APPIA-GULP-PRODE (1998)
Keyphrases
- logic programs
- model theoretic
- logic programming
- general logic programs
- disjunctive logic programs
- stable models
- fixpoint
- horn clauses
- loop formulas
- declarative semantics
- answer set programming
- answer sets
- logic programming language
- background knowledge
- answer set programs
- desirable properties
- functional programs
- partial deduction
- programming language
- term rewriting systems
- prolog programs
- computational properties
- answer set semantics
- normal logic programs
- propositional theories
- recursive programs
- stable model semantics
- natural language
- strong equivalence
- disjunctive logic programming
- knowledge representation
- monotonicity constraints
- autoepistemic logic
- operational semantics
- inductive logic programming
- object oriented
- semantic properties
- fixpoint semantics
- classical logic
- nonmonotonic reasoning
- first order logic
- logic program updates