Login / Signup
Composing General Logic Programs.
Antonio Brogi
Simone Contiero
Franco Turini
Published in:
LPNMR (1997)
Keyphrases
</>
general logic programs
logic programs
causal theories
autoepistemic logic
deductive databases
logic programming
answer set programming
object oriented
classical logic
knowledge base
database systems
inference rules
answer sets