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]

Authors

Fabrizio Riguzzi

This author has not been identified. Look up 'Fabrizio Riguzzi' in Google

Terrance Swift

This author has not been identified. Look up 'Terrance Swift' in Google