Professor:               Dr. Rogelio Dávila Pérez

    E-mail:                     rdav90@gmail.com

1.Logic

    l  Propositonal Logic

          1  Resolution

    2 First Order Logic

          1 Resolution

2. Lógic Programming

1. Antecedents
2. ASP vs Prolog
3. Application Examples

2. Knowiledge Representation

1. Non-Monotonic Reasoning
2. Non-Monotonic Reasoning
3. Módulos de Razonamiento
4. Aplicaciones

3. Declarative programming and Answer sets

1. Basic definitions
2. Sistemas no-monotónicos
3. Applications

4. Reasoning with AnsProlog

1. Techniques for problem solution
2. Constrains
3. Combinatorial problems
4. Applications

5. Planing and Reasoning

1. Actions
2. Reasoning with actions
3. Planing with Answer sets
4. Applications

6. Queries

1. Smodels
2. dlv system
3. Prolog
4. Applications