Formalizing the Logic-Automaton Connection.

Stefan Berghofer Markus Reiter

Published in: Arch. Formal Proofs (2009)

Keyphrases

classical logic
logic programming
modal logic
multi valued
linear time temporal logic
artificial intelligence
data sets
digital circuits
predicate logic
epistemic logic
asynchronous circuits
search algorithm
probability theory
database
probabilistic logic
defeasible logic
real time