Singular Propositions, Negation and the Square of Opposition.

Lopamudra Choudhury Mihir Kumar Chakraborty

Published in: Logica Universalis (2016)

Keyphrases

truth values
logic programs
logic programming
deductive databases
containment of conjunctive queries
compositional semantics
predicate logic
image processing
inference rules
bayesian networks
image sequences
high level
horn clauses
fixpoint
image segmentation
data mining
database