Logical planning in Temporal Defeasible and Dynamic Epistemic Logics: the case of t-DeLP and LCC
Tesi realitzada a l'Institut d'Investigació en Intel.ligència Artificial (IIIIA-CSIC)
| Autor: | |
|---|---|
| Tipo de recurso: | tesis doctoral |
| Estado: | Versión publicada |
| Fecha de publicación: | 2013 |
| País: | España |
| Institución: | CBUC, CESCA |
| Repositorio: | TDR. Tesis Doctorales en Red |
| OAI Identifier: | oai:www.tdx.cat:10803/129620 |
| Acceso en línea: | http://hdl.handle.net/10803/129620 |
| Access Level: | acceso abierto |
| Palabra clave: | Planificació Planificación Planning Programació lògica Programación lógica Logic programming Lògica matemàtica Lógica matemática Mathematical logic Lógica no monotónica Lògica no monotònica Non-monotonic logic Lógica epistémica Lògica epistèmica Epistemic modal logic Ciències Humanes i Socials 16 |
| Sumario: | Tesi realitzada a l'Institut d'Investigació en Intel.ligència Artificial (IIIIA-CSIC) |
|---|