IJCAI

Publication Types:

All types ( 68 ) AIJ ( 3 ) AiML ( 6 ) APAL ( 2 ) Beyond know-that ( 25 ) Book ( 1 ) Book Chapter ( 8 ) bundled fragments ( 4 ) DEON ( 1 ) Encyclopedia Entry ( 1 ) Epistemicization of Non-classical Logics ( 2 ) ICLA ( 4 ) IJCAI ( 3 ) Journal Paper ( 23 ) LORI ( 7 ) Notes ( 2 ) PhD Thesis ( 1 ) Proceeding Paper ( 37 ) RSL ( 3 ) Selected ( 17 ) Synthese ( 7 ) TARK ( 8 ) Topics ( 26 ) Translation ( 1 ) WoLLIC ( 2 )

Strategically knowing how

Beyond know-that IJCAI Proceeding Paper Selected

Fervari, Raul and Herzig, Andreas and Li, Yanjun and Wang, Yanjing

In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI) 2017, 2017

Publication year: 2017

Abstract. In this paper, we propose a single-agent logic of goal-directed knowing how extending the standard epistemic logic of knowing that with a new knowing how operator. The semantics of the new operator is based on the idea that knowing how to achieve $\phi$ means that there exists a (uniform) strategy such that the agent knows that it can make sure $\phi$ . We give an intuitive axiomatization of our logic and prove the soundness, completeness, and decidability of the logic. The crucial axioms relating knowing that and knowing how illustrate our understanding of knowing how in this setting. This logic can be used in representing both knowledge-that and knowledge-how.

Knowing that, knowing what, and public communication: Public announcement logic with Kv operators

Beyond know-that IJCAI Proceeding Paper

Wang, Yanjing and Fan, Jie

In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI) 2013, 2013

Publication year: 2013

An alternative axiomatization of DEL and its applications

IJCAI Proceeding Paper

Wang, Yanjing and Aucher, Guillaume