A multicontext architecture for formalizing complex reasoning

DOI10.1002/INT.4550100504MaRDI QIDQ4835369zbMATH OpenOpenAlexFDO

Authors Enrico Giunchiglia, Paolo Traverso

Publication date 20 November 1995

Published in International Journal of Intelligent Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/int.4550100504

zbMATH Keywords

multicontext systemsproblem-solving context

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Knowledge representation (68T30) Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• From description-logic programs to multi-context systems
• A decidable multi-modal logic of context
• Compositional reasoning for multi-modal logics
• scientific article; zbMATH DE number 2090040
• scientific article; zbMATH DE number 1552264
• Reactive multi-context systems: heterogeneous reasoning in dynamic environments
• Reasoning about reasoning in a meta-level architecture

Cited in

(6)

• scientific article; zbMATH DE number 1755764 (Why is no real title available?)
• Description logics, rules and multi-context systems
• scientific article; zbMATH DE number 6402305 (Why is no real title available?)
• MACRAME: A problem formulation and model structuring assistant in multiactorial contexts
• Contextual reasoning distilled
• Partition-based logical reasoning for first-order and propositional theories

This page was built for publication: A multicontext architecture for formalizing complex reasoning

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