1151 search results - page 76 / 231 » Collaborative Programming: Applications of Logic and Automat... |
145
Voted
ILP
2007
Springer
15 years 9 months ago
2007
Springer
Stochastically searching the space of candidate clauses is an appealing way to scale up ILP to large datasets. We address an approach that uses a Bayesian network model to adaptive...
140
Voted
KR
2004
Springer
15 years 8 months ago
2004
Springer
When mining frequent Datalog queries, many queries will be equivalent in the light of an implicit or explicit background knowledge. To alleviate the problem, we introduce various t...
137
click to vote
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heap...
160
Voted
PLILP
1994
Springer
15 years 7 months ago
1994
Springer
Abstract. Program slicing is a useful technique for debugging, testing, and analyzing programs. A program slice consists of the parts of a program which (potentially) affect the va...
152
click to vote
FLOPS
1999
Springer
15 years 7 months ago
1999
Springer
We describe a new approach to higher-order narrowing computations in a class of systems suitable for functional logic programming. Our approach is based on a translation of these s...