Josefina Sierra
Santibáñez
Associate professor of the Computer Science Department,Technical University of Catalonia
Member of the Formal Reasoning Group, Computer Science Department, Stanford
University
Universidad Politécnica de Cataluña, Departamento de Ciencias de la
Computación, Campus Nord, Omega-S122, C/ Jordi Girona 1-3, 08034 Barcelona.
Tel. 34 93 4134016, Fax 34 93 4137833
Docencia
/ Teaching
- Lógica en Informática
- Sesiones 1, 2 y 3 (Teoría): Capítulos 1 y 2
de los apuntes de la asignatura (ver Racó Fib), transparencias de
la sesión
1
y sesión
3
- Sesión 1 (Laboratorio):
- Enunciado y material asociado a
la práctica 1 (ver página web de la asignatura),
- Algoritmo DPLL
(Davis-Putnam-Logemann-Loveland) de la sección 9 del capítulo 3
de los apuntes de la asignatura (ver Racó FIB).
- Transparencias extraídas del material
docente del curso Combinatorial Problem Solving (CPS) del
Master in Innovation and Research in Informatics. Autores
Albert Oliveras y Enric Rodriguez-Carbonell:
listas de ocurrencia,
heurística de decisión.
- Sesión 4 (Teoría): Secciones Unificación y Resolución y Factorización del
capítulo 5 de los apuntes de la asignatura, capítulo 6 de los apuntes de la asignatura (ver Racó Fib)
y material de la sesión.
- Sesión 5 (Teoría):
-
Secciones 1, 2, 3, 4, 7 y 8 del capítulo 3 de los apuntes de la asignatura
(ver Racó Fib). Es preciso leer también las soluciones de los ejercicios de dichas secciones.
- Transparencias extraídas del material
docente del curso Combinatorial Problem Solving (CPS) del
Master in Innovation and Research in Informatics. Autores
Albert Oliveras y Enric Rodriguez-Carbonell:
transformación de Tseitin
- Documento sobre
NP y NP-completitud de la página web de la asignatura
-
Transparencias de la sesión 3 y la
sesión 5
-
Enunciado y solución del tercer ejercicio del primer
examen parcial de Otoño de 2019.
- PRO1 sessions 1
to 3;
functions;
recursion;
sequences;
vectors and
strings;
vectors, sort and structs;
vectors, structs
and sorted vectors;
multi-dimensional vectors
- PRO2:
- Informática EEBE:
Consultas
/ Counselling Hours
Se solicitan enviando un mensaje a jsierra
at cs.upc.edu
- 29 y 30 de Abril de 2019 de 15:00 a 17:00 horas en el despacho Omega S122, planta -1, previa solicitud.
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