Schema-Based Top-Down Design of Logic Programs Using Abstract Data Types.
Emmanuil I. MarakakisJohn P. GallagherPublished in: LOPSTR (1994)
Keyphrases
- logic programs
- logic programming
- stable models
- answer set programming
- answer sets
- inductive logic programming
- fixpoint
- partial deduction
- computational properties
- data model
- machine learning
- data types
- expert systems
- databases
- abstract data types
- normal logic programs
- strong equivalence
- semantics of logic programs
- database