An Extended Semantics for Logic Programs with Annotated Disjunctions and its Efficient Implementation

@inproceedings{Riguzzi2010AnES,
  title={An Extended Semantics for Logic Programs with Annotated Disjunctions and its Efficient Implementation},
  author={Fabrizio Riguzzi and Theresa Swift},
  booktitle={CILC},
  year={2010}
}
Logic Programming with Annotated Disjunctions (LPADs) is a formalism for modeling probabilistic information that has recently received increased attention. The LPAD semantics, while being simple and clear, suffers from the requirement of having function free-programs, which is a strong limitation. In this paper we present an extension of the semantics that removes this restriction and allows us to write programs modeling infinite domains, such as Hidden Markov Models. We show that the semantics… CONTINUE READING