3693 search results - page 467 / 739 » Splitting a Logic Program |
161
click to vote
CP
2004
Springer
16 years 13 hour 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...
164
click to vote
ECAI
2004
Springer
16 years 10 hour 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 6 hour 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...
194
click to vote
IEAAIE
2004
Springer
15 years 12 months ago
2004
Springer
Learning systems have been devised as a way of overcoming the knowledge acquisition bottleneck in the development of knowledge-based systems. They often cast learning to a search p...
184
click to vote
LPNMR
2004
Springer
15 years 12 months ago
2004
Springer
This paper develops a declarative language, P-log, that combines logical and probabilistic arguments in its reasoning. Answer Set Prolog is used as the logical foundation, while c...