Composite distributive lattices as annotation domains for mediators

DOI10.1007/3-540-44990-6_5MaRDI QIDQ4471940zbMATH OpenFDO

Authors Jacques Calmet, Peter Kullmann, Morio Taneda

Publication date 30 July 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/1930/19300065.htm

zbMATH Keywords

Annotated LogicDistributive LatticesDual TransformFree Distributive Lattice ProductMediatorSLG Resolution

Mathematics Subject Classification ID

Logic in computer science (03B70) Structure and representation theory of distributive lattices (06D05) Logic in artificial intelligence (68T27)

Recommendations

• Composite distributive lattices as annotation domains for mediators
• Distributive lattice-structured ontologies
• Inference for annotated logics over distributive lattices
• Sound and complete SLD-resolution for bilattice-based annotated logic programs
• Annotated revision specification programs

Cited in

(2)

• Composite distributive lattices as annotation domains for mediators
• Mediator Synthesis in a Component Algebra with Data

This page was built for publication: Composite distributive lattices as annotation domains for mediators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4471940)