Login / Signup
Paths to Property Violation: A Structural Approach for Analyzing Counter-Examples.
Thomas Bochot
Pierre Virelizier
Hélène Waeselynck
Virginie Wiels
Published in:
HASE (2010)
Keyphrases
</>
counter examples
logic programs
answer sets
shortest path
database
artificial intelligence
real world
data mining
decision making
case study
data structure
search algorithm
relational databases
monotonicity property