Preface - Workshop on Verification of Logic Programs.
Sandro EtalleJan-Georg SmausPublished in: Electron. Notes Theor. Comput. Sci. (1999)
Keyphrases
- logic programs
- workshop on data mining
- logic programming
- answer sets
- answer set programming
- stable models
- model checking
- fixpoint
- normal logic programs
- background knowledge
- inductive logic programming
- logic program updates
- computational properties
- deductive databases
- expressive power
- declarative semantics
- prolog programs
- monotonicity constraints
- semantics for logic programs
- expert systems
- high level