conftrace_

oriented point relation algebra

1 paper

Explore in graph

Also known as

OPRA

Co-occurring keywords · papers mentioning both

hybrid calculus (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