conftrace_

hybrid calculus

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

oriented point relation algebra (1) qualitative reasoning (1) qualitative 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