scientific article; zbMATH DE number 2079833

zbMATH Open1042.03025MaRDI QIDQ4471940FDOQ4471940

Authors: Jacques Calmet, Peter Kullmann, Morio Taneda 

Publication date: 30 July 2004

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

Title of this publication is not available (Why is that?)

Recommendations

• Composite distributive lattices as annotation domains for mediators
• Distributive lattice-structured ontologies
• scientific article; zbMATH DE number 2089453
• Sound and complete SLD-resolution for bilattice-based annotated logic programs
• Annotated revision specification programs

zbMATH Keywords

Distributive LatticesAnnotated LogicDual TransformFree Distributive Lattice ProductMediatorSLG Resolution

Mathematics Subject Classification ID

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

Cited In (2)

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

This page was built for publication:

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