Login / Signup
Verification of Parameterized Systems Using Logic Program Transformations.
Abhik Roychoudhury
K. Narayan Kumar
C. R. Ramakrishnan
I. V. Ramakrishnan
Scott A. Smolka
Published in:
TACAS (2000)
Keyphrases
</>
logic programs
logic programming
stable models
answer sets
inductive logic programming
answer set programming
distributed systems
fixpoint
background knowledge
horn clauses
logic program updates
expert systems
computational properties