ObjVProlog: Metaclasses in Logic.

Jacques Malenfant Guy Lapalme Jean G. Vaucher

Published in: ECOOP (1989)

Keyphrases

logic programming
classical logic
data sets
multi valued
proof theory
predicate logic
sound and complete axiomatization
bayesian networks
multiscale
expert systems
evolutionary algorithm
automated reasoning
linear logic