An Introduction to Belief Revision and Knowledge Representation with 2CNF

Meliza Contreras, Miguel Rodríguez, Pedro Bello, Bárbara M. González. An Introduction to Belief Revision and Knowledge Representation with 2CNF. In Mauricio Osorio, Claudia Zepeda, Ivan Olmos, José Luis Carballido, José Arrazola, Carolina Medina, editors, Proceedings of the Seventh Latin American Workshop on Non-Monotonic Reasoning, LANMR 2011, Toluca, Estado de México, México, November 7-8, 2011. Volume 804 of CEUR Workshop Proceedings, pages 13-22, CEUR-WS.org, 2011. [doi]

Abstract

Abstract is missing.