What Is a Good Domain Description? Evaluating & Revising Action Theories in Dynamic Logic

Ivan José Varzinczak. What Is a Good Domain Description? Evaluating & Revising Action Theories in Dynamic Logic. PhD thesis, Paul Sabatier University, Toulouse, France, 2006. [doi]

Abstract

Abstract is missing.