3470 search results - page 518 / 694 » Head-Elementary-Set-Free Logic Programs |
133
click to vote
ECAI
2004
Springer
15 years 10 months 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...
137
click to vote
FOIKS
2004
Springer
15 years 10 months 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...
150
click to vote
IEAAIE
2004
Springer
15 years 9 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...
143
click to vote
LPNMR
2004
Springer
15 years 9 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...
154
click to vote
ASP
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives and without the burden of any form of negation. This complet...