Login / Signup
A First-Order Representation of Stable Models.
Thomas Eiter
James J. Lu
V. S. Subrahmanian
Published in:
AI Commun. (1998)
Keyphrases
</>
stable models
logic programs
logic programming
answer set programs
normal logic programs
loop formulas
first order logic
database systems
data mining
object oriented
description logics
belief revision
answer set programming
valued logic