• Publications
  • Influence
Computing Abduction by Using the TMS
  • 56
  • 4
Computing abduction by using TMS with top-down expectation
Abstract We present a method to compute abduction in logic programming. We translate an abductive framework into a normal logic program with integrity constraints and show the correspondence betweenExpand
  • 14
  • 1
  • PDF
A Correct Goal-directed Proof Procedure for a General Logic Program with Integrity Constraints
We present a correct goal-directed procedure for consistent logic program with integrity constraints in stable model semantics [5]. Although there are correct bottom-up procedures for every generalExpand
  • 9
  • 1
A Query Evaluation Method for Abductive Logic Programming
  • 43
Consulting Search Engines as Conversation
  • 1
Procédé et dispositif de distribution de contenu dans le cadre d'une téléconférence
L'invention permet de distribuer de maniere appropriee des donnees de contenu a des utilisateurs participant a une teleconference. Le procede selon l'invention comprend les etapes consistant : aExpand