scientific article; zbMATH DE number 2090040

zbMATH Open1072.68584MaRDI QIDQ4808708FDOQ4808708

Luciano Serafini, Rolf Nossum

Publication date: 12 August 2004

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

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

zbMATH Keywords

Integration of Logical Reasoning and Computer AlgebraLogic and Symbolic Computing

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Cited In (4)

• A multicontext architecture for formalizing complex reasoning
• Context-dependent abduction and relevance
• A decidable multi-modal logic of context
• Title not available (Why is that?)

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 Q4808708)