Author of the publication

ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories.

, , and . LPNMR, volume 9345 of Lecture Notes in Computer Science, page 488-501. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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