conftrace_

logic-based system

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

prototyping tool (1) computer logic (1) pooling technique (1) educational tool (1) pooling mechanism (1) inconsistency measure (1) marginal contribution (1) banzhaf value (1) cooperative game theory (1) shapley value (1)

Papers

Decomposing Inconsistencies: Marginal Contributions and Pooling Techniques IJCAI 2025 Prototyping Logic-Based AI Services with LogicUS AAAI 2023