Proyecto de I+D+i:
Representación del Conocimiento con Información Negativa - Knowledge Representation with Negative Information
Representación del Conocimiento con Información Negativa - Knowledge Representation with Negative Information
Año:2007
Áreas de investigación
-
Lenguaje de programación
Datos
|
Descripción
|
|
|---|---|
| El objetivo principal de esta acción integrada entre los grupos BABEL de la UPM y el grupo CENTRIA en la Universidad Nova de Lisboa es el mútuo intercambio de información sobre el respectivo trabajo de ambos grupos para establecer las bases de una cooperación asentada en los temas de interés común: negación en la lógica en general y en la programación lógica en particular. | |
|
Internacional
|
Si |
|
Tipo de proyecto
|
Proyectos y convenios en convocatorias públicas competitivas |
|
Entidad financiadora
|
Ministerio de Educación y Ciencia |
|
Nacionalidad Entidad
|
ESPAÑA |
|
Tamaño de la entidad
|
Desconocido |
|
Fecha concesión
|
15/03/2006 |
Participantes
- Participante: Manuel Carro Liñares (Facultad de Informática, UPM)
- Participante: Julio Mariño Carballo (UPM)
- Participante: Lars-Ake Fredlund (UPM)
- Participante: Susana Muñoz Hernandez (UPM)
- Director: Juan Jose Moreno Navarro (UPM)
- Participante: Angel Herranz Nieva (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
- Creador: Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
- Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
S2i 2023 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)