Solving Constrained Horn Clauses over Algebraic Data Types.
Lucas ZavalíaLidiia ChernigovskaiaGrigory FedyukovichPublished in: VMCAI (2023)
Keyphrases
- data types
- horn clauses
- data model
- database systems
- data structure
- user defined
- logic programs
- database management systems
- first order logic
- inference rules
- abstract data types
- inductive logic programming
- data mining algorithms
- data management
- database
- query processing
- preprocessing
- bayesian networks
- high level
- knowledge base
- feature selection
- artificial intelligence