id: 01076964
dt: j
an: 01076964
au: Lu, James J.; Calmet, Jacques; Schü, Joachim
ti: Computing multiple-valued logic programs.
so: Mathware Soft Comput. 4, No.2, 129-153 (1997).
py: 1997
pu: Universitat Politècnica de Catalunya, Escola Tècnica Superior
    d’Arquitectura, Secció de Matemàtiques i Informàtica, Barcelona
la: EN
cc: 
ut: operational semantics; bilattice logic programming; truth-maintenance
ci: 
li: 
ab: Summary: The logic of signed formula can be used to reason about a wide
    variety of multiple-valued logics. 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.
rv: