3733 search results - page 62 / 747 » Logics of communication and change |
196
click to vote
LOGCOM
2007
15 years 6 months ago
2007
The paper provides a uniform representation of abductive reasoning in the logical framework of causal inference relations. The representation covers in a single framework not only...
142
click to vote
ICCAD
1997
IEEE
15 years 10 months ago
1997
IEEE
Logic replication, the duplication of logic in order to limit communication between partitions, is an effective part of a complete partitioning solution. In this paper we seek a b...
176
click to vote
TIME
2008
IEEE
16 years 16 days ago
2008
IEEE
In this paper we consider the specification and verification of infinite-state systems using temporal logic. In particular, we describe parameterised systems using a new variet...
192
click to vote
ACOM
2006
Springer
16 years 4 days ago
2006
Springer
In this paper, we extend the classical BDI architecture for the treatment of social commitments based communication by: (1) linking social commitments and individual intentions, (2...
171
click to vote
WEBNET
2001
15 years 7 months ago
2001
: New information and computing technologies offer cost efficient and effective learning opportunities for health care professionals. The Assisted Electronic Communication project ...