3845 search results - page 499 / 769 » Belief Logic Programming |
173
click to vote
CONCUR
2005
Springer
16 years 6 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...
146
click to vote
ILP
2005
Springer
16 years 5 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 ...
162
click to vote
CP
2004
Springer
16 years 2 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...
165
click to vote
ECAI
2004
Springer
16 years 2 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...
176
click to vote
FOIKS
2004
Springer
16 years 1 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...