3470 search results - page 129 / 694 » Head-Elementary-Set-Free Logic Programs |
150
click to vote
ICLP
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. The Event Calculus is a narrative based formalism for reasoning about actions and change originally proposed in logic programming form by Kowalski and Sergot. In this pap...
159
click to vote
LOPSTR
1995
Springer
15 years 8 months ago
1995
Springer
We present an automated proof method for constructive logic based on Wallen’s matrix characterization for intuitionistic validity. The proof search strategy extends Bibel’s con...
131
click to vote
WSC
2007
15 years 7 months ago
2007
There has long been a competition between simulation and optimization in the modeling of problems in transportation and logistics, machine scheduling and similar highdimensional p...
169
click to vote
JSS
2006
15 years 5 months ago
2006
Web and peer-to-peer systems have emerged as popular areas in distributed computing, and their integrated usage permits the benefits of both to be exploited. While much work in th...
141
click to vote
IJCAI
2001
15 years 6 months ago
2001
We give a graph theoretical characterization of answer sets of normal logic programs. We show that there is a one-to-one correspondence between answer sets and a special, non-stan...