Media type: E-Book Title: Reasoning with Logic Programming Contributor: Alferes, José Júlio [Author]; Pereira, Luís Moniz [Other] imprint: Berlin, Heidelberg: Springer Berlin Heidelberg, 1996 Published in: Lecture notes in computer science ; 1111 Bücher Extent: Online-Ressource Language: English DOI: 10.1007/3-540-61488-5 ISBN: 9783540686743 Identifier: RVK notation: ST 230 : Software allgemein, (Einführung, Lehrbücher, Methoden der Programmierung) Software engineering, Programmentwicklungssysteme und Frameworks, Softwarewerkzeuge ST 302 : Expertensysteme; Wissensbasierte Systeme ST 285 : Computer supported cooperative work (CSCW), Groupware SS 4800 : Lecture notes in computer science Keywords: Logische Programmierung > Wissensrepräsentation Logische Programmierung > Nichtmonotones Schließen Origination: Footnote: