← Back to papers

2013 IJCAI IJCAI 2013

Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems

🚀 Conference Pioneer — IJCAI 2013

Authors

Francesco Belardinelli , Alessio Lomuscio

Related papers

Reasoning about Normative Update 2013

Maximal Recursive Rule: A New Social Decision Scheme 2013

Sequences of Mechanisms for Causal Reasoning in Artificial Intelligence 2013

A Formal Account of Nondeterministic and Failed Actions 2013

Action Translation in Extensive-Form Games with Large Action Spaces: Axioms, Paradoxes, and the Pseudo-Harmonic Mapping 2013