PUBLICATIONS
- Sierra, J. (1996)
Software Agents Require Formal
KL-Models.
Ph.D. thesis.
Artificial Intelligence
Laboratory, Free University of Brussels.
- Sierra, J. (1996)
Software Agents Based on Formal KL-Models. To appear in:
Proceedings of KAW-96, Banff, Canada 1996. There is also an HTML
version
- Sierra, J. (1996)
Knowledge Agents
To appear in: Proceedings of PKAW-96, Sydney, Australia 1996.
- Sierra, J. (1997)
Declarative Formalization of Reasoning Strategies
Status: draft.
- Sierra, J. (1998)
Declarative Formalization of Heuristics
Workshop on Validation & Verification of Knowledge-Based
Systems KBS V&V'98.
- Sierra, J. (1998)
Declarative Formalization of Strategies for Action Selection.
Seventh International Workshop on Nonmonotonic Reasoning NM'98.
Action and Causality.
html,
pdf.
- Sierra, J. (1998)
A Declarative Formalization of STRIPS. Thirteenth
European Conference on Artificial Intelligence, ECAI-98.
html,
pdf.
- Sierra, J. (1999)
Declarative Formalization of Heuristics (Taking Advice in the
Blocksworld). International Conference on Computational Intelligence
for Modelling, Control and Automation CIMCA'99.
PRESENTATIONS