An Algebraic Decision Procedure for Two-Variable Logic with a Between Relation.

Andreas Krebs Kamal Lodaya Paritosh K. Pandya Howard Straubing

Published in: CSL (2018)

Keyphrases

decision rules
proof procedure
decision making
decision makers
asynchronous circuits
decision problems
neural network
automated reasoning
modal logic
predicate logic
classical logic
logic programming
data mining
expressive power
decision analysis
decision variables
nonmonotonic logics
digital circuits
logic programs