Logic programming with signs and annotations

DOI10.1093/logcom/6.6.755zbMath0874.68062OpenAlexW2020162476MaRDI QIDQ2785669

James J. Lu

Publication date: 10 November 1997

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/6.6.755

zbMATH Keywords

logic programmingquery processing procedure

Mathematics Subject Classification ID

Logic programming (68N17) Many-valued logic (03B50) Paraconsistent logics (03B53)

Related Items (5)

A first polynomial non-clausal class in many-valued logic ⋮ From Fuzzy to Annotated Semantic Web Languages ⋮ Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs ⋮ A comparison of fuzzy and annotated logic programming ⋮ Approximate well-founded semantics, query answering and generalized normal logic programs over lattices

This page was built for publication: Logic programming with signs and annotations