Enrichissement de règles de Horn par des predicats numériques.

Armita Khajeh Nassiri Nathalie Pernelle Fatiha Saïs

Published in: EGC (2023)

Keyphrases

np hard
horn theories
database
decision making
scheduling problem
knowledge compilation