-
1
-
-
0041340846
-
Properties and complexity of some formal inter-agent dialogues
-
Parsons, S., Wooldridge, M., Amgoud, L.: Properties and complexity of some formal inter-agent dialogues. Journal of Logic and Computation 13 (2003) 347-376
-
(2003)
Journal of Logic and Computation
, vol.13
, pp. 347-376
-
-
Parsons, S.1
Wooldridge, M.2
Amgoud, L.3
-
2
-
-
85053153541
-
-
Demazeau, Y., ed.: Paris, IEEE Press
-
Reed, C.A.: In Demazeau, Y., ed.: Proceedings of the Third International Conference on Multi-Agent Systems (ICMAS 98), Paris, IEEE Press (1998) 246-253
-
(1998)
Proceedings of the Third International Conference on Multi-agent Systems (ICMAS 98)
, pp. 246-253
-
-
Reed, C.A.1
-
5
-
-
0002542132
-
Agent theory for team formation by dialogue
-
Castelfranchi, C., Lesérance, Y., eds.: Boston, USA
-
Dignum, F., Dunin-Keplicz, B., Verbrugge, R.: Agent theory for team formation by dialogue. In Castelfranchi, C., Lesérance, Y., eds.: Pre-Proceedings of the Seventh International Workshop on Agent Theories, Architectures and Languages (ATAL 2000), Boston, USA (2000) 141-156
-
(2000)
Pre-proceedings of the Seventh International Workshop on Agent Theories, Architectures and Languages (ATAL 2000)
, pp. 141-156
-
-
Dignum, F.1
Dunin-Keplicz, B.2
Verbrugge, R.3
-
6
-
-
26444565210
-
Proceedings of the 7th European workshop on logic for artificial intelligence (JELIA'00)
-
Ojeda-Aciego, M., de Guzman, M.I.P., Brewka, G., Pereira, L.M., eds.: Berlin, Germany, Springer Verlag
-
Prakken, H.: In Ojeda-Aciego, M., de Guzman, M.I.P., Brewka, G., Pereira, L.M., eds.: Proceedings of the 7th European Workshop on Logic for Artificial Intelligence (JELIA'00), Berlin, Germany, Springer Lecture Notes in AI 1919, Springer Verlag (2000) 224-238
-
(2000)
Springer Lecture Notes in AI 1919
, pp. 224-238
-
-
Prakken, H.1
-
7
-
-
26444529373
-
-
McBurney, P., van Eijk, R.M., Parsons, S., Amgoud, L.: Journal of Autonomous Agents and Multi-Agent Systems 7 (2003) 232-273
-
(2003)
Journal of Autonomous Agents and Multi-agent Systems
, vol.7
, pp. 232-273
-
-
McBurney, P.1
Van Eijk, R.M.2
Parsons, S.3
Amgoud, L.4
-
8
-
-
0010268508
-
Logic agents, dialogues and negotiation: And abductive approach
-
Schroeder, M., Stathis, K., eds.: York, UK, AISB
-
Sadri, F., Toni, F., Rorroni, P.: Logic agents, dialogues and negotiation: and abductive approach. In Schroeder, M., Stathis, K., eds.: Proceedings of the Symposium on Information Agents for E-Commerce, Artificial Intelligence and the Simulation of Behaviour Conference (AISB 2001), York, UK, AISB (2001)
-
(2001)
Proceedings of the Symposium on Information Agents for E-commerce, Artificial Intelligence and the Simulation of Behaviour Conference (AISB 2001)
-
-
Sadri, F.1
Toni, F.2
Rorroni, P.3
-
9
-
-
0012927634
-
A framework for deliberation dialogues
-
Hansen, H.V., Tindale, C.W., Blair, J.A., Johnson, R.H., eds.: Windsor, Ontario, Canada
-
Hitchcock, D., McBurney, P., Parsons, S.: A framework for deliberation dialogues. In Hansen, H.V., Tindale, C.W., Blair, J.A., Johnson, R.H., eds.: Proceedings of the Fourth Biennial Conference on the Ontario Society of the Study of Argumentation (OSSA 2001), Windsor, Ontario, Canada (2001)
-
(2001)
Proceedings of the Fourth Biennial Conference on the Ontario Society of the Study of Argumentation (OSSA 2001)
-
-
Hitchcock, D.1
McBurney, P.2
Parsons, S.3
-
10
-
-
0003190942
-
Games that agents play: A formal framework for dialogues between autonomous agents
-
Special Issue on Logic and Games
-
McBurney, P., Parsons, S.: Games that agents play: A formal framework for dialogues between autonomous agents. Journal of Logic, Language and Information 11 (2001) 315-334 Special Issue on Logic and Games.
-
(2001)
Journal of Logic, Language and Information
, vol.11
, pp. 315-334
-
-
McBurney, P.1
Parsons, S.2
-
11
-
-
0010276187
-
Creating collective intentions through dialogue
-
Dignum, F., Dunin-Keplicz, B., Verbrugge, R.: Creating collective intentions through dialogue. Logic Journal of the IGPL 9 (2001) 305-319
-
(2001)
Logic Journal of the IGPL
, vol.9
, pp. 305-319
-
-
Dignum, F.1
Dunin-Keplicz, B.2
Verbrugge, R.3
-
13
-
-
84937335273
-
On the generation of coherent dialogue: A computational approach
-
Beun, R. J.: On the Generation of Coherent Dialogue: A Computational Approach. Pragmatics & Cognition 9 (2001) 37-68
-
(2001)
Pragmatics & Cognition
, vol.9
, pp. 37-68
-
-
Beun, R.J.1
-
15
-
-
4544373162
-
Stand ardizing agent communication
-
Labrou, Y.: Stand ardizing Agent Communication. LNCS 2086 (2001) 74-98
-
(2001)
LNCS
, vol.2086
, pp. 74-98
-
-
Labrou, Y.1
-
16
-
-
0003610530
-
-
FIPA: Communicative act library specification, standard sc00037j. Foundation for Intelligent Physical Agents
-
FIPA: Communicative act library specification, standard sc00037j. Technical report, Foundation for Intelligent Physical Agents (2002)
-
(2002)
Technical Report
-
-
-
19
-
-
26444542370
-
Epistemology: A contemporary introduction to the theory of knowledge
-
Audi, R.: Epistemology: a contemporary introduction to the theory of knowledge. Routledge (1998)
-
(1998)
Routledge
-
-
Audi, R.1
-
21
-
-
0040272480
-
What is a theory of meaning? (ii)
-
Clarendon, Oxford, UK
-
Dummett, M.: What is a theory of meaning? (ii). In: The Seas of Language. Clarendon, Oxford, UK (1993) 34-93
-
(1993)
The Seas of Language
, pp. 34-93
-
-
Dummett, M.1
-
22
-
-
26444554462
-
Strict finitism
-
Blackwell, Oxford, UK
-
Wright, C.: Strict finitism. In: Realism, Meaning and Truth. Blackwell, Oxford, UK (1993) 107-175
-
(1993)
Realism, Meaning and Truth
, pp. 107-175
-
-
Wright, C.1
-
24
-
-
84896429176
-
-
SUNY series in philosophy. State University of New York Press
-
Ellenbogen, S.: Wittgenstein's Account of Truth. SUNY series in philosophy. State University of New York Press (2003)
-
(2003)
Wittgenstein's Account of Truth
-
-
Ellenbogen, S.1
-
26
-
-
33645163818
-
Deciding to believe
-
Steup, M., ed.: Oxford University Press
-
Ginet, C.: Deciding to believe. In Steup, M., ed.: Knowledge, Truth, and Duty: Essays on Epistemic Justification, Responsibility, and Virtue. Oxford University Press (2001)
-
(2001)
Knowledge, Truth, and Duty: Essays on Epistemic Justification, Responsibility, and Virtue
-
-
Ginet, C.1
-
30
-
-
84990616630
-
Multiv alued logics: A uniform approach to reasoning in artificial intelligence
-
Ginsberg, M.L.: Multiv alued Logics: A Uniform Approach to Reasoning in Artificial Intelligence. Computational Intelligence 4 (1988) 265-316
-
(1988)
Computational Intelligence
, vol.4
, pp. 265-316
-
-
Ginsberg, M.L.1
-
32
-
-
0001842932
-
A useful four-valued logic
-
Dunn, J.M., Epstein, G., eds.: Dordrecht, D. Reidel
-
Belnap Jr., N.D.: A useful four-valued logic. In Dunn, J.M., Epstein, G., eds.: Modern Uses of Multiple-Valued Logic, Dordrecht, D. Reidel (1977) 8-37
-
(1977)
Modern Uses of Multiple-valued Logic
, pp. 8-37
-
-
Belnap Jr., N.D.1
-
34
-
-
0000534475
-
Logic and conversation
-
Cole, P., Morgan, J.L., eds.: Academic Press, New York, USA
-
Grice, H.P.: Logic and conversation. In Cole, P., Morgan, J.L., eds.: Speech Acts. Volume 11 of Syntax and Semantics. Academic Press, New York, USA (1975) 41-58
-
(1975)
Speech Acts. Volume 11 of Syntax and Semantics
, vol.11
, pp. 41-58
-
-
Grice, H.P.1
|