Oscillating Behavior of Logic Programs

Katsumi Inoue, Chiaki Sakama. Oscillating Behavior of Logic Programs. In Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce, editors, Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz. Volume 7265 of Lecture Notes in Computer Science, pages 345-362, Springer, 2012. [doi]

Abstract

Abstract is missing.