| Mestrado Universitario en Computación |
 Asignaturas |
| Programación Lóxica e Representación do Coñecemento |
| Contidos |
| Datos Identificativos | 2012/13 | |||||||||||||
| Asignatura | Programación Lóxica e Representación do Coñecemento | Código | 614434012 | |||||||||||
| Titulación |
|
|||||||||||||
| Descriptores | Ciclo | Período | Curso | Tipo | Créditos | |||||||||
| Mestrado Oficial | 2º cuadrimestre |
Primeiro | Optativa | 3 | ||||||||||
|
||||||||||||||
| Temas | Subtemas |
| 1- An introduction to Prolog | Introduction Adding Functions: unification, lists, Turing completeness. Relation to Logic: Least Herbrand Model. Flow control: cut, negation as failure. Other features: arithmetic, input/output, assert/retract. |
| 2- Semantics for negation | Stable models and answer sets. Well-founded Semantics. Relation to stable models. Programs with variables. Answer Set Programming (ASP). Clark's completion. Loop formulas. Extending the syntax: disjunctive ASP. |
| 3- Equilibrium Logic | Syntax and semantics. Strong equivalence. Normal forms. Minimal logic programs. Quantified Equilibrium Logic. |
|
