WASP -- Web Agent Support Program
BIJLAGE II: References AI
- 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
- 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.
- 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.
- 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.
- 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
- 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
-
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.
- 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.
- 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.
- 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
)