2858 search results - page 142 / 572 » Logics with Aggregate Operators |
ENTCS
2008
13 years 10 months ago
2008
This paper explores a unification of the ideas of Concurrent Separation Logic with those of Communicating Sequential Processes. It extends separation logic by an operator for sepa...
LOGCOM
2010
13 years 8 months ago
2010
Public announcement logic extends multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agents. In thi...
IAT
2008
IEEE
14 years 4 months ago
2008
IEEE
We aim at providing artificial agents with logical tools to reason specifically on privacy-related regulations, in order to comply with them. In order to express these regulatio...
SYNTHESE
2008
13 years 10 months ago
2008
The present paper introduces a belief merging procedure by majority using the standard format of Adaptive Logics. The core structure of the logic ADMc (Adaptive Doxastic Merging by...
ISMVL
1994
IEEE
14 years 2 months ago
1994
IEEE
Many aspects of digital circuit operation can be efficiently verified by simulating circuit operation over "weakened" state values. This technique has long been practice...