1131 search results - page 99 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
84
Voted
ARC
2009
Springer
15 years 7 months ago
2009
Springer
The parallel branching program machine (PBM128) consists of 128 branching program machines (BMs) and a programmable interconnection. To represent logic functions on BMs, we use qua...
CORR
2004
Springer
15 years 12 days ago
2004
Springer
Recent constraint logic programming (CLP) languages, such as HAL and Mercury, require type, mode and determinism declarations for predicates. This information allows the generatio...
190
Voted
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
When a logic program is processed by an answer set solver, the first task is to generate its instantiation. In a recent paper, Calimeri et el. made the idea of efficient instantiat...
117
Voted
ICCS
2009
Springer
15 years 7 months ago
2009
Springer
We present a modular approach to realizing fine-grained adaptation of program behavior in a parallel environment. Using a compositional framework based on function call intercepti...
111
Voted
ICAIL
2009
ACM
15 years 7 months ago
2009
ACM
Automatic Decision Support Systems (DSS) are widely adopted for screening purposes in socially sensitive tasks, including access to credit, mortgage, insurance, labor market and o...