Barbara Messing. Defining Decision Rules in Signed Horn Clauses. In Gerhard Brewka, Christopher Habel, Bernhard Nebel, editors, KI-97: Advances in Artificial Intelligence, 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997, Proceedings. Volume 1303 of Lecture Notes in Computer Science, pages 183-194, Springer, 1997.
Abstract is missing.