3470 search results - page 139 / 694 » Head-Elementary-Set-Free Logic Programs |
164
click to vote
FLAIRS
2008
15 years 7 months ago
2008
Combining probability and first-order logic has been the subject of intensive research during the last ten years. The most well-known formalisms combining probability and some sub...
191
Voted
CORR
2011
Springer
14 years 8 months ago
2011
Springer
The probability theory is a well-studied branch of mathematics, in order to carry out formal reasoning about probability. Thus, it is important to have a logic, both for computati...
129
click to vote
ECAI
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We describe an approach for compiling dynamic preferences into logic programs under the answer set semantics. An ordered logic program is an extended logic program in whi...
139
click to vote
FOSSACS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new inte...
137
click to vote
IDC
2009
Springer
15 years 11 months ago
2009
Springer
In the last fifteen years many work in logic programming has focussed on parallel implementations both in shared memory and in distributed memory multiprocessor systems. In both c...