Mostrar el registro sencillo del ítem

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


Ficheros en el ítem

Thumbnail

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem

Salvo que se indique lo contrario, los contenidos de esta obra estan sujetos a la licencia de Creative Commons: Reconocimiento-NoComercial-SinObraDerivada 3.0 España