References

1

P.d' Altan, J.-J. Ch. Meyer, and R.J. Wieringa. An integrated framework for ought-to-be and ought-to-do constraints. Technical Report IR-342, Vrije Universiteit, Amsterdam, December 1993. submitted.

2

S. Conrad. A Basic Calculus form verifying properties of Interacting Objects. Internal Report, University of Magdeburg, 1995. (submitted).

3

S. Conrad. Unterstützung des korrektheitszentrierten Entwurfs von Informationssystemen. In G. Lausen, editor, Datenbanksysteme in Büro, Technik und Wissenschaft (BTW'95). Springer-Verlag, 1995. (in German), available as http://max.cs.uni-magdeburg.de/itiall/ftp/papers/db/con95btw.ps.

4

F.P.M. Dignum, J.-J. Ch. Meyer, and R.J. Wieringa. Free choice and contextually permitted actions. Studia Logica, 1995.

5

Philippe Du Bois. Intuitive definition of the Albert II language. Technical report RP-95-007, Computer Science Department, University of Namur, Namur (Belgium), February 1995.

6

Philippe Du Bois. Semantic definition of the Albert II language. Technical report, Computer Science Department, University of Namur, Namur (Belgium), February 1995. available as ftp://ftp.info.fundp.ac.be/pub/publications/RP/RP-95-008.ps.Z.

7

Eric Dubois, Philippe Du Bois, and Jean-Marc Zeippen. A formal requirements engineering method for real-time, concurrent, and distributed systems. In Proc. of ICSE-17 Workshop on Foraml Methods Applications in Software Engineering, Seattle WA, April 24-25, 1995. available as ftp://ftp.info.fundp.ac.be/pub/publications/RP/RP-95-012.ps.Z.

8

Th. Hartmann. Spezifikation und Ausführung von Objektinteraktionen in TROLL. In U. Lipeck and G. Vossen, editors, Workshop Formale Grundlagen für den Entwurf von Informationsystemen, pages 89--95. Technical Report 03/94, Pages 89-95, University of Hannover, 1994. (in German).

9

Th. Hartmann and G. Saake. Prototypische Ausführung von Objektinteraktionen für die Spezifikationssprache TROLL. In F. Simon, editor, Workshop Deklarative Programmierung und Spezifikation, pages 56--59. Technical Report No. 9412, University of Kiel, 1994. (in German).

10

W. van der Hoek, B. van Linder, and J.-J. Ch. Meyer. A logic of capabilities. In A. Nerode and Yu.V. Matiyasevich, editors, Proceedings of the Third International Symposium on the Logical Foundations of Computer Science (LFCS'94), volume 813 of Lecture Notes in Computer Science, pages 366--378. Springer Verlag, 1994.

11

W. van der Hoek, B. van Linder, and J.-J. Ch. Meyer. Unravelling nondeterminism: On having the ability to choose (extended abstract). In P. Jorrand and V. Sgurev, editors, Proceedings of the Sixth International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA'94), pages 163--172. World Scientific, 1994.

12

Y.-H. Tan J.-F. Raskin and L.W.N. van der Torre. Modeling deontic states in petri nets. In Proceedings of the Seventh Dutch AI Conference, NAIC-95, Rotterdam, The Netherlands, June 1995. Also report WP 94.12.01.

13

J.Fiadeiro and T.Maibaum. Sometimes 'tomorrow' is 'sometime': Action refinement in a temporal logic of objects. In D.M.Gabbay and H.J.Ohlbach, editors, Temporal Logic, Lecture Notes in Artificial Intelligence 827, pages 48--66. Springer-Verlag, 1994. available as http://www.di.fc.ul.pt/llf/ictl.ps.gz.

14

B. van Linder, W. van der Hoek, and J.-J. Ch. Meyer. Communicating rational agents. In B. Nebel and L. Dreschler-Fischer, editors, KI-94: Advances in Artificial Intelligence, volume 861 of Lecture Notes in Computer Science (subseries LNAI), pages 202--213. Springer Verlag, 1994.

15

B. van Linder, W. van der Hoek, and J.-J. Ch. Meyer. Tests as epistemic updates. In A.G. Cohn, editor, Proceedings of the 11th European Conference on Artificial Intelligence (ECAI'94), pages 331--335. John Wiley & Sons, 1994.

16

Gert-Jan Lokhorst. Extensional deontic logics of action and their implementation. In Proceedings of the second international workshop on deontic logic in computer science (eon-94), Oslo, Norway, 1994. An extended and revised version will appear in Studia Logica.

17

J.-J. Ch. Meyer, F.P.M. Dignum, and R.J. Wieringa. The paradoxes of deontic logic revisited: A computer science perspective. Technical Report UU-CS-1994-38, Utrecht University, September 1994.

18

N.Barreiro, J.Fiadeiro, and T.Maibaum. Politeness in object societies. In R. Wieringa and R. Feenstra, editors, Information Systems: Correctness and Reuse. World Scientific Publishing Co., 1995. available as http://www.di.fc.ul.pt/llf/iscore.ps.gz.

19

G. Saake, S. Conrad, and C. Türker. From Object Specification towards Agent Design. Internal Report, University of Magdeburg, 1995. (submitted).

20

G. Saake, A. Sernadas, and C. Sernadas. Evolving Object Specifications. In R. Wieringa and R. Feenstra, editors, Selected Papers of the Int. Workshop on Information Systems - Correctness and Reusability (IS-CORE'94). World Scientific Publishing, 1995. available as http://max.cs.uni-magdeburg.de/itiall/ftp/papers/sss95.ps.gz.

• SG3: Norm-Governed Interaction in Organisations
  • Introduction
  • Activities
  • Results
  • Members