7456 search results - page 53 / 1492 » Parallelism in Logic Programming |
SPDP
1992
IEEE
14 years 2 months ago
1992
IEEE
PPSN
2000
Springer
2000
Springer
Genetic Programming and Domain Knowledge: Beyond the Limitations of Grammar-Guided Machine Discovery
14 years 1 months ago
LPNMR
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and checkâ...
ECSQARU
2005
Springer
14 years 3 months ago
2005
Springer
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating as well t...
LPKR
1997
Springer
14 years 2 months ago
1997
Springer
In this paper, we use autoepistemic reasoning semantics to classify various semantics for disjunctive logic programs with default negation. We have observed that two different typ...