Login / Signup
A Fixed Point Semantics for the ATMS.
Michel Cayrol
Olivier Palmade
Thomas Schiex
Published in:
J. Log. Comput. (1993)
Keyphrases
</>
fixed point semantics
logic programs
logic programming
background knowledge
default logic
answer set programming
inference engine
semantics for logic programs
database
machine learning