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: L'accés als continguts d'aquest document queda condicionat a l'acceptació de les condicions d'ús establertes per la següent llicència Creative Commons: 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 2022-07-10



   Favorit i Compartir