Login / Signup
Deduction-Based Decision Procedure for a Clausal Miniscoped Fragment of FTL.
Regimantas Pliuskevicius
Published in:
IJCAR (2001)
Keyphrases
</>
theorem proving
proof procedure
decision making
decision makers
decision problems
decision process
automated theorem proving
data sets
query processing
high resolution
first order logic
inductive logic programming
influence diagrams
constraint propagation
iterative procedure
defeasible logic