884 search results - page 92 / 177 » Using Nested Logic Programs for Answer Set Programming |
106
Voted
CORR
2002
Springer
15 years 2 months ago
2002
Springer
Abstract. Constraint logic programming combines declarativity and efficiency thanks to constraint solvers implemented for specific domains. Value withdrawal explanations have been ...
129
click to vote
AAAI
2007
15 years 4 months ago
2007
Forgetting irrelevant/problematic actions in a domain description can be useful in solving reasoning problems, such as query answering, planning, conflict resolution, prediction,...
117
click to vote
CCECE
2006
IEEE
15 years 8 months ago
2006
IEEE
The purpose of this paper is to use the aspect-oriented programming (AOP) paradigm for security testing. AOP allows security experts to develop and inject separate modules for con...
123
Voted
IJCAI
2001
15 years 3 months ago
2001
We present a dynamic programming approach for the solution of first-order Markov decisions processes. This technique uses an MDP whose dynamics is represented in a variant of the ...
87
Voted
ICLP
1999
Springer
15 years 6 months ago
1999
Springer
This paper presents a programming language that includes paradigms that are usually associated with declarative languages, such as sets, rules and search, into an imperative (funct...