Un sistema de negación para prolog
Tesis doctoral de Susana Muñoz Hernández El objetivo de la tesis es validar e implementar un sistema de negación para […]
Tesis doctoral de david Pearce
Información academica david Pearce. Tesis donde david Pearce ha sido autor, director o parte del tribunal.
Pertinence for causal representation
Tesis doctoral de José Pedro Cabalar Fernández En este trabajo se ha analizado el uso de causalidad en dominios de
Logica temporal de intervalos formalización de diagramas de estados
Tesis doctoral de Carlos Rossi Jimenez En este trabajo se definen dos lógicas temporales proposicionales sobre tiempo discreto, llamadas lnint
Contribucion al estudio funcional de las sociedades artificiales de agentes: coordinacion emergente de agentes autonomos para la resolucion de problemas.
Tesis doctoral de Dirk Sascha Ossowski La coordinacion es el nexo entre las actividades de agentes software autonomos y una