conftrace_

resource-bounded reasoning

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

model checking (3) coalitional power (1) resource bounded computation (1) fuzzy semantics (1) parameter extraction (1) multi-agent system (1) alternating-time temporal logic (1) temporal logic (1) parameterized algorithm (1) multi-agent planning (1)

Papers

When Natural Strategies Meet Fuzziness and Resource-Bounded Actions AAAI 2026 Parameterised Resource-Bounded ATL AAAI 2020 A Probabilistic Logic for Resource-Bounded Multi-Agent Systems IJCAI 2019