-
1
-
-
9444283271
-
Designing a deontic logic of deadlines
-
Lomuscio A, Nute D eds, Springer, Berlin, pp
-
Broersen J, Dignum F, Dignum V (2004) Designing a deontic logic of deadlines. In: Lomuscio A, Nute D (eds) Deontic Logic in Computer Science. Springer, Berlin, pp 43-56
-
(2004)
Deontic Logic in Computer Science
, pp. 43-56
-
-
Broersen, J.1
Dignum, F.2
Dignum, V.3
-
2
-
-
26844476699
-
The micro-macro constitution of power
-
Castelfranchi C (2003) The micro-macro constitution of power. ProtoSociology 18:208-268
-
(2003)
ProtoSociology
, vol.18
, pp. 208-268
-
-
Castelfranchi, C.1
-
3
-
-
0030658435
-
Towards a logical formalization of responsibility
-
ACM Press, New York, pp
-
Cholvy L, Cuppens F, Saure Cl (1997) Towards a logical formalization of responsibility. In: International conference on artificial, intelligence and law. ACM Press, New York, pp 233-242
-
(1997)
International conference on artificial, intelligence and law
, pp. 233-242
-
-
Cholvy, L.1
Cuppens, F.2
Saure, C.3
-
5
-
-
0001860486
-
Designing a family of coordination algorithms
-
Lesser V ed, San Francisco, CA, USA. The MIT Press, Cambridge, MA, USA, pp
-
Decker K, Lesser V (1995) Designing a family of coordination algorithms. In: Lesser V (ed) Proceedings of ICMAS'95, San Francisco, CA, USA. The MIT Press, Cambridge, MA, USA, pp 73-80
-
(1995)
Proceedings of ICMAS'95
, pp. 73-80
-
-
Decker, K.1
Lesser, V.2
-
6
-
-
0032682730
-
Autonomous agents with norms
-
Dignum F (1999) Autonomous agents with norms. Artif Intell Law 7:69-79
-
(1999)
Artif Intell Law
, vol.7
, pp. 69-79
-
-
Dignum, F.1
-
7
-
-
9444282435
-
Negations of transactions and their use in the specification of dynamic and deontic integrity constraints
-
Kwiatkowska M, Shields MW, Thomas RM eds, Springer Verlag, Berlin, pp
-
Dignum F, Meyer J-JCh (1990) Negations of transactions and their use in the specification of dynamic and deontic integrity constraints. In: Kwiatkowska M, Shields MW, Thomas RM (eds) Semantics for concurrency. Springer Verlag, Berlin, pp 61-80
-
(1990)
Semantics for concurrency
, pp. 61-80
-
-
Dignum, F.1
Meyer, J.-J.C.2
-
8
-
-
0008488748
-
A modal approach to intentions commitments and obligations: Intention plus commitment yields obligation
-
Brown MA, Carmo J eds, Springer, London, pp
-
Dignum F, Meyer J-J Ch, Wieringa R, Kuiper R (1996) A modal approach to intentions commitments and obligations: intention plus commitment yields obligation. In: Brown MA, Carmo J (eds) Deontic logic, agency and normative systems. Springer, London, pp 80-97
-
(1996)
Deontic logic, agency and normative systems
, pp. 80-97
-
-
Dignum, F.1
Meyer, J.-J.C.2
Wieringa, R.3
Kuiper, R.4
-
9
-
-
26444543917
-
Meeting the deadline: Why, when and how
-
Hinchey MG, Rash JL, Truszkowski W, Rouff C (eds) Formal approaches to agent-based systems. Third international workshop, FAABS, Greenbelt, MD, USA, April 26-27, Revised Selected Papers, of, Springer, Berlin, pp, 2004
-
Dignum F, Broersen J, Dignum V, Meyer J-J Ch (2004) Meeting the deadline: why, when and how. In: Hinchey MG, Rash JL, Truszkowski W, Rouff C (eds) Formal approaches to agent-based systems. Third international workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004. Revised Selected Papers, volume 3228 of Lecture notes in computer science. Springer, Berlin, pp 30-40
-
(2004)
Lecture notes in computer science
, vol.3228
, pp. 30-40
-
-
Dignum, F.1
Broersen, J.2
Dignum, V.3
Meyer, J.-J.C.4
-
10
-
-
0036355546
-
Evolution of collective commitment during reconfiguration
-
ACM Press, New York, NY, USA, pp
-
Dunin-Keplicz B, Verbrugge R (2002) Evolution of collective commitment during reconfiguration. In: AAMAS '02: proceedings of the first international joint conference on autonomous agents and multiagent systems. ACM Press, New York, NY, USA, pp 1141-1142
-
(2002)
AAMAS '02: Proceedings of the first international joint conference on autonomous agents and multiagent systems
, pp. 1141-1142
-
-
Dunin-Keplicz, B.1
Verbrugge, R.2
-
11
-
-
84937267415
-
Reflections on mathematical sociology
-
Fararo TJ (1997) Reflections on mathematical sociology. Sociol Forum 12:73-101
-
(1997)
Sociol Forum
, vol.12
, pp. 73-101
-
-
Fararo, T.J.1
-
13
-
-
9444266570
-
Collective obligations and agents: Who gets the blame?
-
Lomuscio A, Nute D eds, Springer, Berlin, pp
-
Grossi. D, Dignum. F, Royakkers L, Meyer J-JCh (2004) Collective obligations and agents: who gets the blame? In: Lomuscio A, Nute D (eds) Deontic Logic in Computer Science. Springer, Berlin, pp 129-145
-
(2004)
Deontic Logic in Computer Science
, pp. 129-145
-
-
Grossi, D.1
Dignum, F.2
Royakkers, L.3
Meyer, J.-J.C.4
-
14
-
-
33646562637
-
Foundations of organizational structure in multiagent systems
-
Dignum. F, Dignum V, Koenig S, Kraus S, Singh MP, Woolridge M, eds, ACM Press, New York, pp
-
Grossi D, Dignum F, Dastani M, Royakkers L (2005) Foundations of organizational structure in multiagent systems. In: Dignum. F, Dignum V, Koenig S, Kraus S, Singh MP, Woolridge M. (eds) Proceedings of AAMAS '05. ACM Press, New York, pp 690-697
-
(2005)
Proceedings of AAMAS '05
, pp. 690-697
-
-
Grossi, D.1
Dignum, F.2
Dastani, M.3
Royakkers, L.4
-
15
-
-
0003780715
-
-
Addison-Wesley, London
-
Harary F (1969) Graph theory. Addison-Wesley, London
-
(1969)
Graph theory
-
-
Harary, F.1
-
17
-
-
33644803648
-
A survey of multi-agent organizational, paradigms
-
04-45, University of Massachusetts, May
-
Horling B, Lesser V (2004) A survey of multi-agent organizational, paradigms. Computer science technical report 04-45, University of Massachusetts, May 2004
-
(2004)
Computer science technical report
-
-
Horling, B.1
Lesser, V.2
-
18
-
-
0001276448
-
A formal characterization of institutionalised power
-
Jones AJI, Sergot M (1996) A formal characterization of institutionalised power. J IGPL 3:427-443
-
(1996)
J IGPL
, vol.3
, pp. 427-443
-
-
Jones, A.J.I.1
Sergot, M.2
-
19
-
-
84972542053
-
A different approach, to deontic logic: Deontic logic viewed as a variant of dynamic logic
-
Meyer JJCh (1988) A different approach, to deontic logic: deontic logic viewed as a variant of dynamic logic. Notre Dame J Formal Logic 29(1):109-136
-
(1988)
Notre Dame J Formal Logic
, vol.29
, Issue.1
, pp. 109-136
-
-
Meyer, J.J.C.1
-
20
-
-
4243096590
-
Epistemic logic for AI and computer Science
-
of computer science. Cambridge University Press
-
Meyer J-JCh, van der Hoek W (1995) Epistemic logic for AI and computer Science, vol 41 of Cambridge tracts in theoretical computer science. Cambridge University Press
-
(1995)
Cambridge tracts in theoretical
, vol.41
-
-
Meyer, J.-J.C.1
van der Hoek, W.2
-
24
-
-
0031389334
-
Action concepts for describing organised interaction
-
Sprague RA (ed, IEEE Computer Society Press, Los Alamitos California, pp
-
Santos F, Carmo J, Jones A (1997) Action concepts for describing organised interaction. In: Sprague RA (ed) Thirtieth annual Hawaii international conference on system, sciences. IEEE Computer Society Press, Los Alamitos (California), pp 373-382
-
(1997)
Thirtieth annual Hawaii international conference on system, sciences
, pp. 373-382
-
-
Santos, F.1
Carmo, J.2
Jones, A.3
-
25
-
-
0002162225
-
Foundations of the theory of organization
-
Selznick P (1948) Foundations of the theory of organization. Am Sociol Rev 13:25-35
-
(1948)
Am Sociol Rev
, vol.13
, pp. 25-35
-
-
Selznick, P.1
-
26
-
-
84913402741
-
Mathematical models in sociology
-
Sørensen AB (1978) Mathematical models in sociology. Annu Rev Sociol 4:345-371
-
(1978)
Annu Rev Sociol
, vol.4
, pp. 345-371
-
-
Sørensen, A.B.1
|