Sciweavers

3691 search results - page 463 / 739
» Bayesian Logic Programs
Sort
View
CP
2004
Springer
16 years 8 hour ago
Decomposition and Learning for a Hard Real Time Task Allocation Problem
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...
Hadrien Cambazard, Pierre-Emmanuel Hladik, Anne-Ma...
ECAI
2004
Springer
16 years 6 hour ago
An Argumentative Approach to Assessing Natural Language Usage based on the Web Corpus
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...
Carlos Iván Chesñevar, Ana Gabriela ...
FOIKS
2004
Springer
16 years 1 hour ago
Database Repair by Signed Formulae
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...
Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Mau...
IEAAIE
2004
Springer
15 years 12 months ago
An Algorithm for Incremental Mode Induction
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...
Nicola Di Mauro, Floriana Esposito, Stefano Ferill...
LPNMR
2004
Springer
15 years 12 months ago
Probabilistic Reasoning With Answer Sets
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...
Chitta Baral, Michael Gelfond, J. Nelson Rushton