Login / Signup
Automated verification of weak equivalence within the SMODELS system
Tomi Janhunen
Emilia Oikarinen
Published in:
CoRR (2006)
Keyphrases
</>
automated verification
model checking
automated reasoning
formal verification
logic programs
answer set programming
answer set semantics
logic programming
stable models
answer sets
temporal logic
graph theory
stereo matching
probabilistic reasoning
stable model semantics
high level
constraint satisfaction problems