Mostra el registre d'ítem simple
A metatheoretical characterization of negation as finite failure
dc.contributor.author | Criscuolo, Giovanni |
dc.date.accessioned | 2007-04-03T08:17:24Z |
dc.date.available | 2007-04-03T08:17:24Z |
dc.date.issued | 1996 |
dc.identifier.issn | 1134-5632 |
dc.identifier.uri | http://hdl.handle.net/2099/2614 |
dc.format.extent | 7 |
dc.language.iso | eng |
dc.publisher | Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica |
dc.relation.ispartof | Mathware & soft computing . 1996 Vol. 3 Núm. 1 [ -2 ]p.59-65 |
dc.rights | Reconeixement-NoComercial-CompartirIgual 3.0 Espanya |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
dc.subject.other | Logic programming |
dc.subject.other | Negation |
dc.subject.other | OM pairs |
dc.title | A metatheoretical characterization of negation as finite failure |
dc.type | Article |
dc.subject.lemac | Lògica matemàtica |
dc.subject.lemac | Intel·ligència artificial |
dc.subject.lemac | Sistemes experts (Informàtica) |
dc.subject.ams | Classificació AMS::03 Mathematical logic and foundations::03B General logic |
dc.rights.access | Open Access |
Fitxers d'aquest items
Aquest ítem apareix a les col·leccions següents
-
1996, Vol. III, Núm. 1-2 [27]
"Aspects of mechanizing inference"