Database Reasoning - A Deductive Framework for Solving Large and Complex Problems by Means of Subsumption.
Werner KießlingUlrich GüntzerPublished in: IS/KI (1994)
Keyphrases
- database
- solving complex
- databases
- np complete
- solving problems
- reasoning problems
- combinatorial optimization
- partial constraint satisfaction
- relational databases
- database applications
- problems involving
- convex quadratic programming
- sequential decision making
- logical framework
- main contribution
- database systems
- decision problems
- complex systems
- reasoning tasks
- simulated annealing
- description logics
- constrained problems
- np complete problems
- abductive inference
- real world
- data sets