Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions

@inproceedings{Riguzzi2010TablingAA,
  title={Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions},
  author={Fabrizio Riguzzi and Theresa Swift},
  booktitle={ICLP},
  year={2010}
}
The paper presents the algorithm “Probabilistic Inference with Tabling and Answer subsumption” (PITA) for computing the probability of queries from Logic Programs with Annotated Disjunctions. PITA is based on a program transformation techniques that adds an extra argument to every atom. PITA uses tabling for saving intermediate results and answer subsumption for combining different answers for the same subgoal. PITA has been implemented in XSB and compared with the ProbLog, cplint and CVE… CONTINUE READING
19 Citations
19 References
Similar Papers

Similar Papers

Loading similar papers…