Towards Stepwise, Schema-guided Synthesis of Logic Programms.
Pierre FlenerYves DevillePublished in: LOPSTR (1991)
Keyphrases
- logic synthesis
- data model
- logic programming
- modal logic
- multi valued
- predicate logic
- digital circuits
- defeasible logic
- database schema
- schema evolution
- automated reasoning
- databases
- forward selection
- computational properties
- genetic algorithm
- texture synthesis
- integrity constraints
- expressive power
- nonmonotonic logics
- conceptual schema
- query processing
- information systems
- truth values
- database
- functional programs
- sound and complete axiomatization