Zum Inhalt springen

  6. 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

  7. Schilder, Frank [HerausgeberIn]; Katz, Graham [Sonstige Person, Familie und Körperschaft]; Pustejovsky, James [Sonstige Person, Familie und Körperschaft] ; Seminar Annotating, Extracting and Reasoning about Time and Events 2005 Dagstuhl

    Annotating, extracting and reasoning about time and events : international seminar, Dagstuhl Castle, Germany, April 10-15, 2005 ; revised papers

    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, 2007

    Erschienen in: Lecture notes in computer science ; 4795

  8. Egenhofer, Max J. [HerausgeberIn]; Golledge, Reginald G. [Sonstige Person, Familie und Körperschaft]

    Spatial and temporal reasoning in geographic information systems

    Bücher
    Schließen

    Merkliste

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

    New York, NY: Oxford University Press, 1998

    Erschienen in: Spatial information systems

  10. Brzoska, Christoph [VerfasserIn]; Schäfer, Karl [VerfasserIn]

    LIMETTE : logic programming integrating metric temporal extensions ; an extension of KA-Prolog for temporal reasoning ; language specification user manual

    Bücher
    Schließen

    Merkliste

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

    Karlsruhe: Univ., Fak. für Informatik, 1993

    Erschienen in: Universität Karlsruhe (TH): Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 93,9

  12. Tang, Xinming [HerausgeberIn]; Liu, Yaolin [HerausgeberIn] ; International Symposium on Spatial-Temporal Modelling, Spatial Reasoning, Analysis, Data Mining and Data Fusion 2005 Peking

    Advances in spatio-temporal analysis : [International Symposium on Spatial-temporal Modelling, Spatial Reasoning, Analysis, Data Mining and Data Fusion (STM '05), which took place from 27 to 29 August 2005 in Beijing, China]

    Bücher
    Schließen

    Merkliste

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

    London [u.a.]: Taylor & Francis, c 2008

    Erschienen in: International Society for Photogrammetry and Remote Sensing: International Society for Photogrammetry and Remote Sensing (ISPRS) book series ; 5

  14. Acampora, Renato [VerfasserIn]; Geatti, Luca [VerfasserIn]; Gigante, Nicola [VerfasserIn]; Montanari, Angelo [VerfasserIn] ; Renato Acampora and Luca Geatti and Nicola Gigante and Angelo Montanari [MitwirkendeR]

    Qualitative past Timeline-Based Games (Extended Abstract)

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    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, 2023

  16. Kließ, Malte S. [VerfasserIn]; Jonker, Catholijn M. [VerfasserIn]; van Riemsdijk, M. Birna [VerfasserIn] ; Malte S. Kließ and Catholijn M. Jonker and M. Birna van Riemsdijk [MitwirkendeR]

    A Temporal Logic for Modelling Activities of Daily Living

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    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, 2018

  18. Molinaro, Cristian [VerfasserIn]; Sliva, Amy [VerfasserIn]; Subrahmanian, V. S. [VerfasserIn] ; Cristian Molinaro and Amy Sliva and V. S. Subrahmanian [MitwirkendeR]

    Abduction in Annotated Probabilistic Temporal Logic

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    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

  19. Chekol, Melisachew Wudage [VerfasserIn]; Stuckenschmidt, Heiner [VerfasserIn] ; Melisachew Wudage Chekol and Heiner Stuckenschmidt [MitwirkendeR]

    Rule Based Temporal Inference

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    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, 2018