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.