The paper presents a unified approach to intelligent agency that has been developed by the members of the Laboratory for Knowledge Representation in Logic at the Department of Computer and Information Science, University of Linköping since 1986. The approach is based on the theory of Inhabited Dynamical Systems proposed and developed by Sandewall , on the integrated layered software architecture concept developed at our lab  and on the research on specification of reactive system behaviour pursued since 1990 .
Malec, J. (1995). A unified approach to intelligent agency. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 890, pp. 233–244). Springer Verlag. https://doi.org/10.1007/3-540-58855-8_15