Accountable Protocols in Abductive Logic Programming.

Marco Gavanelli Marco Alberti Evelina Lamma

Published in: ACM Trans. Internet Techn. (2018)

Keyphrases

abductive logic programming
logic programs
proof procedure
theorem proving
machine learning
artificial intelligence
information systems
logic programming
orders of magnitude
propositional logic
probabilistic reasoning
fixpoint
answer set semantics