cmMUS: A Tool for Circumscription-Based MUS Membership Testing.

Mikolás Janota João Marques-Silva

Published in: LPNMR (2011)

Keyphrases

comparative analysis
software tools
situation calculus
databases
expert systems
logic programs
logic programming
data sets
neural network
bayesian networks
default reasoning
nonmonotonic logics
tool support