Dual Gaggle Semantics for Entailment.

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

Keyphrases

logic programming
formal semantics
rdf graphs
data sets
neural network
machine learning
logic programs
semantic information
deductive databases
operational semantics
lower bound
nonmonotonic reasoning
semantic representation
monotonicity constraints