Login / Signup
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