Results 261 to 270 of about 3,323 (276)
Some of the next articles are maybe not open access.
Private Dynamic Epistemic Friendship Logic
2014 Brazilian Conference on Intelligent Systems, 2014Recent works have proposed to model social conceptions of rationality (in contraposition to individual rationality) by means of a logic of community. In [11], the authors have defined a logic of friendship to model social relationship as those contained in social networks.
Henrique Viana +3 more
openaire +1 more source
2011
What is knowledge? How can we acquire knowledge? When can we say that we know something? Do we know that we know something? Those are the issues that puzzled Chinese philosophers about 2000 years ago, witness a famous dialogue below between Zhuangzi (approx.369–286 BC) from the Daoism School and Huizi (390–317 BC) from the School of Names: One day ...
openaire +3 more sources
What is knowledge? How can we acquire knowledge? When can we say that we know something? Do we know that we know something? Those are the issues that puzzled Chinese philosophers about 2000 years ago, witness a famous dialogue below between Zhuangzi (approx.369–286 BC) from the Daoism School and Huizi (390–317 BC) from the School of Names: One day ...
openaire +3 more sources
Dynamic Epistemic Preferential Logic of Action
2017H.P. van Ditmarsch, W. van der Hoek and B.P. Kooi proposed in 2003 some complete formalism for representation of actions for Multi-Agent Systems. This paper is aimed at proposing a new preferential extension of this formalism in terms of dynamic-epistemic logic supported by a unique multi-valued logic.
Krystian Jobczyk, Antoni Ligeza
openaire +1 more source
Dynamic Epistemic Logic of Finite Identification
2009Following the approach given by Nina Gierasimczuk [2009] to bridge dynamic epistemic logic and learning theory, the logic of finite identification in the limit in the process of learning has been explored in this paper. The main results are two complete axiomatic systems. One is defined in terms of public announcements, and the other in terms of update
openaire +1 more source
On Inverse Operators in Dynamic Epistemic Logic
Lecture Notes in Computer Science, 2022Shota Motoura +2 more
exaly
Game description language and dynamic epistemic logic compared
Artificial Intelligence, 2021Thorsten Engesser +2 more
exaly
Dynamic Epistemic Logic for Budget-Constrained Agents
Lecture Notes in Computer Science, 2023Vitaliy Dolgorukov, Maksim Gladyshev
exaly
A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks
Journal of Logical and Algebraic Methods in Programming, 2021Hans Van Ditmarsch +2 more
exaly
A simplicial complex model for dynamic epistemic logic to study distributed task computability
Information and Computation, 2021Eric Goubault +2 more
exaly
On Inverse Operators in Dynamic Epistemic Logic
2021Shota Motoura, Shin-ya Katsumata
openaire +1 more source