-
1
-
-
0033687404
-
A note on the refinement of ontologies
-
Antoniou G, Kehagias A. A note on the refinement of ontologies. Int J Intell Syst 2000;15(7):623-632.
-
(2000)
Int J Intell Syst
, vol.15
, Issue.7
, pp. 623-632
-
-
Antoniou, G.1
Kehagias, A.2
-
2
-
-
0021291978
-
Process algebra for synchronous communication
-
Bergstra JA, Klop JW. Process algebra for synchronous communication. Inf Contr 1984;60:109-137.
-
(1984)
Inf Contr
, vol.60
, pp. 109-137
-
-
Bergstra, J.A.1
Klop, J.W.2
-
3
-
-
84885210968
-
Failure semantics for the exchange of information in multi-agent systems
-
Palamidessi C, editor. Proceedings of the Eleventh International Conference on Concurrency Theory (CONCUR 2000) Heidelberg: Springer-Verlag
-
de Boer FS, van Eijk RM, van der Hoek W, Meyer J-JCh. Failure semantics for the exchange of information in multi-agent systems. In: Palamidessi C, editor. Proceedings of the Eleventh International Conference on Concurrency Theory (CONCUR 2000). Lecture Notes in Computer Science. Heidelberg: Springer-Verlag; 2000. Vol 1877, p 214-228.
-
(2000)
Lecture Notes in Computer Science
, vol.1877
, pp. 214-228
-
-
De Boer, F.S.1
Van Eijk, R.M.2
Van Der Hoek, W.3
Meyer, J.-J.Ch.4
-
4
-
-
0002582257
-
Formal specification of multi-agent systems: A real-world case
-
Cambridge, MA: MIT Press
-
Brazier F, Dunin-Keplicz B, Jennings N, Treur J. Formal specification of multi-agent systems: a real-world case. In: Proceedings of the International Conference on Multi-Agent Systems (ICMAS'95). Cambridge, MA: MIT Press; 1995. p 25-32.
-
(1995)
Proceedings of the International Conference on Multi-Agent Systems (ICMAS'95)
, pp. 25-32
-
-
Brazier, F.1
Dunin-Keplicz, B.2
Jennings, N.3
Treur, J.4
-
6
-
-
84976766949
-
The entity-relationship model - Toward a unified view of data
-
Chen PP. The entity-relationship model - toward a unified view of data. ACM Trans Database Syst 1976;1(1):9-36.
-
(1976)
ACM Trans Database Syst
, vol.1
, Issue.1
, pp. 9-36
-
-
Chen, P.P.1
-
7
-
-
0000978928
-
Three uses of the herbrand-gentzen theory in relating model theory and proof theory
-
Craig W. Three uses of the herbrand-gentzen theory in relating model theory and proof theory. J Symbolic Logic 1957;22:269-285.
-
(1957)
J Symbolic Logic
, vol.22
, pp. 269-285
-
-
Craig, W.1
-
8
-
-
0008438636
-
Systems of communicating agents
-
Prade H, editor Chichester, UK: John Wiley & Sons
-
van Eijk RM, de Boer FS, van der Hoek W, Meyer J-JCh. Systems of communicating agents. In: Prade H, editor. Proceedings of the Thirteenth Biennial European Conference on Artificial Intelligence (ECAI'98). Chichester, UK: John Wiley & Sons; 1998. p 293-297.
-
(1998)
Proceedings of the Thirteenth Biennial European Conference on Artificial Intelligence (ECAI'98)
, pp. 293-297
-
-
Van Eijk, R.M.1
De Boer, F.S.2
Van Der Hoek, W.3
Meyer, J.-J.Ch.4
-
11
-
-
0003799302
-
-
Technical Report Logic-92-1, Computer Science Department, Stanford University
-
Genesereth MR, Fikes RE. Knowledge Interchange Format, Version 3.0 Reference Manual. Technical Report Logic-92-1, Computer Science Department, Stanford University, 1992.
-
(1992)
Knowledge Interchange Format, Version 3.0 Reference Manual
-
-
Genesereth, M.R.1
Fikes, R.E.2
-
12
-
-
0028315848
-
Multilanguage hierarchical logics (or: How we can do without modal logics)
-
Giunchiglia F, Serafini L. Multilanguage hierarchical logics (or: How we can do without modal logics). Artif Intell 1994;64:29-70.
-
(1994)
Artif Intell
, vol.64
, pp. 29-70
-
-
Giunchiglia, F.1
Serafini, L.2
-
13
-
-
0003237703
-
Toward principles for the design of ontologies used for knowledge sharing
-
Guarino N, Poli R, editors Dordrecht/Norwell, MA: Kluwer Academic
-
Gruber TR. Toward principles for the design of ontologies used for knowledge sharing. In: Guarino N, Poli R, editors. Formal ontology in conceptual analysis and knowledge representation. Dordrecht/Norwell, MA: Kluwer Academic; 1993.
-
(1993)
Formal Ontology in Conceptual Analysis and Knowledge Representation
-
-
Gruber, T.R.1
-
14
-
-
35148839490
-
A translation approach to portable ontology specifications
-
Gruber TR. A translation approach to portable ontology specifications. Knowledge Acquisition 1993;5(2): 199-220.
-
(1993)
Knowledge Acquisition
, vol.5
, Issue.2
, pp. 199-220
-
-
Gruber, T.R.1
-
15
-
-
0018005391
-
Communicating sequential processes
-
Hoare CAR. Communicating sequential processes. Commun ACM 1978;21(8): 666-667.
-
(1978)
Commun ACM
, vol.21
, Issue.8
, pp. 666-667
-
-
Hoare, C.A.R.1
-
16
-
-
34248833974
-
Wordnet: An online lexical database
-
Miller GA. Wordnet: An online lexical database. Int J Lexicography 1990;3(4): 235-312.
-
(1990)
Int J Lexicography
, vol.3
, Issue.4
, pp. 235-312
-
-
Miller, G.A.1
-
17
-
-
84926335112
-
Towards layered dialogical agents
-
Müller JP, Wooldridge M, Jennings NR, editors. Intelligent agents III - Agent theories, architectures, and languages (ATAL'96) Berlin/New York: Springer-Verlag;
-
Noriega P, Sierra C. Towards layered dialogical agents. In: Müller JP, Wooldridge M, Jennings NR, editors. Intelligent agents III - Agent theories, architectures, and languages (ATAL'96). Lecture Notes in Artificial Intelligence. Berlin/New York: Springer-Verlag; 1997. Vol 1193, p 173-188.
-
(1997)
Lecture Notes in Artificial Intelligence
, vol.1193
, pp. 173-188
-
-
Noriega, P.1
Sierra, C.2
-
18
-
-
0033485015
-
Some remarks on the semantics of Foundation for Intelligent Physical Agents (FIPA) agent communication language
-
Pitt J, Mamdani A. Some remarks on the semantics of Foundation for Intelligent Physical Agents (FIPA) agent communication language. Autonomous Agents Multi-Agent Syst 1999;2(4):333-356.
-
(1999)
Autonomous Agents Multi-agent Syst
, vol.2
, Issue.4
, pp. 333-356
-
-
Pitt, J.1
Mamdani, A.2
-
19
-
-
0003336758
-
On what there is
-
Cambridge, MA: Harvard Univ. Press
-
Quine WVO. On what there is. In: From a logical point of view. Cambridge, MA: Harvard Univ. Press; 1948.
-
(1948)
From a Logical Point of View
-
-
Quine, W.V.O.1
-
21
-
-
84958826417
-
A name-space context graph for multi-context, multi-agent systems
-
Boston, MA
-
Singh N, Tawakol O, Genesereth M. A name-space context graph for multi-context, multi-agent systems. In: Proceedings of the 1995 American Association for Artificial Intelligence (AAAI) Fall Symposium, Boston, MA, 1995.
-
(1995)
Proceedings of the 1995 American Association for Artificial Intelligence (AAAI) Fall Symposium
-
-
Singh, N.1
Tawakol, O.2
Genesereth, M.3
-
22
-
-
0032183980
-
The origins of ontologies and communication conventions in multi-agent systems
-
Steels L. The origins of ontologies and communication conventions in multi-agent systems. Autonomous Agents Multi-Agent Syst 1998;1(2):169-194.
-
(1998)
Autonomous Agents Multi-Agent Syst
, vol.1
, Issue.2
, pp. 169-194
-
-
Steels, L.1
|