The double negation of the intermediate value theorem.

Mohammad Ardeshir Rasoul Ramezanian

Published in: Ann. Pure Appl. Log. (2010)

Keyphrases

logic programming
logic programs
data sets
deductive databases
special case
von neumann
containment of conjunctive queries
image sequences
bayesian networks
search algorithm
knowledge base
data mining
real time
horn clauses
fixpoint
datalog programs
truth values