IDA Dept. of Computer and Information science, Linköping University

IDA Technical Reports: abstract

Generated: Sun, 23 Nov 2014 23:21:40

Malec, J. (1994). A Unified Approach to Intelligent Agency. Technical Report LiTH-IDA-R-94-23, Department of Computer and Information Science, Linköping University, Sweden. Accepted to ECAI'94 Workshop on Agent Theories, Architectures and Languages, Amsterdam, Netherlands, 8-12 Aug 1994. (bibtex),

Abstract: 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 [27], on the integrated layered software architecture concept developed at our lab [24] and on the research on specification of reactive system behaviour pursued since 1990 [15].

Goto (at Linköping University): CS Dept TR Overview