Login / Signup
The Declarative Semantics of Logical Read-Only Variables.
Giorgio Levi
Catuscia Palamidessi
Published in:
SLP (1985)
Keyphrases
</>
declarative semantics
deductive databases
logic programs
logic programming
logic programming language
operational semantics
model theoretic
defeasible reasoning
partial order
inference rules
answer sets
answer set programming
database
natural language
email