Unification in Combinations of Collapse-Free Theories with Disjoint Sets of Function Symbols.
Erik TidénPublished in: CADE (1986)
Keyphrases
- function symbols
- disjoint sets
- equational theories
- logic programs
- group testing
- first order logic
- knuth bendix
- answer set programming
- logic programming
- normal form
- horn clauses
- disjoint subsets
- reasoning tasks
- consistency checking
- theorem proving
- constraint programming
- stable models
- incomplete information
- machine learning
- database
- data integration