Nguyen Hoang Nga

3 papers in the IJCAI proceedings

IJCAI 2015

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

with Natasha Alechina, Nils Bulling, Brian Logan

Details PDF

Symbolic Model Checking for One-Resource RB+-ATL

with Natasha Alechina, Brian Logan, Franco Raimondi

Details PDF

IJCAI 2009

A Logic for Coalitions with Bounded Resources

with Natasha Alechina, Brian Logan, Abdur Rakib

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings