Quasivarieties of Logic, Regularity Conditions and Parameterized Algebraization.

G. D. Barbour James G. Raftery

Published in: Stud Logica (2003)

Keyphrases

modal logic
logic programming
closed world assumptions
neural network
sufficient conditions
logic programs
multi valued
proof theory
database
computer vision
search algorithm
knowledge representation
delay insensitive