Stit Semantics for Epistemic Notions Based on Information Disclosure in Interactive Settings.
Aldo Iván Ramírez AbarcaJan M. BroersenPublished in: CoRR (2019)
Keyphrases
- logical framework
- epistemic logic
- information disclosure
- multi agent systems
- plausible inference
- possibilistic logic
- belief revision
- inference rules
- reasoning tasks
- model theoretic
- belief change
- privacy concerns
- user interaction
- cost benefit
- multi agent
- social networks
- model checking
- intrusion detection
- logic programming
- knowledge representation
- modal operators
- learning environment
- coalition logic