An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions.
Daniel KroeningGeorg WeissenbacherPublished in: Haifa Verification Conference (2009)
Keyphrases
- decision making
- basis functions
- decision makers
- artificial intelligence
- decision rules
- preference relations
- database systems
- decision problems
- iterative procedure
- real time
- temporal relations
- search procedure
- semantic relations
- background knowledge
- evolutionary algorithm
- case study
- data mining
- neural network
- data sets