Search Results for author:
Found 2 papers, 0 papers with code
Answer Set Programming Modulo `Space-Time'
We present ASP Modulo `Space-Time', a declarative representational and computational framework to perform commonsense reasoning about regions with both spatial and temporal components.
Visual Explanation by High-Level Abduction: On Answer-Set Programming Driven Reasoning about Moving Objects
We present the formal framework, its general implementation as a (declarative) method in answer set programming, and an example application and evaluation based on two diverse video datasets: the MOTChallenge benchmark developed by the vision community, and a recently developed Movie Dataset.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
