scientific article; zbMATH DE number 5046357

zbMATH Open1107.68108MaRDI QIDQ5483003FDOQ5483003

Authors: Andreas Herzig, Ivan Varzinczak 

Publication date: 15 August 2006

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

Recommendations

• On decomposability of theories
• Modularity of completeness revisited
• Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions
• Modularity and relevant logic
• On the Modularization Theorem for logical specifications
• Theory of Modules
• scientific article; zbMATH DE number 2152028
• Modularity of ontologies in an arbitrary institution
• Reducible Theories and Amalgamations of Models

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Cited In (10)

• Preferential reasoning for modal logics
• A Modularity Approach for a Fragment of $\mathcal{ALC}$
• Metatheory of actions: beyond consistency
• Modularity and relevant logic
• Chains of theories and companionability
• Modules TTK-critiques et notions connexes
• Progression of decomposed local-effect action theories
• Logic Programming and Nonmonotonic Reasoning
• Title not available (Why is that?)
• Modular action language \(\mathcal{ALM}\)

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