Investigación / 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 published 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-Santibáñez. 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-Santibáñez. Declarative formalization of strategies for action selection. In Proceedings of the Seventh International Workshop on Non-monotonic Reasoning, pages 21-29, 1998.
• J. Sierra-Santibáñez. 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-Santibáñez. 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-Santibáñez. 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-Santibáñez. 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-Santibáñez. 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-Santibáñez. Declarative formalization of reasoning strategies: A case study on heuristic nonlinear planning, Annals of Mathematics and Artificial Intelligence 39 (61-100), 2003,
• J. Sierra-Santibáñez. Heuristic planning: A declarative approach based on strategies for action selection. Artificial Intelligence 153(1-2), pages 307-337, 2004.

Former publications and presentations

• 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

• Introducción a la Lógica
  • G10
  • G50

• Programación I

FIB