An Integrated Formal Framework for Reasoning about Goal Interactions

Michael Winikoff. An Integrated Formal Framework for Reasoning about Goal Interactions. In Chiaki Sakama, Sebastian SardiƱa, Wamberto Vasconcelos, Michael Winikoff, editors, Declarative Agent Languages and Technologies IX - 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers. Volume 7169 of Lecture Notes in Computer Science, pages 16-32, Springer, 2011. [doi]

Abstract

Abstract is missing.