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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.