The Relationship Between Reasoning About Privacy and Default Logics.
Jürgen DixWolfgang FaberV. S. SubrahmanianPublished in: LPAR (2005)
Keyphrases
- default logic
- default theories
- nonmonotonic reasoning
- default reasoning
- autoepistemic logic
- logic programming
- privacy preserving
- nonmonotonic logics
- personal information
- knowledge representation formalisms
- truth maintenance systems
- fixed point
- default rules
- classical logic
- modal logic
- formal theory
- commonsense reasoning
- data model
- high level