A Two sorted Hybrid Logic Including Guarded Jumps.

Bernhard Heinemann

Published in: Advances in Modal Logic (2004)

Keyphrases

hybrid learning
multi valued
horn clauses
asynchronous circuits
defeasible logic
predicate logic
markov chain
logic programming
modal logic
proof theory
digital circuits
probabilistic logic
hybrid approaches
epistemic logic
classical logic
neural network
automated reasoning
information systems