Login / Signup
On the Complexity of Generalized Horn Clause Intuionistic Logic.
Clemens Beckstein
Manfred Rahneberg
Published in:
WLP (2000)
Keyphrases
</>
horn clauses
inference rules
first order logic
logic programs
inductive logic programming
computational complexity
lattice theory
decision problems
database queries
space complexity
expert systems
low level
logic programming
artificial intelligence
fault models