-
1
-
-
13844280318
-
Engineering open environments with electronic institutions
-
J. L. Arcos, M. Esteva, P. Noriega, J. A. Rodríguez, and G. Sierra. Engineering open environments with electronic institutions. Journal on Engineering Applications of Artificial Intelligence, 18(2):191-204, 2005.
-
(2005)
Journal on Engineering Applications of Artificial Intelligence
, vol.18
, Issue.2
, pp. 191-204
-
-
Arcos, J.L.1
Esteva, M.2
Noriega, P.3
Rodríguez, J.A.4
Sierra, G.5
-
2
-
-
26844489002
-
Using social power to enable agents to reason about being part of a group
-
C. Carabelea, O. Boissier, and C. Castelfranchi. Using social power to enable agents to reason about being part of a group. In 5th Internat. Workshop, ESAW 2004, pages 166-177, 2004.
-
(2004)
5th Internat. Workshop, ESAW
, pp. 166-177
-
-
Carabelea, C.1
Boissier, O.2
Castelfranchi, C.3
-
4
-
-
84900064216
-
Design CPN - overview of CPN ML syntax
-
Technical report. University of Aarhus
-
S. Christensen and T. B. Haagh. Design CPN - overview of CPN ML syntax. Technical report. University of Aarhus, 1996.
-
(1996)
-
-
Christensen, S.1
Haagh, T.B.2
-
5
-
-
0010271717
-
Using colored petri nets for conversation modeling
-
London, UK
-
R. S. Cost, Y. Chen, T. W. Finin, Y. Labrou, and Y. Peng. Using colored petri nets for conversation modeling. In Issues in Agent Communication, pages 178-192, London, UK, 2000.
-
(2000)
Issues in Agent Communication
, pp. 178-192
-
-
Cost, R.S.1
Chen, Y.2
Finin, T.W.3
Labrou, Y.4
Peng, Y.5
-
6
-
-
0032682730
-
Autonomous Agents with Norms
-
F. Dignum. Autonomous Agents with Norms. Artificial Intelligence and Law, 7(1):69-79, 1999.
-
(1999)
Artificial Intelligence and Law
, vol.7
, Issue.1
, pp. 69-79
-
-
Dignum, F.1
-
7
-
-
60349116849
-
On the Formal Analysis of Normative Conflicts
-
Oct
-
A. Elhag, J. Breuker, and P. Brouwer. On the Formal Analysis of Normative Conflicts. Information & Comms. Techn. Law, 9(3):207-217, Oct. 2000.
-
(2000)
Information & Comms. Techn. Law
, vol.9
, Issue.3
, pp. 207-217
-
-
Elhag, A.1
Breuker, J.2
Brouwer, P.3
-
8
-
-
35048816078
-
Norm consistency in electronic institutions
-
Springer-Verlag
-
M. Esteva, W. Vasconcelos, C. Sierra, and J. A. Rodriguez-Aguilar. Norm consistency in electronic institutions. volume 3171 (LNAI), pages 494-505. Springer-Verlag, 2004.
-
(2004)
LNAI
, vol.3171
, pp. 494-505
-
-
Esteva, M.1
Vasconcelos, W.2
Sierra, C.3
Rodriguez-Aguilar, J.A.4
-
9
-
-
60349092996
-
-
M. Fitting. First-Order Logic and Automated Theorem Provzng. Springer-Verlag, New York, U.S.A., 1990.
-
M. Fitting. First-Order Logic and Automated Theorem Provzng. Springer-Verlag, New York, U.S.A., 1990.
-
-
-
-
13
-
-
33745762519
-
A Distributed Architecture for Norm-Aware Agent Societies
-
DALT III, Springer
-
A. García-Camino, J.-A. Rodríguez-Aguilar, C. Sierra, and W. Vasconcelos. A Distributed Architecture for Norm-Aware Agent Societies. In DALT III, volume 3904 (LNAI), pages 89-105. Springer, 2006.
-
(2006)
LNAI
, vol.3904
, pp. 89-105
-
-
García-Camino, A.1
Rodríguez-Aguilar, J.-A.2
Sierra, C.3
Vasconcelos, W.4
-
14
-
-
0028315848
-
Multi-language hierarchical logics or: How we can do without modal logics
-
F. Giunchiglia and L. Serafini. Multi-language hierarchical logics or: How we can do without modal logics. Artificial Intelligence, 65(1):29-70, 1994.
-
(1994)
Artificial Intelligence
, vol.65
, Issue.1
, pp. 29-70
-
-
Giunchiglia, F.1
Serafini, L.2
-
18
-
-
0010276660
-
Formalization and pre-validation for interaction protocols in a multi agent systems
-
J.-L. Koning, G. Francois, and Y. Demazeau. Formalization and pre-validation for interaction protocols in a multi agent systems. In ECAI, pages 298-307, 1998.
-
(1998)
ECAI
, pp. 298-307
-
-
Koning, J.-L.1
Francois, G.2
Demazeau, Y.3
-
19
-
-
9944253872
-
Knowledge Representation
-
S. C. Shapiro, editor, John Wiley & Sons
-
B. Kramer and J. Mylopoulos. Knowledge Representation. In S. C. Shapiro, editor, Encyclopedia of Artificial Intelligence, volume 1, pages 743-759. John Wiley & Sons, 1992.
-
(1992)
Encyclopedia of Artificial Intelligence
, vol.1
, pp. 743-759
-
-
Kramer, B.1
Mylopoulos, J.2
-
20
-
-
0242265501
-
A schema-based approach to specifying conversation policies
-
F. Lin, D. H. Norrie, W. Shen, and R. Kremer. A schema-based approach to specifying conversation policies. In Issues in Agent Communication, pages 193-204, 2000.
-
(2000)
Issues in Agent Communication
, pp. 193-204
-
-
Lin, F.1
Norrie, D.H.2
Shen, W.3
Kremer, R.4
-
21
-
-
33845950791
-
Law Governed Interaction (LGI): A Distributed Coordination and Control Mechanism (An Introduction, and a Reference Manual)
-
Technical report, Rutgers University
-
N. Minsky. Law Governed Interaction (LGI): A Distributed Coordination and Control Mechanism (An Introduction, and a Reference Manual). Technical report, Rutgers University, 2005.
-
(2005)
-
-
Minsky, N.1
-
22
-
-
0024645936
-
Petri nets: Properties, analysis and applications
-
T. Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4):541-580, 1989.
-
(1989)
Proceedings of the IEEE
, vol.77
, Issue.4
, pp. 541-580
-
-
Murata, T.1
-
23
-
-
0032089494
-
Agents that reason and negotiate by arguing
-
S. Parsons, C. Sierra, and N. 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.2
Jennings, N.3
-
24
-
-
29844446797
-
Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in MAS
-
A. Ricci and M. Viroli. Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in MAS. Informatica, 29:433-443, 2005.
-
(2005)
Informatica
, vol.29
, pp. 433-443
-
-
Ricci, A.1
Viroli, M.2
-
25
-
-
0342806476
-
Normative conflicts in legal reasoning
-
June
-
G. Sartor. Normative conflicts in legal reasoning. Artificial Intelligence and Law, 1(2-3):209-235, June 1992.
-
(1992)
Artificial Intelligence and Law
, vol.1
, Issue.2-3
, pp. 209-235
-
-
Sartor, G.1
-
26
-
-
85008935532
-
-
M. Sergot. A Computational Theory of Normative Positions. ACM Trans. Corn-put. Logic, 2(4):581-622, 2001.
-
M. Sergot. A Computational Theory of Normative Positions. ACM Trans. Corn-put. Logic, 2(4):581-622, 2001.
-
-
-
-
27
-
-
66249108145
-
Resolving Conflict and Inconsistency in Norm-Regulated Virtual Organisations
-
Hawai'i, USA, IFAAMAS
-
W. W. Vasconcelos, M. Kollingbaum, and T. Norman. Resolving Conflict and Inconsistency in Norm-Regulated Virtual Organisations. In Proceedings of AAMAS '07, Hawai'i, USA, 2007. IFAAMAS.
-
(2007)
Proceedings of AAMAS '07
-
-
Vasconcelos, W.W.1
Kollingbaum, M.2
Norman, T.3
|