Error Diagnosis in Logic Programming, an Adaption of E. Y. Shapiro's Method.

Gérard Ferrand

Published in: J. Log. Program. (1987)

Keyphrases

logic programming
logic programs
knowledge representation
answer sets
classical logic
knowledge base
bayesian networks
deductive databases