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