3481 search results - page 339 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
118
Voted
ARC
2009
Springer
15 years 11 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...
131
click to vote
DALT
2004
Springer
15 years 10 months ago
2004
Springer
This article investigates the intensional programming paradigm for agent communication by introducing context as a first class object in the intensional programming language Lucid...
138
click to vote
GECCO
1999
Springer
15 years 9 months ago
1999
Springer
In genetic programming a general consensus is that the population should be as large as practically possible or sensible. In this paper we examine a batch of problems of combinato...
141
click to vote
AAAI
2008
15 years 7 months ago
2008
Answer set programming (ASP) is a form of declarative programming oriented towards difficult search problems. As an outgrowth of research on the use of nonmonotonic reasoning in k...
127
click to vote
PPDP
2005
Springer
15 years 10 months ago
2005
Springer
Type checking and type inference are fundamentally similar problems. However, the algorithms for performing the two operations, on the same type system, often differ significant...