Computing multiple-valued logic programs

Name: Computing multiple-valued logic programs
Keywords: ddc:004, Multiple-valued logic, Constraint logic programming, Classificació AMS::03 Mathematical logic and foundations::03B General logic, Truth-maintenance, DATA processing & computer science, Logic programming, 004, truth-maintenance, Logic for artificial intelligence

Lu, James; Calmet, Jacques; Schue, Joachim

Found an issue? Give us feedback

downloadFull-Text

UPCommons. Portal de...arrow_drop_down

UPCommons. Portal del coneixement obert de la UPC

Article . 1997

License: CC BY NC ND

Full-Text: https://upcommons.upc.edu/bitstreams/e3b398e9-d94d-42eb-8b48-cec1b5b54983/download

Data sources: UPCommons. Portal del coneixement obert de la UPC

Revistes Catalanes amb Accés Obert

Article . 1997

Full-Text: http://www.raco.cat/index.php/Mathware/article/download/84703/109700

Data sources: Revistes Catalanes amb Accés Obert

Recolector de Ciencia Abierta, RECOLECTA

Article . 1997

License: CC BY NC ND

Data sources: Recolector de Ciencia Abierta, RECOLECTA

Recolector de Ciencia Abierta, RECOLECTA

Article . 1997

License: CC BY NC ND

Data sources: Recolector de Ciencia Abierta, RECOLECTA

zbMATH Open

Article

Data sources: zbMATH Open

Computing multiple-valued logic programs

descriptionPublicationkeyboard_double_arrow_right Article 01 Jan 1997 Spain, Germany English Publisher:Universitat Politècnica de Catalunya. Secció de Matemàtiques i InformàticaJournal:Mathware & soft computing

Authors: Lu, James; Calmet, Jacques; Schue, Joachim;

handle: 2099/3488

Computing multiple-valued logic programs

- Summary
- Subjects
- Metrics

Abstract

The 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.

Countries

Spain, Germany

Related Organizations

Universitat Polite`cnica de Catalunya
Spain
Karlsruhe Institute of Technology
Germany
Universitat Politècnica de Catalunya
Spain

Keywords

ddc:004, Multiple-valued logic, Constraint logic programming, Classificació AMS::03 Mathematical logic and foundations::03B General logic, Truth-maintenance, DATA processing & computer science, Logic programming, 004, truth-maintenance, Logic for artificial intelligence, Bilattices, bilattice logic programming, Lògica matemàtica, :03 Mathematical logic and foundations::03B General logic [Classificació AMS], operational semantics, Signed formula, info:eu-repo/classification/ddc/004

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average