A metatheoretical characterization of negation as finite failure.
Mathware and Soft Computing (1996)
- Volume: 3, Issue: 1-2, page 59-65
- ISSN: 1134-5632
Access Full Article
topHow to cite
topCriscuolo, Giovanni. "A metatheoretical characterization of negation as finite failure.." Mathware and Soft Computing 3.1-2 (1996): 59-65. <http://eudml.org/doc/39059>.
@article{Criscuolo1996,
author = {Criscuolo, Giovanni},
journal = {Mathware and Soft Computing},
keywords = {Inteligencia artificial; Negación débil; Modelos conceptuales; Metalenguajes; Semántica; metalogical reasoning},
language = {eng},
number = {1-2},
pages = {59-65},
title = {A metatheoretical characterization of negation as finite failure.},
url = {http://eudml.org/doc/39059},
volume = {3},
year = {1996},
}
TY - JOUR
AU - Criscuolo, Giovanni
TI - A metatheoretical characterization of negation as finite failure.
JO - Mathware and Soft Computing
PY - 1996
VL - 3
IS - 1-2
SP - 59
EP - 65
LA - eng
KW - Inteligencia artificial; Negación débil; Modelos conceptuales; Metalenguajes; Semántica; metalogical reasoning
UR - http://eudml.org/doc/39059
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.