Spartacus: A Tableau Prover for Hybrid Logic.

Daniel Götzmann Mark Kaminski Gert Smolka

Published in: Electron. Notes Theor. Comput. Sci. (2010)

Keyphrases

proof search
automated theorem proving
theorem proving
theorem prover
linear logic
inference rules
proof procedure
search procedure
modal logic
classical logic
first order logic
automated reasoning
logic programming
database
digital circuits
bayesian networks
hybrid approaches
real world