59 search results - page 2 / 12 » How to Construct a Logic for Your Application |
82
Voted
KR
1994
Springer
15 years 3 months ago
1994
Springer
A key problem in case-based reasoning is the representation, organization and maintenance of case libraries. While current approaches rely on heuristic and psychologically inspire...
85
Voted
ICFP
2005
ACM
15 years 11 months ago
2005
ACM
We describe a monadic interface to low-level hardware features that is a suitable basis for building operating systems in Haskell. The interface includes primitives for controllin...
92
Voted
ENTCS
2007
14 years 11 months ago
2007
Logical connectives familiar from the study of hybrid logic can be added to the logical framework LF, a constructive type theory of dependent functions. This extension turns out t...
GPCE
2008
Springer
15 years 22 days ago
2008
Springer
A user interface, such as a dialog, assists a user in synthesising a set of values, typically parameters for a command object. Code for “command parameter synthesis” is usuall...
102
click to vote
ICFP
2006
ACM
15 years 11 months ago
2006
ACM
We present a unifying solution to the problem of fusion of functions, where both the producer function and the consumer function have one accumulating parameter. The key idea in t...