Login / Signup

Verifiable agent interaction in abductive logic programming: The SCIFF framework.

Marco AlbertiFederico ChesaniMarco GavanelliEvelina LammaPaola MelloPaolo Torroni
Published in: ACM Trans. Comput. Log. (2008)
Keyphrases
  • abductive logic programming
  • logic programs
  • proof procedure
  • machine learning
  • theorem proving
  • artificial intelligence
  • cooperative
  • object oriented
  • first order logic
  • propositional logic
  • decision model
  • fixpoint