A Rewriting Decision Procedure for Dijkstra-Scholten's Syllogistic Logic with Complements.

Camilo Rocha José Meseguer

Published in: Rev. Colomb. de Computación (2007)

Keyphrases

decision making
decision makers
data sets
decision rules
modal logic
multi valued
classical logic
proof procedure
logic programming
decision processes
predicate logic
predicate calculus
conjunctive queries
logical framework
computational properties