Logique des défauts de Lukaszewicz : un démonstrateur basé sur la SLD-résolution pour les théories ouvertes.

Pascal Nicolas Béatrice Duval

Published in: JFPLC (1995)

Keyphrases

optimal solution
data sets
closed form
case based reasoning
information systems
database
image segmentation
image sequences
multi agent
data mining
data structure
lower bound
expert systems
databases
linear programming
solution quality
exact solution