754 search results - page 58 / 151 » An Ordered Logic Program Solver |
83
Voted
IWINAC
2005
Springer
15 years 6 months ago
2005
Springer
The framework of multi-adjoint logic programming has shown to cover a number of approaches to reason under uncertainty, imprecise data or incomplete information. In previous works,...
103
Voted
IJCAI
1989
15 years 1 months ago
1989
A model of unrestricted And-parallel execution for logic programs is described, based on Dependency Directed Backtracking (DDBT) aimed at improving the efficiency of execution whi...
194
Voted
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
Multiagent planning deals with the problem of generating plans for multiple agents. It requires formalizing ways for the agents to interact and cooperate, in order to achieve their...
104
Voted
ICALP
2010
Springer
14 years 10 months ago
2010
Springer
In this paper, we focus our attention on the fragment of Halpern and Shoham's modal logic of intervals (HS) that features four modal operators corresponding to the relations &...
118
click to vote
ICLP
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. There is currently a large interest in probabilistic logical models. A popular algorithm for approximate probabilistic inference with such models is Gibbs sampling. From ...