scientific article; zbMATH DE number 5046357

MaRDI QIDQ5483003zbMATH OpenFDO

Authors Andreas Herzig, Ivan Varzinczak

Publication date 15 August 2006

Mathematics Subject Classification ID

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

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

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
• scientific article; zbMATH DE number 3859344 (Why is no real title available?)
• 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)