On the difference between bridge rules and lifting axioms

DOI10.1007/3-540-44958-2_7MaRDI QIDQ3550855zbMATH OpenOpenAlexFDO

Authors Paolo Bouquet, Luciano Serafini

Publication date 6 April 2010

Published in Modeling and Using Context (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44958-2_7

Mathematics Subject Classification ID

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

Recommendations

• Comparing formal theories of context in AI
• scientific article; zbMATH DE number 1755766
• scientific article; zbMATH DE number 1670578
• ML systems: A proof theory for contexts
• Multi-context systems in dynamic environments

Cited in

(2)

• scientific article; zbMATH DE number 1755766 (Why is no real title available?)
• Comparing formal theories of context in AI

This page was built for publication: On the difference between bridge rules and lifting axioms

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