3470 search results - page 153 / 694 » Head-Elementary-Set-Free Logic Programs |
191
click to vote
AAMAS
2011
Springer
14 years 9 months ago
2011
Springer
This paper introduces the execution model of a declarative programming language intended for agent applications. Features supported by the language include functional and logic pro...
190
click to vote
LPNMR
2004
Springer
15 years 11 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â...
159
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
This system description provides an overview of the MUNCH reasoner for sets and multisets. MUNCH takes as the input a formula in a logic that supports expressions about sets, multi...
175
click to vote
EVOW
1994
Springer
15 years 10 months ago
1994
Springer
The genetic programming (GP) paradigm is a new approach to inductively forming programs that describe a particular problem. The use of natural selection based on a fitness ]unction...
204
click to vote
ECSQARU
2005
Springer
15 years 11 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...