3546 search results - page 111 / 710 » A Causal Logic of Logic Programming |
125
click to vote
NMR
2004
Springer
15 years 9 months ago
2004
Springer
We develop an Answer Set Programming formalism based on Default Logic. We show that computing generating sets of extensions in this formalism captures all ΣP 2 search problems.
125
click to vote
FUIN
2006
15 years 3 months ago
2006
We prove that negative hyper-resolution using any liftable and well-founded ordering refinement is a sound and complete procedure for answering queries in disjunctive logic program...
139
click to vote
FOIKS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Ordered Choice Logic Programming (OCLP) allows for dynamic preference-based decision-making with multiple alternatives without the need for any form of negation. This com...
126
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
In order for parallel logic programming systems to become popular, they should serve the broadest range of applications. To achieve this goal, designers of parallel logic programm...
134
click to vote
ESWA
2006
15 years 3 months ago
2006
The paper demonstrates the efficient use of hybrid intelligent systems for solving the classification problem of bankruptcy. The aim of the study is to obtain classification schem...