Author:
Areces Carlos,Cassano Valentin,Castro Pablo F.,Fervari Raul,Saravia Andrés R.
Publisher
Springer Nature Switzerland
Reference34 articles.
1. Areces, C., Fervari, R., Saravia, A.R., Velázquez-Quesada, F.R.: Uncertainty-based semantics for multi-agent knowing how logics. In: 18th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2021). EPTCS, vol. 335, pp. 23–37. Open Publishing Association (2021)
2. Arora, S., Barak, B.: Computational Complexity: A Modern Approach, 1st edn. Cambridge University Press, Cambridge (2009)
3. Baltag, A.: To know is to know the value of a variable. In: Advances in Modal Logic (AiML 2016), vol. 11, pp. 135–155. College Publications (2016)
4. Cormen, T., Leiserson, C., Rivest, R.L., Stein, C.: Introduction to Algorithms, 4th edn. MIT Press, Cambridge (2022)
5. Demri, S., Fervari, R.: Model-checking for ability-based logics with constrained plans. In: 37th AAAI Conference on Artificial Intelligence (AAAI 2023), pp. 6305–6312. AAAI Press (2023)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Uncertainty-based knowing how logic;Journal of Logic and Computation;2023-10-09