Zum Inhalt springen

  1. Balduccini, Marcello [HerausgeberIn]; Gelfond, Michael [GefeierteR]; Son, Tran Cao [Sonstige Person, Familie und Körperschaft]

    Logic programming, knowledge representation, and nonmonotonic reasoning : essays dedicated to Michael Gelfond on the occasion of his 65th birthday

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2011

    Erschienen in: Lecture notes in computer science ; 6565

  2. Gelfond, Michael [VerfasserIn] ; Leone, Nicola [Sonstige Person, Familie und Körperschaft]; Pfeifer, Gerald [Sonstige Person, Familie und Körperschaft]

    Logic Programming and Nonmonotonic Reasoning : 5th International Conference, LPNMR’ 99 El Paso, Texas, USA, December 2–4, 1999 Proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 1999

    Erschienen in: Lecture notes in computer science ; 1730

  3. Gelfond, Michael [VerfasserIn]; Balai, Evgenii [VerfasserIn]

    Causal Analysis of Events Occurring in Trajectories of Dynamic Domains

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2020

    Erschienen in: International Conference on Logic Programming (36. : 2020 : Online): ICLP20WS 2020: International Conference on Logic Programming 2020 workshops ; 2020

  4. Gallagher, John P. [VerfasserIn]; Gelfond, Michael [VerfasserIn] ; John P. Gallagher and Michael Gelfond [MitwirkendeR]

    Frontmatter, Table of Contents, Preface, Conference Organization

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011

  5. Cao Son, Tran [VerfasserIn]; Pontelli, Enrico [VerfasserIn]; Gelfond, Michael [VerfasserIn]; Balduccini, Marcello [VerfasserIn] ; Tran Cao Son and Enrico Pontelli and Michael Gelfond and Marcello Balduccini [MitwirkendeR]

    An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016

  6. Gelfond, Michael

    Logic Programming And Nonmonotonic Reasoning: Towards a systematic approach to representing knowledge in declarative logic programming : Invited Talk : Invited Talk

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 1997

    Erschienen in: Logic Programming And Nonmonotonic Reasoning