979 search results - page 4 / 196 » Presentations for Abstract Context Institutions |
206
click to vote
ICALP
2011
Springer
14 years 9 months ago
2011
Springer
-Preserving Atomicity Abstraction Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute 2 University of Oxford Modern concurrent algorithms are usually encapsulated in libr...
133
click to vote
DIS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. To the best of our knowledge, this paper is the first attempt to formalise a pragmatic logic of scientific discovery in a manner such that it can be realised by scientist...
203
click to vote
EUROPLOP
2006
15 years 7 months ago
2006
Abstract: As a general rule of thumb, business logic in a multi-layered information system should be implemented in a dedicated domain layer and be separated from the presentation ...
124
click to vote
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Searle represents constitutive norms as count-as conditionals, written as `X counts as Y in context C'. Grossi et al. study a class of these conditionals as `in cont...
139
click to vote
AUSAI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The interpretation of complex discourse, such as arguments, is a difficult task that often requires validation, i.e., a system may need to present its interpretation of ...