Indexed Categories and Bottom-Up Semantics of Logic Programs.

Gianluca Amato James Lipton

Published in: LPAR (2001)

Keyphrases

semantics of logic programs
logic programs
deductive databases
answer sets
logic programming
fixpoint
probabilistic model
general purpose
answer set semantics
information systems
relational databases
data model
probability distribution
object oriented
orders of magnitude