Iterated Fixpoint Well-Founded Semantics for Hybrid Knowledge Bases

Marco Alberti 0001, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese. Iterated Fixpoint Well-Founded Semantics for Hybrid Knowledge Bases. In Dario Della Monica, Aniello Murano, Sasha Rubin, Luigi Sauro, editors, Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), Naples, Italy, September 26-28, 2017. Volume 1949 of CEUR Workshop Proceedings, pages 248-261, CEUR-WS.org, 2017. [doi]

Abstract

Abstract is missing.