-
2
-
-
84977323324
-
Seeing to it that: A canonical form for agentives
-
N. Belnap and M. Perloff, Seeing to it that: A canonical form for agentives. Theoria, 54: 175-199, 1988.
-
(1988)
Theoria
, vol.54
, pp. 175-199
-
-
Belnap, N.1
Perloff, M.2
-
3
-
-
85053154031
-
Doing as we ought: Towards a logic of simply dischargeable obligations
-
Deontic Logic, Agency and Normative Systems, eds. M. Brown and J. Carmo, 3rd Int. Workshop on Deontic Logic in Computer Science, January
-
M. Brown, Doing As We Ought: Towards a Logic of Simply Dischargeable Obligations, in Deontic Logic, Agency and Normative Systems, eds. M. Brown and J. Carmo, Proceedings of DEON'96, 3rd Int. Workshop on Deontic Logic in Computer Science, January 1996.
-
(1996)
Proceedings of DEON'96
-
-
Brown, M.1
-
6
-
-
0042378506
-
Combining agency with obligation (preliminary version)
-
eds. M. Brown and J. Carmo, Proceedings of DEON'98, 3rd Int. Workshop on Deontic Logic in Computer Science, January
-
J. Horty, Combining Agency with Obligation (Preliminary Version), in Deontic Logic, Agency and Normative Systems, eds. M. Brown and J. Carmo, Proceedings of DEON'98, 3rd Int. Workshop on Deontic Logic in Computer Science, January 1996.
-
(1996)
Deontic Logic, Agency and Normative Systems
-
-
Horty, J.1
-
7
-
-
85053156022
-
-
ISO/IEC IS 10746-2. International Standard 107462, Reference Model-: Foundations, January 1995
-
ISO/IEC IS 10746-2. International Standard 107462, ITU-T Recommendation X.902: Open Distributed Processing Reference Model-Part 2: Foundations, January 1995.
-
ITU-T Recommendation X.902: Open Distributed Processing
-
-
-
10
-
-
0031373615
-
A policy based role object model
-
Gold Coast, Australia, October
-
E. Lupu, M. Sloman, A Policy Based Role Object Model, in Proc. 1st International Workshop on Enterprise Distributed Object Computing (EDOC'97), pp 36-47, Gold Coast, Australia, October 1997.
-
(1997)
Proc. 1st International Workshop on Enterprise Distributed Object Computing (EDOC'97)
, pp. 36-47
-
-
Lupu, E.1
Sloman, M.2
-
11
-
-
0003344550
-
The role of deontic logic in the specification of information systems
-
chapter 2 in Eds J Chomicki and G Saake, Kluwer
-
J-J Ch Meyer, R.J. Wieringa and F.P.M Dignum, The role of Deontic Logic in the Specification of Information Systems, chapter 2 in "Logics for Databases and Information Systems", Eds J Chomicki and G Saake, Kluwer, 1998.
-
(1998)
Logics for Databases and Information Systems
-
-
Meyer, J.-J.C.1
Wieringa, R.J.2
Dignum, F.P.M.3
-
12
-
-
0029206301
-
Supporting business contracts in open distributed systems
-
Whistler, Canada, IEEE Computer Society Press, June
-
Z. Milosevic, A. Berry, A. Bond, K. Raymond. Supporting Business Contracts in Open Distributed Systems, In Proceedings of the 2nd International Workshop on Services in Distributed and Networked Environments (SDNE'95), pages 60-67, Whistler, Canada, IEEE Computer Society Press, June 1995.
-
(1995)
Proceedings of the 2nd International Workshop on Services in Distributed and Networked Environments (SDNE'95)
, pp. 60-67
-
-
Milosevic, Z.1
Berry, A.2
Bond, A.3
Raymond, K.4
-
15
-
-
0003950990
-
-
Object Management Group, OMG ad/97-08-{02-09}, August
-
Object Management Group, Unified Modelling Language, OMG ad/97-08-{02-09}, August 1997.
-
(1997)
Unified Modelling Language
-
-
-
16
-
-
0004339192
-
-
Object Management Group, OMG formal/98-02-01
-
Object Management Group, CORBA/IIOP 2.2 Specification, OMG formal/98-02-01.
-
CORBA/IIOP 2.2 Specification
-
-
-
18
-
-
0031335087
-
Machine responsibility-how to deal with it
-
Gold Coast, Australia, October
-
S. Tyndale-Biscoe, B. Wood "Machine Responsibility-How to deal with it" in Proc. 1st International Workshop on Enterprise Distributed Object Computing (EDOC'97), pp 36-47, Gold Coast, Australia, October 1997.
-
(1997)
Proc. 1st International Workshop on Enterprise Distributed Object Computing (EDOC'97)
, pp. 36-47
-
-
Tyndale-Biscoe, S.1
Wood, B.2
|