Guarded Open Answer Set Programming with Generalized Literals

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir. Guarded Open Answer Set Programming with Generalized Literals. In Jürgen Dix, Stephen J. Hegner, editors, Foundations of Information and Knowledge Systems, 4th International Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings. Volume 3861 of Lecture Notes in Computer Science, pages 179-200, Springer, 2006. [doi]

Abstract

Abstract is missing.