Logic-Based Artificial Intelligence (The Kluwer International Series in Engineering and Computer Science Volume 597) | lit.salon