-
1
-
-
26844440445
-
-
Amgoud, L., Kaci, S.: On the Generation of Bipolar Goals in Argumentation-based Negotiation. In: Rahwan, I., Moraïtis, P., Reed, C. (eds.) ArgMAS 2004. LNCS, 3366, pp. 192-207. Springer, Heidelberg (2005)
-
Amgoud, L., Kaci, S.: On the Generation of Bipolar Goals in Argumentation-based Negotiation. In: Rahwan, I., Moraïtis, P., Reed, C. (eds.) ArgMAS 2004. LNCS, vol. 3366, pp. 192-207. Springer, Heidelberg (2005)
-
-
-
-
2
-
-
33749427158
-
Computational Representation of Practical Argument
-
Atkinson, K., Bench-Capon, T., McBurney, P.: Computational Representation of Practical Argument. Synthese 152(2), 157-206 (2006)
-
(2006)
Synthese
, vol.152
, Issue.2
, pp. 157-206
-
-
Atkinson, K.1
Bench-Capon, T.2
McBurney, P.3
-
3
-
-
33745611816
-
-
Baldoni, M., Baroglio, C, Martelli, A., Patti, V.: Verification of Protocol Conformance and Agent Interoperability. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS, 3900, pp. 265-283. Springer, Heidelberg (2006)
-
Baldoni, M., Baroglio, C, Martelli, A., Patti, V.: Verification of Protocol Conformance and Agent Interoperability. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS, vol. 3900, pp. 265-283. Springer, Heidelberg (2006)
-
-
-
-
4
-
-
26844534649
-
-
Baldoni, M., Baroglio, C, Martelli, A., Patti, V., Schifanella, C: Verifying Protocol Conformance for Logic-Based Communicating Agents. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS, 3487, pp. 196-212. Springer, Heidelberg (2005)
-
Baldoni, M., Baroglio, C, Martelli, A., Patti, V., Schifanella, C: Verifying Protocol Conformance for Logic-Based Communicating Agents. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS, vol. 3487, pp. 196-212. Springer, Heidelberg (2005)
-
-
-
-
6
-
-
0041340842
-
Persuasion in practical argument using value based argument
-
Bench-Capon, T.J.M.: Persuasion in practical argument using value based argument. Journal of Logic and Computation 13(3), 429-448 (2003)
-
(2003)
Journal of Logic and Computation
, vol.13
, Issue.3
, pp. 429-448
-
-
Bench-Capon, T.J.M.1
-
7
-
-
38149128163
-
-
Bentahar, J., Moulin, B., Meyer, J.-J.C, Lespérance, Y.: A New Logical Semantics for Agent Communication. In: Inoue, K., Satoh, K., Toni, F. (eds.) CLIMA 2006. LNCS (LNAI), 4371, pp. 151-170. Springer, Heidelberg (2007)
-
Bentahar, J., Moulin, B., Meyer, J.-J.C, Lespérance, Y.: A New Logical Semantics for Agent Communication. In: Inoue, K., Satoh, K., Toni, F. (eds.) CLIMA 2006. LNCS (LNAI), vol. 4371, pp. 151-170. Springer, Heidelberg (2007)
-
-
-
-
8
-
-
38549110570
-
-
Bentahar, J., Mbarki, M., Moulin, B.: Specification and Complexity of Strategic-bsed Reasoning Using Argumentation. In: Maudet, N., Parsons, S., Rahwan, I. (eds.) ArgMAS 2006. LNCS (LNAI), 4766, pp. 142-160. Springer, Heidelberg (2007)
-
Bentahar, J., Mbarki, M., Moulin, B.: Specification and Complexity of Strategic-bsed Reasoning Using Argumentation. In: Maudet, N., Parsons, S., Rahwan, I. (eds.) ArgMAS 2006. LNCS (LNAI), vol. 4766, pp. 142-160. Springer, Heidelberg (2007)
-
-
-
-
9
-
-
0035303395
-
Dynamic argument systems: A formal model of argumentation processes based on stuation calculus
-
Brewka, G.: Dynamic argument systems: A formal model of argumentation processes based on stuation calculus. Journal of Logic and Computation 11(2), 257-282 (2001)
-
(2001)
Journal of Logic and Computation
, vol.11
, Issue.2
, pp. 257-282
-
-
Brewka, G.1
-
10
-
-
59049087806
-
-
Caelen, J.: Stratégies de dialogue. Modèles Formels d'lntéraction (MFI 2003), Lille, CEPADUES Editions (May 2003)
-
Caelen, J.: Stratégies de dialogue. Modèles Formels d'lntéraction (MFI 2003), Lille, CEPADUES Editions (May 2003)
-
-
-
-
12
-
-
0000232248
-
Logical models of argument
-
Chesnevar, C.I., Maguitman, A., Loui, R.: Logical models of argument. ACM Computing Surveys 32, 337-383 (2000)
-
(2000)
ACM Computing Surveys
, vol.32
, pp. 337-383
-
-
Chesnevar, C.I.1
Maguitman, A.2
Loui, R.3
-
13
-
-
0029368659
-
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
-
Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence 77, 321-357 (1995)
-
(1995)
Artificial Intelligence
, vol.77
, pp. 321-357
-
-
Dung, P.M.1
-
14
-
-
84880823658
-
Protocol conformance for logic-based agents
-
International Joint Conference on Artificial Intelligence, pp
-
Endriss, U., Maudet, N., Sadri, F., Toni, F.: Protocol conformance for logic-based agents. In: Proceedings of the 18th International Joint Conference on Artificial Intelligence, pp. 679-684 (2003)
-
(2003)
Proceedings of the 18th
, pp. 679-684
-
-
Endriss, U.1
Maudet, N.2
Sadri, F.3
Toni, F.4
-
15
-
-
59049100192
-
-
Computational Intelligence Journal
-
Fisher, M., Bordini, R.H., Hirsch, B., Torroni, P.: Computational logics and agents: a roadmap of current technologies and future trends. Computational Intelligence Journal (2006)
-
(2006)
Computational logics and agents: A roadmap of current technologies and future trends
-
-
Fisher, M.1
Bordini, R.H.2
Hirsch, B.3
Torroni, P.4
-
16
-
-
0001951331
-
A Catalog of Complexity Classes
-
ch. 2, Elsevier Science Publishers, Amsterdam
-
Johnson, D.S.: A Catalog of Complexity Classes. In: Handbook of Theoretical Computer Science, ch. 2, Elsevier Science Publishers, Amsterdam (1990)
-
(1990)
Handbook of Theoretical Computer Science
-
-
Johnson, D.S.1
-
17
-
-
33745739343
-
-
Hayashi, H., Tokura, S., Hasegawa, T., Ozaki, F.: Dynagent: An Incremental Forward-Chaining HTN Planning Agent in Dynamic Domains. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS (LNAI), 3904, pp. 171-187. Springer, Heidelberg (2006)
-
Hayashi, H., Tokura, S., Hasegawa, T., Ozaki, F.: Dynagent: An Incremental Forward-Chaining HTN Planning Agent in Dynamic Domains. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS (LNAI), vol. 3904, pp. 171-187. Springer, Heidelberg (2006)
-
-
-
-
18
-
-
26844512585
-
-
Kakas, A.C., Maudet, N., Moraïtis, P.: Layered Strategies and Protocols for Argumentation-Based Agent Interaction. In: Rahwan, I., Moraïtis, P., Reed, C. (eds.) ArgMAS 2004. LNCS, 3366, pp. 64-77. Springer, Heidelberg (2005)
-
Kakas, A.C., Maudet, N., Moraïtis, P.: Layered Strategies and Protocols for Argumentation-Based Agent Interaction. In: Rahwan, I., Moraïtis, P., Reed, C. (eds.) ArgMAS 2004. LNCS, vol. 3366, pp. 64-77. Springer, Heidelberg (2005)
-
-
-
-
19
-
-
23244459667
-
-
Moreira, Á.F., Vieira, R., Bordini, R.H.: Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), 2990, pp. 135-154. Springer, Heidelberg (2004)
-
Moreira, Á.F., Vieira, R., Bordini, R.H.: Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol. 2990, pp. 135-154. Springer, Heidelberg (2004)
-
-
-
-
20
-
-
0036569738
-
Explanation and argumentation capabilities: Towards the creation of more persuasive agents
-
Moulin, B., Irandoust, I., Bélanger, M., Desbordes, G.: Explanation and argumentation capabilities: towards the creation of more persuasive agents. Artificial Intelligence Review 17(3), 169-222 (2002)
-
(2002)
Artificial Intelligence Review
, vol.17
, Issue.3
, pp. 169-222
-
-
Moulin, B.1
Irandoust, I.2
Bélanger, M.3
Desbordes, G.4
-
21
-
-
84880665976
-
SHOP: Simple Hierarchical Ordered Planner
-
Nau, D.S., Cao, Y., Lotem, A., Munoz-Avila, H.: SHOP: Simple Hierarchical Ordered Planner. In: IJCAI 1999, pp. 968-975 (1999)
-
(1999)
IJCAI 1999
, pp. 968-975
-
-
Nau, D.S.1
Cao, Y.2
Lotem, A.3
Munoz-Avila, H.4
-
22
-
-
59849129486
-
-
Nigam, V., Leite, J.: A Dynamic Logic Programming Based System for Agents with Declarative Goals. In: Baldoni, M., Endriss, U. (eds.) DALT 2006. LNCS (LNAI), 4327, pp. 174-190. Springer, Heidelberg (2006)
-
Nigam, V., Leite, J.: A Dynamic Logic Programming Based System for Agents with Declarative Goals. In: Baldoni, M., Endriss, U. (eds.) DALT 2006. LNCS (LNAI), vol. 4327, pp. 174-190. Springer, Heidelberg (2006)
-
-
-
-
24
-
-
34249728989
-
Anticipation and Anticipatory Behavior: Editorial
-
Pezzulo, G., Falcone, R., Hoffmann, J.: Anticipation and Anticipatory Behavior: Editorial. Cognitive Processing 8(2), 67-70 (2007)
-
(2007)
Cognitive Processing
, vol.8
, Issue.2
, pp. 67-70
-
-
Pezzulo, G.1
Falcone, R.2
Hoffmann, J.3
-
26
-
-
74449090673
-
-
Sardina, S., De Giacomo, G., Lesperance, Y., Levesque, H.: On the Limits of Planning over Belief States under Strict Uncertainty. In: Proceedings of the KR 2006 Conference, June 2006, pp. 463-471 (2006)
-
Sardina, S., De Giacomo, G., Lesperance, Y., Levesque, H.: On the Limits of Planning over Belief States under Strict Uncertainty. In: Proceedings of the KR 2006 Conference, June 2006, pp. 463-471 (2006)
-
-
-
-
27
-
-
84880859972
-
Dynamic interactions between goals and beliefs
-
Hyderabad, India, pp
-
Shapiro, S., Brewka, G.: Dynamic interactions between goals and beliefs. In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI 2007), Hyderabad, India, pp. 2625-2630 (2007)
-
(2007)
Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI
, pp. 2625-2630
-
-
Shapiro, S.1
Brewka, G.2
-
28
-
-
34447283274
-
Goal change
-
Denver, CO, pp
-
Shapiro, S., Lesperance, Y., Levesque, H.: Goal change. In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI 2005), Denver, CO, pp. 582-588 (2005)
-
(2005)
Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI
, pp. 582-588
-
-
Shapiro, S.1
Lesperance, Y.2
Levesque, H.3
-
29
-
-
0003197674
-
-
Dignum, F, Greaves, M, eds, Issues in Agent Communication, pp
-
Singh, M.P.: A social semantics for agent communication language. In: Dignum, F., Greaves, M. (eds.) Issues in Agent Communication, pp. 31-45 (2000)
-
(2000)
A social semantics for agent communication language
, pp. 31-45
-
-
Singh, M.P.1
-
30
-
-
84943262087
-
Desiging Conversation Policies using Joint Intention Theory
-
IEEE Press, Los Alamitos
-
Smith, I., Cohen, P., Bradshaw, J., Greaves, M., Holmback, H.: Desiging Conversation Policies using Joint Intention Theory. In: Proc. ICMAS 1998, pp. 269-276. IEEE Press, Los Alamitos (1998)
-
(1998)
Proc. ICMAS
, pp. 269-276
-
-
Smith, I.1
Cohen, P.2
Bradshaw, J.3
Greaves, M.4
Holmback, H.5
-
31
-
-
59049107526
-
-
Toni, F., Torroni, P.: Computational Logic in Multi-Agent Systems. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS (LNAI), 3900. Springer, Heidelberg (2006)
-
Toni, F., Torroni, P.: Computational Logic in Multi-Agent Systems. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS (LNAI), vol. 3900. Springer, Heidelberg (2006)
-
-
-
-
32
-
-
36849037446
-
Argumentation in the Semantic Web
-
Torroni, P., Gavanelli, M., Chesani, F.: Argumentation in the Semantic Web. IEEE Intelligent Systems 22(6), 66-74 (2007)
-
(2007)
IEEE Intelligent Systems
, vol.22
, Issue.6
, pp. 66-74
-
-
Torroni, P.1
Gavanelli, M.2
Chesani, F.3
-
33
-
-
34247278817
-
A logic for strategic reasoning
-
ACM Inc, New York
-
van der Hoek, W., Jamroga, W., Wooldridge, M.: A logic for strategic reasoning. In: Proceedings of the International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2005), pp. 157-164. ACM Inc., New York (2005)
-
(2005)
Proceedings of the International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS
, pp. 157-164
-
-
van der Hoek, W.1
Jamroga, W.2
Wooldridge, M.3
-
35
-
-
33645815884
-
-
van Riemsdijk, M.B., Dastani, M., Dignum, F.P.M., Meyer, J.-J.C: Dynamics of Declarative Goals in Agent Programming. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), 3476, pp. 1-18. Springer, Heidelberg (2005)
-
van Riemsdijk, M.B., Dastani, M., Dignum, F.P.M., Meyer, J.-J.C: Dynamics of Declarative Goals in Agent Programming. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, pp. 1-18. Springer, Heidelberg (2005)
-
-
-
-
36
-
-
59049104928
-
-
van Riemsdijk, B., Dastani, M., Meyer, J.-J.: Semantics of declarative goals in agent programming. In: AAMAS 2005, pp. 133-140 (2005)
-
van Riemsdijk, B., Dastani, M., Meyer, J.-J.: Semantics of declarative goals in agent programming. In: AAMAS 2005, pp. 133-140 (2005)
-
-
-
-
37
-
-
59049100073
-
-
Winikoff, M., Padgham, L., Harland, J., Thangarajah, J.: Declarative and Procedural Goals in Intelligent Agent Systems. In: KR 2002. Morgan Kaufmann, San Francisco (2002)
-
Winikoff, M., Padgham, L., Harland, J., Thangarajah, J.: Declarative and Procedural Goals in Intelligent Agent Systems. In: KR 2002. Morgan Kaufmann, San Francisco (2002)
-
-
-
-
38
-
-
3843082776
-
Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols
-
Yolum, P., Singh, M.P.: Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols. Annals of Mathematics and Artificial Intelligence 42(1-3), 227-253 (2004)
-
(2004)
Annals of Mathematics and Artificial Intelligence
, vol.42
, Issue.1-3
, pp. 227-253
-
-
Yolum, P.1
Singh, M.P.2
|