4370 search results - page 46 / 874 » Algebra of Logic Programming |
101
Voted
FAC
2010
14 years 11 months ago
2010
: © Algebra and logic for access control Matthew Collinson, David Pym HP Laboratories HPL-2008-75R1 Access control, process algebra, bunched Logic; systems modelling The access co...
IPL
1998
15 years 11 days ago
1998
We propose a combination of Kleene’s three-valued logic and ACP process algebra via the guarded command construct. We present an operational semantics in SOS-style, and a comple...
113
Voted
DLOG
2010
14 years 10 months ago
2010
Dynamic epistemic logic plays a key role in reasoning about multi-agent systems. Past approaches to dynamic epistemic logic have typically been focused on actions whose primary pur...
298
Voted
POPL
2001
ACM
16 years 1 months ago
2001
ACM
103
click to vote
CSL
2006
Springer
15 years 4 months ago
2006
Springer
The goal of this note is to provide a background and references for the invited lecture presented at Computer Science Logic 2006. We briefly discuss motivations that led to the eme...