On the difference between bridge rules and lifting axioms

DOI10.1007/3-540-44958-2_7zbMATH Open1279.68305OpenAlexW1550882658MaRDI QIDQ3550855FDOQ3550855

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

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

Mathematics Subject Classification ID

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

Cited In (2)

• Title not available (Why is that?)
• 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)