Autor der Publikation

Non-monotonic spatial reasoning with answer set programming modulo theories.

, , und . Theory Pract. Log. Program., 17 (2): 205-225 (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Geospatial Narratives and Their Spatio-Temporal Dynamics: Commonsense Reasoning for High-Level Analyses in Geographic Information Systems., und . ISPRS Int. J. Geo Inf., 3 (1): 166-205 (2014)Advances in Spatial and Temporal Reasoning., und . J. Univers. Comput. Sci., 16 (11): 1388-1389 (2010)The perception of symmetry in the moving image: multi-level computational analysis of cinematographic scene structure and its visual reception., , und . SAP, Seite 142. ACM, (2016)Commonsense Visual Sensemaking for Autonomous Driving: On Generalised Neurosymbolic Online Abduction Integrating Vision and Semantics., , und . CoRR, (2020)Driven by Commonsense., , und . ECAI, Volume 325 von Frontiers in Artificial Intelligence and Applications, Seite 2939-2940. IOS Press, (2020)Attentional synchrony in films: A window to visuospatial characterization of events., , , und . SAP, Seite 8:1-8:7. ACM, (2022)The Shape of Empty Space: Human-centred cognitive foundations in computing for spatial design., und . SHAPES, Volume 1007 von CEUR Workshop Proceedings, Seite 59. CEUR-WS.org, (2013)lambdaProlog(QS): Functional Spatial Reasoning in Higher Order Logic Programming (Short Paper)., , und . COSIT, Volume 142 von LIPIcs, Seite 26:1-26:8. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories., , und . LPNMR, Volume 9345 von Lecture Notes in Computer Science, Seite 488-501. Springer, (2015)A Distributed Approach to Sub-Ontology Extraction., , , , , und . AINA (1), Seite 636-641. IEEE Computer Society, (2004)