Accountable Protocols in Abductive Logic Programming.

Marco Gavanelli Marco Alberti Evelina Lamma

Published in: CILC (2019)

Keyphrases

abductive logic programming
logic programs
proof procedure
object oriented
fixpoint
answer set semantics
artificial intelligence
data structure
general purpose
orders of magnitude