Login / Signup
Extending expressivity and flexibility of abductive logic programming.
Stefano Ferilli
Published in:
J. Intell. Inf. Syst. (2018)
Keyphrases
</>
abductive logic programming
logic programs
computational properties
proof procedure
search algorithm
logic programming
machine learning
artificial intelligence
general purpose
operational semantics