Asymmetric Unification and Disunification.
Veena RavishankarKimberly A. CornellPaliath NarendranPublished in: Description Logic, Theory Combination, and All That (2019)
Keyphrases
- horn clauses
- function symbols
- first order logic
- theorem proving
- theorem prover
- equational theories
- inference rules
- logic programs
- higher order
- inductive logic programming
- database queries
- knuth bendix
- automated theorem proving
- data structure
- data sets
- knowledge representation
- semantic information
- probabilistic model
- information systems
- computer vision
- artificial intelligence
- databases