3546 search results - page 147 / 710 » A Causal Logic of Logic Programming |
148
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including terminat...
137
click to vote
BCS
2008
15 years 5 months ago
2008
This paper describes a customisable processor designed to accelerate execution of inductive logic programming, targeting advanced field-programmable gate array (FPGA) technology. ...
125
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper proposes a diagnosis algorithm for locating a certain kind of errors in logic programs: variable binding errors that result act symptoms during compile-time ch...
123
click to vote
EUROPAR
1995
Springer
15 years 7 months ago
1995
Springer
Much work has been done in the areas of and–parallelism and data parallelism in Logic Programs. Such work has proceeded to a certain extent in an independent fashion. Both types...
127
click to vote
WEBI
2007
Springer
15 years 10 months ago
2007
Springer
The size of the Web and its increase rate made it cumbersome to locate high precision results to a requested piece of information. The Semantic Web provides a framework and a set ...