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]
Abstract is missing.