Título inglés | A metatheoretical characterization of negation as finite failure. |
---|---|
Título español | Caracterización metateórica de la negación como fallo finito. |
Autor/es | Criscuolo, Giovanni |
Organización | Dip. Sci. Fis. Univ. Napoli, Nápoles, Italia |
Revista | 1134-5632 |
Publicación | 1996, 3 (1-2): 59-65, 5 Ref. |
Tipo de documento | articulo |
Idioma | Inglés |
Clasificación UNESCO | 120304 ; 110208 |
Palabras clave español | Inteligencia artificial ; Negación débil ; Modelos conceptuales ; Metalenguajes ; Semántica |
Código MathReviews | MR1414254 |
Código Z-Math | Zbl 0868.68101 |
![]() |