ML systems: A proof theory for contexts

DOI10.1023/A:1019967901393MaRDI QIDQ1863751zbMATH OpenWikidataFDO

Authors Luciano Serafini, Fausto Giunchiglia

Publication date 12 March 2003

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/A:1019967901393

zbMATH Keywords

contextual reasoningdistributed information-oriented theoriesmodal logicsmulti context systemsnormal formproof theory

Mathematics Subject Classification ID

Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 1670578
• Multi-context systems in dynamic environments
• scientific article; zbMATH DE number 770150
• On the dimensions of context dependence
• Multilanguage hierarchical logics, or: How we can do without modal logics

Cited in

(12)

• Multilanguage hierarchical logics, or: How we can do without modal logics
• Distributed first order logic
• Context-dependent abduction and relevance
• Intuitionistic hybrid logic
• scientific article; zbMATH DE number 1670578 (Why is no real title available?)
• scientific article; zbMATH DE number 6528605 (Why is no real title available?)
• On the difference between bridge rules and lifting axioms
• scientific article; zbMATH DE number 1755764 (Why is no real title available?)
• Proof-producing synthesis of ML from higher-order logic
• On the dimensions of context dependence
• Computational Logic in Multi-Agent Systems
• Comparing formal theories of context in AI

This page was built for publication: ML systems: A proof theory for contexts

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