References

Support
A.T.M. Aerts, P.M.E. De Bra and J.T. De Munk, Supporting Hyperdocuments on World Wide Web, Proceedings of the Interdisciplinary Conference on "Informatiewetenschap", Delft, 1996.
Tasks
Brazier, F.M.T., Treur, J., Wijngaards, N.J.E., and Willems, M. Formal specification of hierarchically (de)composed tasks. In: Gaines, B.R. and Musen, M. (eds.), Proc. of the 9th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, University of Calgary, 1995.
Multiagents
Brazier, F.M.T., Dunin Keplicz, B., Jennings, N. and Treur, J., Formal specification of multi-agent systems: a real world case. In: Lesser, V. (ed.). Proc. 1st International Conference on Multi-Agent Systems ICMAS 95. pp. 25-32. AAAI Press, Menlo Park, 1995.
Modeling
F.M.T. Brazier, B. Dunin-Keplicz, N. Jennings and J. Treur, Modelling distributed industrial processes in a multi-agent framework, In: G. O' Hare and S. Kirn (eds.), Towards the Intelligent Organisation - The Coordination Perspective, Springer Verlag, 1996
Compositional
Brazier, F.M.T., Dunin Keplicz, B., Jennings, N. and Treur, J., DESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework. International Journal of Cooperative Information Systems vol. 6, M. Huhns, M. Singh (eds.), Special Issue on Formal Methods in Cooperative Information Systems: Multi-Agent Systems, 1997.
ModelAge96
F.M.T. Brazier, P.A.T. van Eck, J. Treur, Modelling cooperative behaviour for resource access in a compositional multi-agent environment, Proc. MODELAGE'96 Workshop, Portugal
ModelAge97
F.M.T. Brazier, B. Dunin Keplicz, J. Treur, R. Verbrugge, Modelling internal dynamic behaviour of BDI agents. Proc. MODELAGE'97 Workshop, Italy
ATAL96
Brazier, F.M.T., Jonker, C.M., Treur, J., Formalisation of a cooperation model based on joint intentions, In: J. Muller, M. Wooldridge, N.R. Jennings (eds.), Intelligent Agents III, (Proc. Third Int. Workshop on Agent Theories, Architectures and Languages, ATAL'96), Lecture Notes in AI, Springer Verlag, 1997, to appear
KAW96
Brazier, F.M.T., Treur, J., Wijngaards, N.J.E.,Willems, M., Temporal Semantics of Complex Reasoning Tasks. In: B. Gaines, M. Musen (eds.), Proc. 10th Banff Knowledge Acquisition Workshop, KAW'96, University of Calgary, 1996
User
F.M.T. Brazier, J. Treur, N.J.E. Wijngaards, Modelling Interaction with Experts: the Role of a Shared Task Model, In: W. Wahlster (ed.), Proc. European Conference on AI, ECAI'96, John Wiley and Sons, 1996
Cooperation
F.M.T. Brazier, C.M. Jonker, J. Treur, Modelling Project Coordination in a Multi-Agent Framework. Proc. Fifth Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE'96), IEEE Computer Society Press, 1996
Tower
P. De Bra, G.J. Houben, Y. Kornatzky, An Extensible Data Model for Hyperdocuments, Proc. 4-th ACM Conf. on Hypertext, pp. 222-231, 1992. Also at: http://www.win.tue.nl/~debra/echt92/final.ps
Browsing
P. De Bra, G.J. Houben, Y. Kornatzky, A Formal Approach to Analyzing the Browsing Semantics of Hypertext, Proc. CSN-94 Conference, pp. 78-89, 1994. Also at: http://www.win.tue.nl/~debra/csn94/csn94.ps
Bra
P. De Bra, G.J. Houben, Y. Kornatzky, R. Post, Information Retrieval in Distributed Hypertexts, Proc. RIAO-94 Conference, pp. 481-492, New York, 1994. Also at: http://www.win.tue.nl/~debra/riao94/explore.ps
Dress
P.M.E. de Bra and A. Aerts, Multi-user publishing in the Web: DreSS, a document repository service station, Proc. NLUUG Autumn Conference "Publishing on the World Wide Web", pp. 13-26, 1995. Also at: http://www.win.tue.nl/~debra/dress/dress-paper.html
Fish
P.M.E. de Bra and R.D.J. Post, Searching for arbitrary information in the WWW: the Fish-search for Mosaic, (on-line) Proc. 2nd Int. World Wide Web Conf., 1994. Available at: http://www.ncsa.uiuc.edu/SDG/IT94/Proceedings/Searching/debra/article.html
Search
P.M.E. de Bra and R.D.J. Post, Information retrieval in the World-Wide Web: making client-based searching feasible Proc. of the 1st Int. World Wide Web Conf., Journal on Computer Networks and ISDN Systems, No 27, pp. 183-192, Elsevier, 1994. Also at http://www.cern.ch/PapersWWW94/reinpost.ps
Applications
M. van Doorn and A. Eliëns, Integrating WWW and Applications, Proc. of the 3th Int. World Wide Web Conf. -- Technology, Tools and Applications, Computer Networks and ISDN systems, Vol 27. No 6, Elsevier, 1995, pp. 1105-1110, Also at http://www.igd.fhg.de/www/www95/proceedings/papers/48/main.html
Compositional
Dunin-Keplicz, B. and Treur, J., Compositional formal specification of multi-agent systems. In: Wooldridge, M. and Jennings, N.R. (eds.) Intelligent Agents. Lecture Notes in Artificial Intelligence, Vol. 890, Springer-Verlag, pp. 102-117, 1995.
ICMAS96
B. Dunin-Keplicz, L.C. Verbrugge, Collective commitments, Proc. of the Second International Conference on Multi-Agent Systems, ICMAS'96, MIT Press, 1996
DLP
A. Eliëns, DLP - A language for distributed logic programming, Wiley (1992)
OO
A. Eliëns, Principles of Object-Oriented Software Development, Addison-Wesley (1995)
Hush
A. Eliëns, Hush -- a C++ API for Tcl/Tk, The X Resource, Issue 14, April 1995, pp. 111-155
Animate
A. Eliëns, J.R. van Ossenbruggen, S.P.C. Schönhage, Animating the Web -- an SGML-based approach Proc. Int. Conf. on 3D and Multimedia on the Internet, WWW and Network, Bradford, 17-18 April 1996, Britisch Computer Society
JELIA94
J. Engelfriet, J. Treur, Temporal Theories of Reasoning. In: C. MacNish, D.Pearce, L.M. Pereira (eds.), Logics in Artifical Intelligence, Proceedings JELIA 94, Lecture Notes in Artificial Intelligence, Vol. 838, Springer-Verlag, 1994, pp. 279-299. Also in: Journal of Applied Non-Classical Logics 5(2), 1995, pp. 239-261.
ECAI94
Gavrila, I.S. and Treur, J. A formal model for the dynamics of compositional reasoning systems, In A.G. Cohn (ed.), Proc. 11th European Conference on Artificial Intelligence, ECAI'94 , John Wiley & Sons, Chichester, 1994, pp. 307-311.
Desire
Langevelde, I.A. van, Philipsen, A.W. and Treur, J., Formal specification of compositional architectures. In: B. Neumann (ed.) Proc. 10th European Conference on Artificial Intelligence, ECAI'92, John Wiley and Sons, Chichester, 1992, pp. 272-276.
OODB
J.T. de Munk, A.T.M. Aerts, P.M.E. De Bra, OODB Support for WWW Applications: Disclosing the internal structure of Hyperdocuments, TUE Computing Science Reports No. 96-08, ISSN 0926-4515, 1996. Also at: http://www.win.tue.nl/~wsinatma/dbswww.html
Music
J.R. van Ossenbruggen and A. Eliëns, Bringing Music to the Web, Proc. of the 4th Int. World Wide Web Conference '95 -- The Web revolution, World Wide Web Journal, O'Reilly and Assoc., Inc., pp. 309-314, Also at http://www.w3.org/pub/Conferences/WWW4/Papers/143/
Logical
Treur, J. and Willems, M., A logical foundation for verification. In: Cohn, A.G. (ed.) Proc. of the 11th European Conf. on AI, ECAI'94. pp. 745-749, John Wiley & Sons, Chichester, 1994.
Verification
Treur, J. and Willems, M., Formal notions for verification of dynamics of knowledge-based systems. In: Ayel, M. and Rousset, M.C. (eds.) Proc. of the European Symp. on the Validation and Verification of Knowledge-Based Systems EUROVAV'95. pp. 189-199. Chambery: ADERIAS-LIA, 1995.
META94
Treur J., Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning. In: L. Fribourg and F. Turini (ed.), Logic Program Synthesis and Transformation-Meta-Programming in Logic, Proceedings of the Fourth International Workshop on Meta-Programming in Logic, META'94. Springer Verlag, Lecture Notes in Computer Science, vol. 883, 1994, pp. 353-376.
VE95
C. Visser and A. Eliëns, A Language System Architecture for the Interoperability of Distributed Multi-Paradigm Objects, European Research Seminar on Advances in Distributed Systems, L'Alpe d'Huez, April 3-7, 1995
SE
J.C. van Vliet, Software Engineering -- Principles and Practice Wiley (1993)
Chatting
M. van Welie and A. Eliëns, Chatting on the Web ERCIM W4G Workshop, 7-9 febr 1996, GMD St Augustin, Germany (availble at http://www.cs.vu.nl/~martijn/chatting.html
Oasis
F-C. Cheong, Oasis: an agent-oriented programming language for heterogeneous distributed environment, Dissertation Univ. of Michigan, 1992
Internet
F-C. Cheong, Internet Agents: Spiders, Wanderers, Brokers and Bots New Riders, 1996
Softbots
O. Etzioni and D. Weld, A Softbot-based interface to the Web, CACM 37(7), 1994, pp. 72-76
IsIt
S. Franklin and A. Graesser, Is it an Agent, or just a Program?: A taxonomy for autonomous agents, Report Institute of Intelligent Systems, University of Memphis
Software
M.R. Genesereth and S.P. Ketchpel, Software Agents CACM 37(7), 1994, pp. 48-53
Java
J. Gosling and H. McGilton, The Java(tm) Language Environment: A White Paper Sun Microsystems, available at http://java.sun.com/whitePaper/java-whitepaper-1.html
Negro
N. Negroponte Being Digital New Riders, 1995
Architecture
D. Riecken M: An architecture of integrated agents CACM 37(7), 1994, pp. 107-116
Survey
M. Wooldridge and N.R. Jennings Agent Theories, Architectures and Languages: A Survey In: Wooldridge, M. and Jennings, N.R. (eds.) Intelligent Agents, Lecture Notes in AI, Vol. 890, pp. 1-39, Springer- Verlag, 1995.