2858 search results - page 142 / 572 » Logics with Aggregate Operators |
123
click to vote
ENTCS
2008
15 years 3 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...
130
Voted
LOGCOM
2010
15 years 1 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...
102
click to vote
IAT
2008
IEEE
15 years 9 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...
107
click to vote
SYNTHESE
2008
15 years 2 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
15 years 7 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...