Title: Logic Programming and Nonmonotonic Reasoning
Subjects: Logic design, Artificial intelligence, Computational complexity, Computer science, Software engineering, Logic programming, Congresses, Nonmonotonic reasoning, Frage-Antwort-System, Kongress, Logische Programmierung, Nichtmonotones Schliessen, Problemlösen, Inferenz <Künstliche Intelligenz>, Wissensrepräsentation, Inferenz (Künstliche Intelligenz)