Login / Signup
Non-clausal Connection Calculi for Non-classical Logics.
Jens Otten
Published in:
TABLEAUX (2017)
Keyphrases
</>
theorem proving
inductive logic programming
classical logic
constraint propagation
defeasible logic
real time
domain knowledge
horn clauses
automated theorem proving
neural network
rough sets
programming language
interval algebra
qualitative spatial
sequent calculi