conftrace_

qualitative calculus

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

qualitative reasoning (1) oriented point relation algebra (1) hybrid calculus (1) qualitative spatial reasoning (1) constraint reasoning (1) spatial reasoning (1) answer set programming (1) constraint satisfaction (1) knowledge base (1) robot navigation (1)

Papers

Hybrid Reasoning About Relative Position and Orientation of Objects and Navigating Agents Using Answer Set Programming AAAI 2025