An Integration of Prolog and Neural Networks to Deal with Sensibility in Logic Programs.
Takeshi ImanakaMasato SogaKuniaki UeharaJun'ichi ToyodaPublished in: ICSI (1990)
Keyphrases
- logic programs
- logic programming
- prolog programs
- partial deduction
- existentially quantified
- fixpoint
- horn clauses
- logic programming language
- stable models
- answer sets
- deductive databases
- answer set programming
- computational properties
- nonmonotonic reasoning
- normal logic programs
- background knowledge
- programming language
- default logic
- inductive logic programming
- stable model semantics
- term rewriting systems
- constraint logic programming
- reasoning tasks
- data integration
- monotonicity constraints
- strong equivalence
- knowledge base
- expert systems
- high level