-
1
-
-
0000672836
-
Deontic logic
-
D.M. Gabbay and F. Guenthner, editors Reidel
-
L. Åqvist. Deontic logic. In D.M. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic II, pages 605-714. Reidel, 1984.
-
(1984)
Handbook of Philosophical Logic II
, pp. 605-714
-
-
Åqvist, L.1
-
2
-
-
58049086269
-
-
Institute for New Generation Computer Technology, Tokyo JAPAN
-
T. Chikayama. KLIC User's Manual. Institute for New Generation Computer Technology, Tokyo JAPAN, 1995.
-
(1995)
KLIC User's Manual
-
-
Chikayama, T.1
-
4
-
-
0041678153
-
-
Ph.D. thesis, Department of Computer Science, Imperial College London
-
A. Davison. Polka: A Parlog object-oriented language, Ph.D. thesis, Department of Computer Science, Imperial College London, 1989.
-
(1989)
Polka: A Parlog object-oriented language
-
-
Davison, A.1
-
5
-
-
0001273055
-
Dynamic logic
-
editors D.M. Gabbay, F. Guenthner Reidel
-
D. Harel. Dynamic Logic. In Handbook of Philosophical Logic II, editors D.M. Gabbay, F. Guenthner; pages 497-694. Reidel 1984.
-
(1984)
Handbook of Philosophical Logic II
, pp. 497-694
-
-
Harel, D.1
-
8
-
-
84867471744
-
Animation of system specifications using concurrent logic programming
-
Aix-en-Provence, France
-
P. Letelier, P. Sánchez and I. Ramos. Animation of system specifications using concurrent logic programming. Symposium on Logical Approaches to Agent Modeling and Design, ESSLLI'97, Aix-en-Provence, France, 1997.
-
(1997)
Symposium on Logical Approaches to Agent Modeling and Design, ESSLLI'97
-
-
Letelier, P.1
Sánchez, P.2
Ramos, I.3
-
9
-
-
84867457587
-
OASIS 3.0: Un enfoque formal para el modelado conceptual orientado a objeto
-
Servicio de Publicaciones Universidad Politécnica de Valencia
-
P. Letelier, I. Ramos, P. Sánchez and O. Pastor. OASIS 3.0: Un enfoque formal para el modelado conceptual orientado a objeto. SPUPV-98.4011, Servicio de Publicaciones Universidad Politécnica de Valencia, 1998.
-
(1998)
SPUPV-98.4011
-
-
Letelier, P.1
Ramos, I.2
Sánchez, P.3
Pastor, O.4
-
11
-
-
84972542053
-
A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
-
J.-J. Ch. Meyer. A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. In Notre Dame Journal of Formal Logic, vol.29, pages 109-136, 1988.
-
(1988)
Notre Dame Journal of Formal Logic
, vol.29
, pp. 109-136
-
-
Meyer, J.-J.Ch.1
-
15
-
-
84867449972
-
A proposal for a scenario classification framework
-
C. Rolland, C. Ben Achour, C. Cauvet, J. Ralyté, A. Sutcliffe, N.A.M. Maiden, M. Jarke, P. Haumer, K. Pohl, E. Dubois and P. Heymans. A Proposal for a Scenario Classification Framework, Technical Report CREWS 96-01, http://sunsite.informatik.rwth-aachen.de/CREWS/reports96.htm.
-
Technical Report CREWS 96-01
-
-
Rolland, C.1
Ben Achour, C.2
Cauvet, C.3
Ralyté, J.4
Sutcliffe, A.5
Maiden, N.A.M.6
Jarke, M.7
Haumer, P.8
Pohl, K.9
Dubois, E.10
Heymans, P.11
-
16
-
-
0031332704
-
Constructs for prototyping information systems using object Petri Nets
-
Orlando, USA
-
P. Sánchez, P. Letelier and I. Ramos. Constructs for Prototyping Information Systems using Object Petri Nets, Proc. of IEEE International Conference on System Man and Cybernetics, pages 4260-4265, Orlando, USA, 1997.
-
(1997)
Proc. of IEEE International Conference on System Man and Cybernetics
, pp. 4260-4265
-
-
Sánchez, P.1
Letelier, P.2
Ramos, I.3
-
17
-
-
0004029755
-
Object oriented programming in concurrent prolog
-
E. Shapiro and A. Takeuchi. Object oriented programming in concurrent prolog, en New Generation Computing, vol.1, pages 25-48, 1983.
-
(1983)
New Generation Computing
, vol.1
, pp. 25-48
-
-
Shapiro, E.1
Takeuchi, A.2
-
19
-
-
84867475815
-
A'UM: A string based concurrent object-oriented language
-
ICOT
-
K. Yoshida and T. Chikayama. A'UM: A string based concurrent object-oriented language, In Proc. of the Int. Conf. on FGCS, ICOT, pages 638-649, 1988.
-
(1988)
Proc. of the Int.Conf. on FGCS
, pp. 638-649
-
-
Yoshida, K.1
Chikayama, T.2
|