Privacy Preservation Using Multi-context Systems and Default Logic

DOI10.1007/978-3-642-30743-0_14zbMath1357.68216OpenAlexW194840385MaRDI QIDQ2900519

Wolfgang Faber, Jürgen Dix, V. S. Subrahmanian

Publication date: 23 July 2012

Published in: Correct Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-30743-0_14

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Authentication, digital signatures and secret sharing (94A62)

Uses Software

• DMCS

Cites Work

• Unnamed Item
• Unnamed Item
• Finding explanations of inconsistency in multi-context systems
• A logic for default reasoning
• Hard problems for simple default logics
• Succinctness as a source of complexity in logical formalisms
• Dualities between alternative semantics for logic programming and nonmonotonic reasoning
• Complexity Results for Nonmonotonic Logics
• The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems
• The mcs-ie System for Explaining Inconsistency in Multi-Context Systems
• The Relationship Between Reasoning About Privacy and Default Logics

This page was built for publication: Privacy Preservation Using Multi-context Systems and Default Logic