Investigacion / Research

I've been working for several years in the area of Knowledge Representation and Reasoning. The following is a non-exhaustive list of papers that I've written on the "Declarative Formalization of Strategies for Action Selection", and the "Symbol Grounding Problem in the Context of the Language Games used in the Talking Heads Experiment":

• J. Sierra-Santibanez. Declarative formalization of strategies for action selection: Applications to planning. In Proceedings of the Seventh European Workshop on Logics in Artificial Intelligence. Lecture Notes in Computer Science, Springe-Verlag, pages 21-35, 2000.
• J. Sierra-Santibanez. Declarative formalization of strategies for action selection. In Proceedings of the Seventh International Workshop on Non-monotonic Reasoning, pages 21-29, 1998.
• J. Sierra-Santibanez. A declarative formalization of STRIPS. In Proceedings of the 13th European Conference on Artificial Intelligence, ECAI-98,  John Wiley & Sons Ltd., pages 509-513, 1998.
• J. Sierra-Santibanez. Grounded models. In Papers from the 2001 AAAI Spring Symposium on Learning Grounded Representations, Technical Report SS-01-05, pages 69-74, 2001.
• J. Sierra-Santibanez. Grounded models as a basis for intuitive reasoning. In Proceedings of the International Joint Conference on Artificial Intelligence, IJCAI 2001, pages 401-406, 2001.
• J. Sierra-Santibanez. Grounded models as a basis for intuitive reasoning: The origins of logical categories. In Papers from the 2001 AAAI Fall Symposium on Anchoring Symbols to Sensor Data in Single and Multiple Robot Systems. Technical Report FS-01-01, pages 101-108, 2001.
• J. Sierra-Santibanez. Grounded models as a basis for intuitive and deductive reasoning: The acquisition of logical categories. In Proceedings of the European Conference on Artificial  Intelligence, ECAI 2002, pages 93-97, 2002.
• J. Sierra-Santibanez. Declarative formalization of reasoning strategies: A case study on heuristic nonlinear planning, Annals of Mathematics and Artificial Intelligence 39 (61-100), 2003,
• J. Sierra-Santibanez. Heuristic planning: A declarative approach based on strategies for action selection. Artificial Intelligence 153(1-2), pages 307-337, 2004.
• J. Sierra-Santibanez (1996) Software Agents Require Formal KL-Models. Ph.D. thesis. Artificial Intelligence Laboratory, Free University of Brussels.
• J. Sierra-Santibanez (1996) Software Agents Based on Formal KL-Models. To appear in: Proceedings of KAW-96, Banff, Canada 1996.
• J. Sierra-Santibanez (1996) Knowledge Agents Proceedings of PKAW-96, Sydney, Australia 1996.
• J. Sierra-Santibanez (1997) Declarative Formalization of Reasoning Strategies Status: draft.
• J. Sierra-Santibanez (1998) Declarative Formalization of Heuristics. Workshop on Validation & Verification of Knowledge-Based Systems KBS V&V'98.
• J. Sierra-Santibanez (1998) Declarative Formalization of Strategies for Action Selection. Seventh International Workshop on Nonmonotonic Reasoning NM'98. Action and Causality. html, pdf.
• J. Sierra-Santibanez (1998) A Declarative Formalization of STRIPS. Thirteenth European Conference on Artificial Intelligence, ECAI-98. html, pdf.
• J. Sierra-Santibanez (1999) Declarative Formalization of Heuristics (Taking Advice in the Blocksworld). International Conference on Computational Intelligence for Modelling, Control and Automation CIMCA'99.

Docencia / Teaching

• Fundamentos de Informatica 

ETSEIAT

UNED

• Programacion I

FIB