-
1
-
-
84959038539
-
Eliminating Paraconsistencies in 4-valued Cooperative Deductive Multidatabase Systems with Classical Negation
-
University of Keele, England, June, ISBN 0-952-17892-3
-
Boman M., and Ekenberg L., Eliminating Paraconsistencies in 4-valued Cooperative Deductive Multidatabase Systems with Classical Negation, in Proceedings of the Second International Working Conference on Cooperating Knowledge Based Systems, University of Keele, England, June 1994, ISBN 0-952-17892-3.
-
(1994)
Proceedings of the Second International Working Conference on Cooperating Knowledge Based Systems
-
-
Boman, M.1
Ekenberg, L.2
-
3
-
-
0003052123
-
N-version programming: A fault-tolerance approach to reliability of software operation
-
Toulouse, France
-
Chen L., and Avizienis A., N-version programming: a fault-tolerance approach to reliability of software operation. In Digest of Papers, The Eight Annual International Conference on Fault-Tolerant Computing, Toulouse, France, 1978.
-
(1978)
Digest of Papers, the Eight Annual International Conference on Fault-Tolerant Computing
-
-
Chen, L.1
Avizienis, A.2
-
4
-
-
0002302655
-
Representing and Executing Agent-Based Systems
-
August 8-12, Amsterdam, The Netherlands
-
Fisher M., Representing and Executing Agent-Based Systems, Pivceedings of the ECAI'94 Workshop on Agent Theories, Architectures, and Languages, August 8-12, 1994, Amsterdam, The Netherlands.
-
(1994)
Pivceedings of the ECAI'94 Workshop on Agent Theories, Architectures, and Languages
-
-
Fisher, M.1
-
5
-
-
84959057116
-
-
Phase H: 1995-98, University of Karlskrona/Ronneby, Research Report 8/95, ISSN 1103-1581
-
Gustavsson R., Akkermans H., Hägg S., Ygge F., Kozbe B., Lundberg C., and Carlsson B., Societies of Computation (SoC)-A Framework for Open Distributed Systems, Phase H: 1995-98, University of Karlskrona/Ronneby, Research Report 8/95, ISSN 1103-1581.
-
Societies of Computation (Soc)-A Framework for Open Distributed Systems
-
-
Gustavsson, R.1
Akkermans, H.2
Hägg, S.3
Ygge, F.4
Kozbe, B.5
Lundberg, C.6
Carlsson, B.7
-
6
-
-
84959055268
-
An Architecture for Agent-Oriented Programming with a Programmable Model of Interaction
-
Trinity College, Dublin, Ireland, September 8-9
-
Hägg S., and Ygge F., An Architecture for Agent-Oriented Programming with a Programmable Model of Interaction, in Proceedings of the Seventh Annual Conference on AI and Cognitive Science '94, Trinity College, Dublin, Ireland, September 8-9, 1994.
-
(1994)
Proceedings of the Seventh Annual Conference on AI and Cognitive Science '94
-
-
Hägg, S.1
Ygge, F.2
-
7
-
-
84959055755
-
-
Ph.L. Thesis, LUNFD6/(NFCS-3094)/1-180/(1995), Lund University, Sweden, May
-
Hägg S., and Ygge F., Agent-Oriented Programming in Power Distribution Automation-An Architecture, a Language, and their Applicability, Ph.L. Thesis, LUNFD6/(NFCS-3094)/1-180/(1995), Lund University, Sweden, May 1995.
-
(1995)
Agent-Oriented Programming in Power Distribution Automation-An Architecture, a Language, and Their Applicability
-
-
Hägg, S.1
Ygge, F.2
-
9
-
-
84959038540
-
-
Australian Artificial Intelligence Institute, 1 Grattan Street, Carlton, Victoria 3053, Australia
-
Ingrand F. F., and Georgeff M., Procedural Reasoning System, User Guide, 1991, available from the Australian Artificial Intelligence Institute, 1 Grattan Street, Carlton, Victoria 3053, Australia.
-
(1991)
Procedural Reasoning System, User Guide
-
-
Ingrand, F.F.1
Georgeff, M.2
-
10
-
-
84959049594
-
-
lnternet Home Page
-
Societies of Computation (SoC), lnternet Home Page, http:/lwww.sikt.hk-r.se/~soc.
-
-
-
|