1776 search results - page 186 / 356 » Using a Logic Programming Language with Persistence and Cont... |
147
Voted
ASP
2003
Springer
15 years 8 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...
127
Voted
LPNMR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper studies computational issues related to the problem of reasoning about actions and change (RAC) by exploiting its link with the Answer Set Programming paradigm...
125
Voted
AMAST
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...
149
click to vote
KI
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Markov logic, as a highly expressive representation formalism that essentially combines the semantics of probabilistic graphical models with the full power of first-orde...
116
click to vote
CORR
2004
Springer
15 years 3 months ago
2004
Springer
Recent constraint logic programming (CLP) languages, such as HAL and Mercury, require type, mode and determinism declarations for predicates. This information allows the generatio...