3845 search results - page 499 / 769 » Belief Logic Programming |
190
click to vote
CONCUR
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. We introduce a novel way to integrate functional and concurrent programming based on intuitionistic linear logic. The functional core arises from interpreting proof reduc...
157
click to vote
ILP
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. It is well known by Inductive Logic Programming (ILP) practioners that ILP systems usually take a long time to find valuable models (theories). The problem is specially ...
183
click to vote
CP
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. We present a cooperation technique using an accurate management of nogoods to solve a hard real-time problem which consists in assigning periodic tasks to processors in t...
187
click to vote
ECAI
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. In spite of the significant evolution of spelling and grammar checkers for word-processing software, the problem of judging the appropriateness of language usage in diff...
185
click to vote
FOIKS
2004
Springer
16 years 20 days ago
2004
Springer
We introduce a simple and practically efficient method for repairing inconsistent databases. The idea is to properly represent the underlying problem, and then use off-the-shelf a...