XMC: A Logic-Programming-Based Verification Toolset.

C. R. Ramakrishnan I. V. Ramakrishnan Scott A. Smolka Yifei Dong Xiaoqun Du Abhik Roychoudhury V. N. Venkatakrishnan

Published in: CAV (2000)

Keyphrases

logic programming
logic programs
deductive databases
logic programming language
nonmonotonic reasoning
knowledge base
knowledge representation
computational logic

knowledge representation and reasoning
answer set programming
answer sets
programming language
model checking
knowledge representation language
default logic
classical logic

declarative semantics
procedural semantics
disjunctive logic programming
pseudo boolean constraints
inductive logic programming
domain knowledge
reasoning about actions

linear logic
normal logic programs
stable models
probabilistic reasoning
propositional variables
machine learning
database