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

Fabrizio Riguzzi, Terrance Swift. An Extended Semantics for Logic Programs with Annotated Disjunctions and its Efficient Implementation. In Wolfgang Faber, Nicola Leone, editors, Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010. Volume 598 of CEUR Workshop Proceedings, CEUR-WS.org, 2010. [doi]

@inproceedings{RiguzziS10-0,
  title = {An Extended Semantics for Logic Programs with Annotated Disjunctions and its Efficient Implementation},
  author = {Fabrizio Riguzzi and Terrance Swift},
  year = {2010},
  url = {http://ceur-ws.org/Vol-598/paper16.pdf},
  researchr = {https://researchr.org/publication/RiguzziS10-0},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010},
  editor = {Wolfgang Faber and Nicola Leone},
  volume = {598},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}