An Abstract Decision Procedure for a Theory of Inductive Data Types.

Clark W. Barrett Igor Shikanian Cesare Tinelli

Published 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