BMDF
Financiado
Presupuesto del proyecto
193K€
Perfil tecnológico del proyecto
Se calculan automáticamente a través de las palabras clave.
Software
Applied Physics
Artificial Intelligence Mathematics Computer Science Theoretical Computer Science
Artificial Intelligence Mathematics Computer Science Theoretical Computer Science
Palabras clave
Extraídas de toda la información encontrada de este proyecto
#bilattices
#frames
#mathematical structures
#non-monotonic reasoning
#paraconsistent reasoning
#Domain Theory
#d-frames
#denotational semantics
Lider