Hoang Nga Nguyen

3 papers · 2015–2019 · 1 conference · across top CS/AI conferences

Achievements

🧭 Keyword Pioneer 🐝 Cross-Pollinator (15)

Conferences

IJCAI (3)

Top co-authors

Natasha Alechina (2) Brian Logan (2) Abdur Rakib (1) Franco Raimondi (1) Nils Bulling (1)

Keywords

probabilistic logic (1) model checking (1) multi-agent system (1) resource-bounded reasoning (1) coalitional power (1)

Papers

A Probabilistic Logic for Resource-Bounded Multi-Agent Systems IJCAI 2019

Symbolic Model Checking for One-Resource RB+-ATL IJCAI 2015

On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic IJCAI 2015