Une autre interprétation top down des clauses de Horn: interface avec une base de données.

Christiane Massoutie Patrick Sallé

Published in: SPLT (1984)

Keyphrases

horn clauses
function free horn
search space
user interface
first order logic
user friendly
visual interface
random sat instances
data sets
databases
artificial intelligence
expert systems
logic programs
friendly interface