Ultrasheaves and Double Negation.

Steven Awodey Jonas Eliasson

Published in: Notre Dame J. Formal Log. (2004)

Keyphrases

logic programs
deductive databases
logic programming
horn clauses
decision making
database
data sets
multimedia
case study
multi agent systems
digital libraries
information technology
probabilistic model