Results 21 to 30 of about 1,884 (291)
Design of a Solver for Multi-Agent Epistemic Planning [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 As the interest in Artificial Intelligence continues to grow it is becoming more and more important to investigate formalization and tools that allow us to exploit logic to reason about the world.
Francesco Fabiano
doaj +1 more source
Dynamic Epistemic Logic with Communication Actions
Electronic Notes in Theoretical Computer Science, 2019 This work proposes a Dynamic Epistemic Logic with Communication Actions that can be performed concurrently. Unlike Concurrent Epistemic Action Logic introduced by Ditmarsch, Hoek and Kooi, where the concurrency mechanism is the so called true concurrency, here we use an approach based on process calculus, like CCS and CSP, and Action Models Logic.
Mário Benevides +1 more
openalex +3 more sources
Efficient Verification of Cryptographic Protocols with Dynamic Epistemic Logic
Applied Sciences, 2020 The security of cryptographic protocols has always been an important issue. Although there are various verification schemes of protocols in the literature, efficiently and accurately verifying cryptographic protocols is still a challenging research task.
Xiaojuan Chen, Huiwen Deng
doaj +1 more source
Arbitrary Arrow Update Logic with Common Knowledge is neither RE nor co-RE [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Arbitrary Arrow Update Logic with Common Knowledge (AAULC) is a dynamic epistemic logic with (i) an arrow update operator, which represents a particular type of information change and (ii) an arbitrary arrow update operator, which quantifies over arrow ...
Louwe B. Kuijer
doaj +1 more source
Cooperative Epistemic Multi-Agent Planning for Implicit Coordination [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Epistemic planning can be used for decision making in multi-agent situations with distributed knowledge and capabilities. Recently, Dynamic Epistemic Logic (DEL) has been shown to provide a very natural and expressive framework for epistemic planning. We
Thorsten Engesser +3 more
doaj +1 more source
Dynamic Epistemic Logic Displayed [PDF]
, 2013 We introduce a display calculus for the logic of Epistemic Actions and Knowledge (EAK) of Baltag-Moss-Solecki. This calculus is cut-free and complete w.r.t. the standard Hilbert-style presentation of EAK, of which it is a conservative extension, given that—as is common to display calculi—it is defined on an expanded language in which all logical ...
Greco, Giuseppe +2 more
openaire +2 more sources
Coalition and Group Announcement Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Dynamic epistemic logics which model abilities of agents to make various announcements and influence each other's knowledge have been studied extensively in recent years.
Rustam Galimullin, Natasha Alechina
doaj +1 more source
Inquisitive dynamic epistemic logic [PDF]
Synthese, 2014 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ciardelli I, Roelofsen F
openaire +4 more sources
A Logic for Global and Local Announcements [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 In this paper we introduce global and local announcement logic (GLAL), a dynamic epistemic logic with two distinct announcement operators – [φ]^+_A and [φ] ^-_A indexed to a subset A of the set Ag of all agents – for global and local announcements ...
Francesco Belardinelli +2 more
doaj +1 more source
A Spatial-Epistemic Logic for Reasoning about Security Protocols [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Reasoning about security properties involves reasoning about where the information of a system is located, and how it evolves over time. While most security analysis techniques need to cope with some notions of information locality and knowledge ...
Bernardo Toninho, Luís Caires
doaj +1 more source