Publication:4906884

zbMath1259.68188MaRDI QIDQ4906884

Thomas Eiter, Michael Fink, Thomas Krennwallner, Minh Dao-Tran

Publication date: 28 February 2013

zbMATH Keywords

semantics; multi-context systems; knowledge-based information systems; schematic bridge rules

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

68T35: Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence