4401 search results - page 577 / 881 » Computing with Default Logic |
169
click to vote
BIRTHDAY
2004
Springer
16 years 3 days ago
2004
Springer
Ternary algebra has been used for detection of hazards in logic circuits since 1948. Process spaces have been introduced in 1995 act models of concurrent processes. Surprisingly, p...
148
click to vote
BIRTHDAY
2004
Springer
16 years 3 days ago
2004
Springer
: This paper studies the composition of modules that can hide information, over a very general class of logical systems called inclusive institutions. Two semantics are given for c...
159
click to vote
CASSIS
2004
Springer
16 years 3 days ago
2004
Springer
Security policies are rules that constrain the behaviour of a system. Different, largely unrelated sets of rules typically govern the physical and logical worlds. However, increa...
192
click to vote
DALT
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We propose an extension of action theories to intention theories in the framework of situation calculus. Moreover the method for implementing action theories is adapted t...
153
click to vote
ECAI
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. This paper presents a framework that integrates three aspects of agency: planning, for proactive behaviour, negotiation, for social behaviour and resource achievement, an...