Multicontext logic for semigroups of contexts

DOI10.1007/3-540-45470-5_11MaRDI QIDQ4808708zbMATH OpenFDO

Authors Rolf Nossum, Luciano Serafini

Publication date 12 August 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/2385/23850090.htm

zbMATH Keywords

Integration of Logical Reasoning and Computer AlgebraLogic and Symbolic Computing

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• Propositional Logic for Ground Semigroups of Context
• scientific article; zbMATH DE number 5917724
• Propositional contexts
• A contextual approach to the logic of fiction
• A decidable multi-modal logic of context

Cited in

(7)

• A decidable multi-modal logic of context
• Context-dependent abduction and relevance
• Propositional contexts
• Propositional Logic for Ground Semigroups of Context
• A contextual approach to the logic of fiction
• scientific article; zbMATH DE number 1377711 (Why is no real title available?)
• A multicontext architecture for formalizing complex reasoning

This page was built for publication: Multicontext logic for semigroups of contexts

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