4224 search results - page 761 / 845 » Reasoning about Choice |
135
Voted
APLAS
2010
ACM
14 years 11 months ago
2010
ACM
We consider programming language aspects of algorithms that operate on data too large to fit into memory. In previous work we have introduced IntML, a functional programming langu...
97
Voted
SYNTHESE
2010
14 years 11 months ago
2010
We argue that current discussions of criteria for actual causation are ill-posed in several respects. (1) The methodology of current discussions is by induction from intuitions ab...
103
Voted
GI
2009
Springer
14 years 10 months ago
2009
Springer
: We explore the expressiveness of the BPMN workflow modelling language by applying it to MuCoMS, a paper submission system. This well known application domain is a suitable exampl...
119
click to vote
ECEASST
2010
14 years 7 months ago
2010
Abstract. Many modelling languages have both a textual and a graphical form. The relationship between these two forms ought to be clear and concrete, but is instead commonly unders...
103
click to vote
SYNTHESE
2010
14 years 7 months ago
2010
This paper explores the ramifications of the extended cognition thesis in the philosophy of mind for contemporary epistemology. In particular, it argues that all theories of knowle...