4224 search results - page 252 / 845 » Reasoning about Choice |
170
click to vote
IFIP
2004
Springer
16 years 19 days ago
2004
Springer
We study from an implementation viewpoint what constitutes a reasonable and effective notion of structural equivalence of terms in a calculus of concurrent processes and propose op...
174
click to vote
KR
2004
Springer
16 years 18 days ago
2004
Springer
This paper offers two main contributions. On the one hand, it establishes a general formal framework for developing a foundational ontology of socially constructed entities, in th...
211
click to vote
LPNMR
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. Answer Set Programming is a new paradigm based on logic programming. The main component of answer set programming is a system that finds the answer sets of logic program...
201
click to vote
ECRTS
2003
IEEE
16 years 16 days ago
2003
IEEE
Advances in scheduling theory have given designers of control systems greater flexibility over their choice of timing requirements. This could lead to systems becoming more respon...
213
click to vote
CONCUR
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. A concurrent Kleene algebra offers, next to choice and iteration, operators for sequential and concurrent composition, related by an inequational form of the exchange la...