Dischargeable Obligations in Abductive Logic Programming.

Marco Alberti Marco Gavanelli Evelina Lamma Fabrizio Riguzzi Riccardo Zese

Published in: RuleML+RR (2017)

Keyphrases

abductive logic programming
logic programs
proof procedure
logic programming
answer set semantics
theorem proving
machine learning
general purpose
search algorithm
answer sets