An Abstract Decision Procedure for a Theory of Inductive Data Types.
Clark W. BarrettIgor ShikanianCesare TinelliPublished in: J. Satisf. Boolean Model. Comput. (2007)
Keyphrases
- data types
- abstract data types
- database management systems
- data model
- data structure
- user defined
- database systems
- back end
- deductive reasoning
- decision theory
- data mining
- machine learning
- decision making
- object oriented
- data mining algorithms
- database applications
- spatial databases
- database server
- data manipulation language
- spatiotemporal data
- database
- spatial data
- knowledge representation
- data streams
- neural network