Zum Inhalt springen

  1. Wölfl, Stefan [VerfasserIn]; Cohn, Anthony G. [VerfasserIn]; Renz, Jochen [VerfasserIn]; Sutcliffe, Georg [VerfasserIn] ; Stefan Wölfl and Anthony G. Cohn and Jochen Renz and Georg Sutcliffe [MitwirkendeR]

    10412 Summary and Abstracts Collection – QSTRLib: A Benchmark Problem Repository for Qualitative Spatial and Temporal Reasoning

    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

  2. Bellier, Dylan [VerfasserIn]; Pinchinat, Sophie [VerfasserIn]; Schwarzentruber, François [VerfasserIn] ; Dylan Bellier and Sophie Pinchinat and François Schwarzentruber [MitwirkendeR]

    Dependency Matrices for Multiplayer Strategic Dependencies

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

  3. Guyomarc'h, Jean [VerfasserIn]; Guerret, François [VerfasserIn]; El Mejjati, Bilal [VerfasserIn]; Ohayon, Emmanuel [VerfasserIn]; Vincke, Bastien [VerfasserIn]; Mérigot, Alain [VerfasserIn] ; Jean Guyomarc'h and François Guerret and Bilal El Mejjati and Emmanuel Ohayon and Bastien Vincke and Alain Mérigot [MitwirkendeR]

    Non-Simultaneity as a Design Constraint

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

  4. Chafik, Anasse [VerfasserIn]; Cheikh-Alili, Fahima [VerfasserIn]; Condotta, Jean-François [VerfasserIn]; Varzinczak, Ivan [VerfasserIn] ; Anasse Chafik and Fahima Cheikh-Alili and Jean-François Condotta and Ivan Varzinczak [MitwirkendeR]

    A One-Pass Tree-Shaped Tableau for Defeasible LTL

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

  5. Chafik, Anasse [VerfasserIn]; Cheikh-Alili, Fahima [VerfasserIn]; Condotta, Jean-François [VerfasserIn]; Varzinczak, Ivan [VerfasserIn] ; Anasse Chafik and Fahima Cheikh-Alili and Jean-François Condotta and Ivan Varzinczak [MitwirkendeR]

    On the Decidability of a Fragment of preferential LTL

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

  6. Brenton, Christopher [VerfasserIn]; Faber, Wolfgang [VerfasserIn]; Batsakis, Sotiris [VerfasserIn] ; Christopher Brenton and Wolfgang Faber and Sotiris Batsakis [MitwirkendeR]

    Answer Set Programming for Qualitative Spatio-Temporal Reasoning: Methods and Experiments

    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

  7. Isli, Amar [VerfasserIn]

    Bridging the gap between modal temporal logics and constraint-based QSR as an ALC (D) spatio-temporalisation with weakly cyclic TBoxes

    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.

    Hamburg: Univ., Bibliothek des Fachbereichs Informatik, 2003

    Erschienen in: Universität Hamburg: Mitteilung ; 311

  8. Gutiérrez Basulto, Víctor Didier [VerfasserIn] ; Lutz, Carsten [AkademischeR BetreuerIn]; Zakharyaschev, Michael [AkademischeR BetreuerIn]

    Towards More Useful Description Logics of Time, Change and Context

    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.

    Bremen: Staats- und Universitätsbibliothek Bremen, 2013

  9. Colonius, Immo [VerfasserIn] ; Freksa, Christian [AkademischeR BetreuerIn]; Bennewitz, Maren [AkademischeR BetreuerIn]

    Qualitative Process Analysis : Theoretical Requirements and Practical Implementation in Naval Domain

    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.

    Bremen: Staats- und Universitätsbibliothek Bremen, 2015

  10. Bruse, Florian [VerfasserIn]; Kastaun, Marit [VerfasserIn]; Lange, Martin [VerfasserIn]; Möller, Sören [VerfasserIn] ; Florian Bruse and Marit Kastaun and Martin Lange and Sören Möller [MitwirkendeR]

    The Calculus of Temporal Influence

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

  11. Benerecetti, Massimo [VerfasserIn]; Mogavero, Fabio [VerfasserIn]; Peron, Adriano [VerfasserIn] ; Massimo Benerecetti and Fabio Mogavero and Adriano Peron [MitwirkendeR]

    Taming Strategy Logic: Non-Recurrent Fragments

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

  12. Moratz, Reinhard [VerfasserIn]; Sabellek, Leif [VerfasserIn]; Schneider, Thomas [VerfasserIn] ; Reinhard Moratz and Leif Sabellek and Thomas Schneider [MitwirkendeR]

    Granular Spatial Calculi of Relative Directions or Movements with Parallelism: Consistent Account (Short Paper)

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

  13. Ahn, David [VerfasserIn]; Fissaha Adafre, Sisay [VerfasserIn]; de Rijke, Maarten [VerfasserIn] ; David Ahn and Sisay Fissaha Adafre and Maarten de Rijke [MitwirkendeR]

    Towards Task-Based Temporal Extraction and Recognition

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

  14. Montanari, Angelo [Sonstige Person, Familie und Körperschaft]; Bettini, Claudio [Sonstige Person, Familie und Körperschaft] ; International Symposium on Temporal Representation and Reasoning (8th :2001 :Cividale dei Friuli, Italy), Università di Milano

    Eighth International Symposium on Temporal Representation and Reasoning : TIME 2001, 14-16 June 2001, Cividale del Friuli, Italy : 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.

    Los Alamitos, Calif: IEEE Computer Society, 2001

  15. Khatib, Lina [Sonstige Person, Familie und Körperschaft]; Morris, Robert [Sonstige Person, Familie und Körperschaft] ; International Workshop on Temporal Representation and Reasoning (5th :1998 :Sanibel, Fla.)

    Fifth International Workshop on Temporal Representation and Reasoning : proceedings : Sanibel Island, Florida, May 16-17, 1998

    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.

    Los Alamitos, Calif: IEEE Computer Society, 1998

  16. International Workshop on Temporal Representation and Reasoning (4th :1997 :Daytona Beach, Fla.), Florida Artificial Intelligence Research Society, Florida AI Research Symposium (1997 Daytona Beach, Fla.)

    Fourth International Workshop on Temporal Representation and Reasoning, Daytona Beach, Florida, USA, May 10-11, 1997

    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.

    Los Alamitos, CA: IEEE Computer Society Press, 1997

  17. Cai, Ling [VerfasserIn]; Janowicz, Krzysztof [VerfasserIn]; Zhu, Rui [VerfasserIn] ; Ling Cai and Krzysztof Janowicz and Rui Zhu [MitwirkendeR]

    Automatically Discovering Conceptual Neighborhoods Using Machine Learning Methods

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