Hypothetical Reasoning with Well Founded Semantics.
Luís Moniz PereiraJoaquim Nunes AparícioJosé Júlio AlferesPublished in: SCAI (1991)
Keyphrases
- hypothetical reasoning
- logic programs
- deductive databases
- logic programming
- normal logic programs
- fixpoint
- general logic programs
- integrity constraints
- answer sets
- stable models
- answer set programming
- query evaluation
- stable model semantics
- fixpoint semantics
- genetic algorithm
- software engineering
- autoepistemic logic
- data sets
- semantics for logic programs
- legal argument
- defeasible logic
- nonmonotonic reasoning
- programming language
- case study
- decision trees
- data mining