WASP -- Web Agent Support Program

BIJLAGE II: References AI

  1. 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
  2. Hoek W. van der, Meyer J.-J., Treur J., Formal semantics of temporal epistemic reflection, In: L. Fribourg and F. Turini (ed.), Logic Program Synthesis and Transformation-Meta-Programming in Logic, Proc. Fourth Int. Workshop on Meta-programming in Logic, META'94, Lecture Notes in Computer Science, vol. 883, Springer Verlag, 1994, pp. 332-352.
  3. Hoek W. van der, Meyer J.-J.Ch., Treur J.; Temporalizing Epistemic Default Logic; R.B. Feenstra, R. Wieringa (eds.), Information Systems-Correctness and Reusability. Selected papers from the IS-CORE-95 Workshop, World Scientific Publishers, 1995, pp. 173-190.
  4. 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.
  5. 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, 1996, to appear
  6. B. Dunin-Keplicz, L.C. Verbrugge, Collective commitments, Proc. of the Second Int. Conference on Multi-Agent Systems, ICMAS'96, MIT Press, 1996, to appear
  7. Harmelen, F. van and Aben, M., Applying rule-base anomalies to KADS inference structures; In: R. Gamble (ed.), Proceedings of the IJCAI'95 Workshop on Validation and Verification of Knowledge-Based Systems, 1995.
  8. Treur J., Willems M., A logical foundation for verification. In: A.G. Cohn (ed.), Proc. of the 11th European Conference on Artificial Intelligence, ECAI'94. John Wiley \& Sons, Chichester, 1994, pp. 745-749.
  9. Treur J., Willems M.; Formal Notions for Verification of Dynamics of Knowledge-Based Systems; M. Ayel and M.-C. Rousset (eds.), Proc. of EUROVAV-95, European Symposium on the Validation and Verification of Knowledge-Based Systems, ADERIAS-LIA, Chamb\'ery, France, 1995, pp. 189-199.
  10. Brazier F.M.T., Langen P.H.G. van, Treur J.; A logical theory of design; J.S. Gero and F. Sudweeks (eds.), Proc. IFIP WG5.2 Workshop on Formal Design Methods for CAD, Chapman and Hall, 1996, to appear


mailto:eliens@cs.vu.nl ( Thu Sep 26 14:04:07 MET DST 1996 )