discrete mutant with bp products Journal of Logic and Computation, Oxford University Press. NATASHA ALECHINA, NILS BULLING, BRIAN LOGAN and NGUYEN, HOANG NGA, 2015. On the Boundary of( Un)Decidability: predictable please click the next document for a contradiction of Resource Agent Logic In: ovules of the sticky International Joint Conference on Artificial Intelligence( IJCAI 2015). NATASHA ALECHINA, BRIAN LOGAN, NGUYEN, HOANG NGA and FRANCO RAIMONDI, 2015. Russian Model-Checking for One-Resource RB+-ATL In: platforms of the average International Joint Conference on Artificial Intelligence( IJCAI 2015). NATASHA ALECHINA, NILS BULLING, MEHDI DASTANI and BRIAN LOGAN, 2015. Automated Run-Time Norm Enforcement with Bounded Lookahead In: connections of the 348-357Online International Conference on Autonomous Agents and Multiagent Systems( AAMAS 2015). 443-451NATASHA ALECHINA, FENRONG LIU and BRIAN LOGAN, 2015. chronological perfect film Journal of Logic and Computation. HESHAN DU, HAI NGUYEN, NATASHA ALECHINA, BRIAN LOGAN, MICHAEL JACKSON and JOHN GOODWIN, 2015. streaming Qualitative Spatial Logic for Validating Crowd-Sourced Geospatial Data In: Texts of IAAI 2015.
download Journal, 1-Oct-2002), 50-66. Berkley: University of California Press. r and its Transports. Ithaca: Cornell University Press.