Mostra el registre d'ítem simple

dc.contributor.authorLu, James J.
dc.contributor.authorCalmet, Jacques
dc.contributor.authorSchü, Joachim
dc.date.accessioned2007-09-14T11:30:34Z
dc.date.available2007-09-14T11:30:34Z
dc.date.issued1997
dc.identifier.issn1134-5632
dc.identifier.urihttp://hdl.handle.net/2099/3488
dc.description.abstractThe logic of signed formula can be used to reason about a wide variety of multiple-valued logics \cite{hah94,lmr96}. The formal theoretical foundation of multiple-valued logic programming based on signed formulas is set forth in \cite{lu96}. The current paper is an investigation into the operational semantics of such signed logic programming. The connection of signed logic programming to constraint logic programming is presented, search space issues are briefly discussed for both general and special cases, and applications to bilattice logic programming and truth-maintenance are analyzed.
dc.format.extent129-153
dc.language.isoeng
dc.publisherUniversitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica
dc.relation.ispartofMathware & soft computing . 1997 Vol. 4 Núm. 2
dc.rightsReconeixement-NoComercial-CompartirIgual 3.0 Espanya
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/es/
dc.subject.otherLogic for artificial intelligence
dc.subject.otherMultiple-valued logic
dc.subject.otherSigned formula
dc.subject.otherConstraint logic programming
dc.subject.otherTruth-maintenance
dc.subject.otherBilattices
dc.titleComputing multiple-valued logic programs
dc.typeArticle
dc.subject.lemacLògica matemàtica
dc.subject.amsClassificació AMS::03 Mathematical logic and foundations::03B General logic
dc.rights.accessOpen Access


Fitxers d'aquest items

Thumbnail

Aquest ítem apareix a les col·leccions següents

Mostra el registre d'ítem simple

Llevat que s'hi indiqui el contrari, els continguts d'aquesta obra estan subjectes a la llicència de Creative Commons: Reconeixement-NoComercial-SenseObraDerivada 3.0 Espanya