Login / Signup
Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification.
Franz Baader
Stefan Borgwardt
Barbara Morawska
Published in:
Log. Methods Comput. Sci. (2016)
Keyphrases
</>
horn clauses
function symbols
first order logic
inference rules
logic programs
inductive logic programming
database queries
description logics
theorem prover
theorem proving
real time
databases
image sequences
domain knowledge