conftrace_

axiomatic system

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

formal semantics (2) aggregate function (1) direction logic (1) direction relation (1) aggregate operation (1) spatial logic (1) formal logic (1) logic programming (1) spatial reasoning (1) answer set programming (1)

Papers

Axiomatization of Aggregates in Answer Set Programming AAAI 2022 A Logic of Directions IJCAI 2020