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