Arthur Prior and Hybrid Logic.

Patrick Blackburn

Published in: Synth. (2006)

Keyphrases

logic programming
prior knowledge
hybrid approaches
asynchronous circuits
image reconstruction
proof theory
deontic logic
defeasible logic
bayesian model
automated reasoning
modal logic
prior information
database
control system
image sequences
database systems
search engine
artificial intelligence
data sets