1151 search results - page 140 / 231 » Collaborative Programming: Applications of Logic and Automat... |
145
click to vote
LPNMR
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. The logic FO(ID) uses ideas from the field of logic programming to extend first order logic with non-monotone inductive definitions. The goal of this paper is to exten...
175
click to vote
LOPSTR
2009
Springer
16 years 22 days ago
2009
Springer
Proving termination of, or generating efficient control for Constraint Handling Rules (CHR) programs requires information about the kinds of constraints that can show up in the CHR...
191
click to vote
JMLR
2008
15 years 6 months ago
2008
The use of computational models is increasingly expected to play an important role in predicting the behaviour of biological systems. Models are being sought at different scales o...
186
click to vote
LOPSTR
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. It has often been observed that a point-free style of programvides a more abstract view on programs. We aim to use the gain in abstraction to obtain a denotational semant...
190
click to vote
CADE
2004
Springer
16 years 6 months ago
2004
Springer
contexts such as construction of abstractions, speed may be favored over completeness, so that undecidable theories (e.g., nonlinear integer arithmetic) and those whose decision pr...