Formalising deductive coherence : an application to norm evaluation
Joseph, Sindhu
Sierra, Carles
Schorlemmer, Wernher Marco
Universitat Autònoma de Barcelona. Departament de Ciències de la Computació
Universitat Autònoma de Barcelona. Escola d'Enginyeria

Fecha: 2008
Descripción: 66 p.
Derechos: Aquest document està subjecte a una llicència d'ús Creative Commons. Es permet la reproducció total o parcial, la distribució, i la comunicació pública de l'obra, sempre que no sigui amb finalitats comercials, i sempre que es reconegui l'autoria de l'obra original. No es permet la creació d'obres derivades. Creative Commons
Lengua: Anglès
Colección: Escola d'Enginyeria. Departament de Ciències de la Computació. Treballs de recerca de postgrau
Documento: Treball de fi de postgrau
Materia: Agents intel·ligents (Programes d'ordinador) ; Intel·ligència artificial ; Ciència cognitiva



Treball de recerca
66 p, 633.9 KB

El registro aparece en las colecciones:
Documentos de investigación > Trabajos de investigación y proyectos de final de carrera > Ingeniería. TFM

 Registro creado el 2012-08-31, última modificación el 2024-05-25



   Favorit i Compartir