References

1

R.E. Fikes and N.J. Nilsson, `STRIPS: A new approach to the application of theorem proving to problem solving', Artificial Intelligence, 2, 189-208., (1971).

2

M. R. Genesereth and J.Y. Hsu, `Partial programs', Technical Report Logic Group 89-20, Department of Computer Science, Stanford University, (1989).

3

F. Harmelen and J.R. Balder, `(ML) : a formal language for KADS models of expertise', Knowledge Acquisition, 4(1), 127-161, (March 1992). Special issue: The KADS approach to knowledge engineering.

4

V. Lifschitz, `On the semantics of STRIPS', in Proceedings of the Workshop on Reasoning about Actions and Plans, pp. 1-9, (1986).

5

F. Lin, `Applications of the situation calculus to formalizing control and strategic information: The prolog cut operator', in Proceedings of IJCAI-97, pp. 1412-1418, (1997).

6

J. McCarthy, `First order theories of individual concepts and propositions', Machine Intelligence, 9, (1979).

7

J. McCarthy, `Formalization of STRIPS in situation calculus', Technical Report Formal Reasoning Group, Department of Computer Science, Stanford University, (1985).

8

J. McCarthy, Formalizing Common Sense: papers by John McCarthy, Edited by Vladimir Lifschitz, Ablex, Norwood, NJ, 1990.

9

J. McCarthy, `Making robots conscious of their mental states', Technical Report Formal Reasoning Group, Department of Computer Science, Stanford University, (1995).

10

J. McCarthy and P. Hayes, `Some philosophical problems from the standpoint of Artificial Intelligence', Machine Intelligence, 4, 463-502, (1969).

11

N.J. Nilsson, Artificial Intelligence: A New Synthesis, Morgan Kaufmann Publishers, Inc. San Mateo, California, 1998.

12

R. Reiter, `Proving properties of states in the situation calculus', Artificial Intelligence, 64, 337-351, (1993).

13

E. Rich and K. Knight, Artificial Intelligence, Second edition, McGraw-Hill, Inc., 1991.

14

J. Sierra-Santibáñez, Software agents require formal Knowledge Level models, Ph.D. dissertation, Free University of Brussels, 1996.

15

J. Sierra-Santibáñez, `Declarative formalization of reasoning strategies', Technical Report Formal Reasoning Group, Department of Computer Science, Stanford University, (1997).

16

J. Sierra-Santibáñez, `Declarative formalization of heuristics', in International Workshop Validation and Verification of Knowledge Based Systems, (1998).

17

J. Sierra-Santibáñez, `Declarative formalization of strategies for action selection', in Seventh International Workshop on Non-monotonic Reasoning, (1998).

18

L. Steels, `The spontaneous self-organization of an adaptive language', Machine Intelligence, 15, (1996).

19

L. Steels and P. Vogt, `Grounding adaptive language games in robotic agents', in Proceedings of the European Conference on Artificial Life. Cambridge, MA. The MIT Press., (1997).