Decision procedures for algebraic data types with abstractions.
Philippe SuterMirco DottaViktor KuncakPublished in: POPL (2010)
Keyphrases
- data types
- decision procedures
- abstract data types
- modal logic
- automated reasoning
- theorem proving
- data structure
- database management systems
- data model
- user defined
- database systems
- high level
- conjunctive queries
- data mining algorithms
- artificial intelligence
- real world
- knowledge base
- machine learning
- probabilistic reasoning
- satisfiability problem
- temporal logic
- incomplete information
- data analysis