Representing Incomplete Knowledge in Abductive Logic Programming.

Marc Denecker Danny De Schreye

Published in: ILPS (1993)

Keyphrases

high level
incomplete knowledge
abductive logic programming
logic programs
description logics
machine learning
artificial intelligence
np complete
fixpoint