ML systems: A proof theory for contexts

DOI10.1023/A:1019967901393zbMATH Open1011.03018WikidataQ57302687 ScholiaQ57302687MaRDI QIDQ1863751FDOQ1863751

Authors: Luciano Serafini, Fausto Giunchiglia 

Publication date: 12 March 2003

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

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

zbMATH Keywords

normal formproof theorymodal logicscontextual reasoningdistributed information-oriented theoriesmulti context systems

Mathematics Subject Classification ID

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

Cited In (12)

• Title not available (Why is that?)
• On the difference between bridge rules and lifting axioms
• Title not available (Why is that?)
• Intuitionistic hybrid logic
• Multilanguage hierarchical logics, or: How we can do without modal logics
• Proof-producing synthesis of ML from higher-order logic
• Context-dependent abduction and relevance
• Computational Logic in Multi-Agent Systems
• Distributed first order logic
• On the dimensions of context dependence
• Title not available (Why is that?)
• 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)