-
2
-
-
0008914009
-
Specification and implementation of Toulmin dialogue game
-
J. C. Hage et al., editor, GNI
-
T. J. M. Bench-Capon. Specification and implementation of Toulmin dialogue game. In J. C. Hage et al., editor, Legal Knowledge Based Systems, pages 5-20. GNI, 1998.
-
(1998)
Legal Knowledge Based Systems
, pp. 5-20
-
-
Bench-Capon, T.J.M.1
-
4
-
-
77957788692
-
-
Technical report, I.R.I.T., Toulouse, (to appear, Jnl. of Logic and Computation)
-
C. Cayrol, S. Doutre, and J. Mengin. On decision problems related to the preferred semantics for argumentation frameworks. Technical report, I.R.I.T., Toulouse, (to appear, Jnl. of Logic and Computation), 2002.
-
(2002)
On Decision Problems Related to the Preferred Semantics for Argumentation Frameworks
-
-
Cayrol, C.1
Doutre, S.2
Mengin, J.3
-
5
-
-
0030408302
-
Graph theoretical structures in logic programs and default theories
-
Y. Dimopoulos and A. Torres. Graph theoretical structures in logic programs and default theories. Theoretical Computer Science, 170:209-244, 1996.
-
(1996)
Theoretical Computer Science
, vol.170
, pp. 209-244
-
-
Dimopoulos, Y.1
Torres, A.2
-
6
-
-
0029368659
-
On the acceptability of arguments and its fundamental role in nonmonotonic reason, logic programming, and N-person games
-
P. M. Dung. On the acceptability of arguments and its fundamental role in nonmonotonic reason, logic programming, and N-person games. Artificial Intelligence, 77:321-357, 1995.
-
(1995)
Artificial Intelligence
, vol.77
, pp. 321-357
-
-
Dung, P.M.1
-
7
-
-
0141749120
-
Two party immediate response disputes: Properties and efficiency
-
Technical Report ULCS-01-005, Dept. of Comp. Sci., Univ. of Liverpool, to appear
-
P. E. Dunne and T.J.M. Bench-Capon. Two party immediate response disputes: Properties and efficiency. Technical Report ULCS-01-005, Dept. of Comp. Sci., Univ. of Liverpool, (to appear Artificial Intelligence, 2003)
-
(2003)
Artificial Intelligence
-
-
Dunne, P.E.1
Bench-Capon, T.J.M.2
-
8
-
-
77957810339
-
Optimal Utterances in Dialogoue Protocols Technical report
-
ULCS-02-028, Dept. of Comp. Sci., Univ. of Liverpool, to appear
-
P. E. Dunne and P. McBurney. Optimal Utterances in Dialogoue Protocols Technical report, ULCS-02-028, Dept. of Comp. Sci., Univ. of Liverpool, 2002. (to appear: Proc. Second International Joint. Conf. on Autonomous Agents and Multi-Aagent Systems, (AAMAS 2003), Melbourne, July 2003)
-
(2002)
Proc. Second International Joint. Conf. on Autonomous Agents and Multi-Aagent Systems, (AAMAS 2003), Melbourne, July 2003
-
-
Dunne, P.E.1
McBurney, P.2
-
10
-
-
3142765174
-
More on Non-Cooperation in Dialogue Logic
-
D. Gabbay and J. Woods. More on Non-Cooperation in Dialogue Logic Logic Jnl. of the IGPL, 9:305-323, 2001
-
(2001)
Logic Jnl. of the IGPL
, vol.9
, pp. 305-323
-
-
Gabbay, D.1
Woods, J.2
-
16
-
-
0000444721
-
Veto threats: Rhetoric in a bargaining game
-
May
-
S. A. Matthews. Veto threats: rhetoric in a bargaining game The Quarterly Jnl. of Economics, May 1989, 347-369.
-
(1989)
The Quarterly Jnl. of Economics
, pp. 347-369
-
-
Matthews, S.A.1
-
17
-
-
0003190942
-
Games that agents play: A formal framework for dialogues between autonomous agents
-
P. McBurney and S. Parsons. Games that agents play: A formal framework for dialogues between autonomous agents. Journal of Logic, Language and Information, 11:315-334, 2002.
-
(2002)
Journal of Logic, Language and Information
, vol.11
, pp. 315-334
-
-
McBurney, P.1
Parsons, S.2
-
19
-
-
77957779296
-
When are two protocols the same?
-
M. P. Huget, F. Dignum and J. L. Koning, editors, Agent Communications Languages and Conversation Policies
-
When are two protocols the same? In M. P. Huget, F. Dignum and J. L. Koning, editors, Agent Communications Languages and Conversation Policies, Proc. AAMAS-02 Workshop, Bologna, Italy, 2002.
-
Proc. AAMAS-02 Workshop, Bologna, Italy, 2002
-
-
-
20
-
-
0032089494
-
Agents that reason and negotiate by arguing
-
S. Parsons, C. A. Sierra, and N. R. Jennings. Agents that reason and negotiate by arguing, Journal of Logic and Computation, 8(3):261-292, 1998.
-
(1998)
Journal of Logic and Computation
, vol.8
, Issue.3
, pp. 261-292
-
-
Parsons, S.1
Sierra, C.A.2
Jennings, N.R.3
-
23
-
-
0024959762
-
The complexity of Gentzen systems for propositional logic
-
A. Urquhart. The complexity of Gentzen systems for propositional logic. Theoretical Computer Science 66(1):87-97, 1989.
-
(1989)
Theoretical Computer Science
, vol.66
, Issue.1
, pp. 87-97
-
-
Urquhart, A.1
-
24
-
-
0010363558
-
Credulous and sceptical argument games for preferred semantics
-
Berlin, Springer LNAI 1919, Springer Verlag
-
G. Vreeswijk and H. Prakken. Credulous and sceptical argument games for preferred semantics. In Proceedings of JELIA '2000, The 7th European Workshop on Logic for Artificial Intelligence., pages 224-238, Berlin, 2000. Springer LNAI 1919, Springer Verlag.
-
(2000)
Proceedings of JELIA '2000, the 7th European Workshop on Logic for Artificial Intelligence.
, pp. 224-238
-
-
Vreeswijk, G.1
Prakken, H.2
|