Dynamic Logic
The logic of public announcements, common knowledge, and private suspicions
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Proving Fairness of Schedulers
Proceedings of the Conference on Logic of Programs
Logics of communication and change
Information and Computation
Merging frameworks for interaction: DEL and ETL
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Adding temporal logic to dynamic epistemic logic
Adding temporal logic to dynamic epistemic logic
Dynamic Epistemic Logic
Forgetting and conflict resolving in disjunctive logic programming
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
A theory of forgetting in logic programming
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Forgetting actions in domain descriptions
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Propositional independence: formula-variable independence and forgetting
Journal of Artificial Intelligence Research
Action representation and partially observable planning using epistemic logic
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Solving logic program conflict through strong and weak forgettings
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Knowledge updates: Semantics and complexity issues
Artificial Intelligence
Semantic cooperation and knowledge reuse by using autonomous ontologies
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Forgetting for defeasible logic
LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
| Hi-index | 0.00 |
We model the forgetting of propositional variables in a modal logical context where agents become ignorant and are aware of each others' or their own resulting ignorance. The resulting logic is sound and complete. It can be compared to variable-forgetting as abstraction from information, wherein agents become unaware of certain variables: by employing elementary results for bisimulation, it follows that beliefs not involving the forgotten atom(s) remain true.