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