Josefina Sierra
Santibáñez
Associate
professor of the
Software
Department (Departamento de Lenguajes y
Sistemas Informáticos), Universidad Politécnica de
Cataluña
Member
of the Formal Reasoning Group,
Computer Science Department,
Stanford University
Universidad
Politécnica de Cataluña, Departamento de Lenguajes y Sistemas
Informáticos, Campus Nord, Omega-S116, C/ Jordi Girona 1-3, 08034
Barcelona.
Tel. 34 93 4134016,
Fax
34 93 4137833
Docencia / Teaching
Consultas:
Martes de 11:00 a 12:00, Miércoles de 11:00 a 15:00 y Jueves de 11:00 a
12:00
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.
Movilidad:
estancias, becas y ayudas