Non-monotone Dualization via Monotone Dualization

Yoshitaka Yamamoto, Koji Iwanuma, Katsumi Inoue. Non-monotone Dualization via Monotone Dualization. In Fabrizio Riguzzi, Filip Zelezný, editors, Late Breaking Papers of the 22nd International Conference on Inductive Logic Programming, Dubrovnik, Croatia, September 17-19, 2012. Volume 975 of CEUR Workshop Proceedings, pages 74-79, CEUR-WS.org, 2012. [doi]

Abstract

Abstract is missing.