Login / Signup
Deciding Fluted Logic with Resolution.
Renate A. Schmidt
Published in:
ARW (2000)
Keyphrases
</>
multi valued
high resolution
logic programming
modal logic
low resolution
classical logic
proof theory
deontic logic
defeasible logic
computational properties
image resolution
automated reasoning
probability theory
higher resolution
probabilistic logic
formal theory
theorem prover
consequence finding