884 search results - page 102 / 177 » Using Nested Logic Programs for Answer Set Programming |
123
click to vote
ASP
2001
Springer
15 years 6 months ago
2001
Springer
Being able to declaratively specify control within a planning (or theorem-proving) paradigm is necessary if we are to build intelligent machines. This paper introduces an implemen...
LPNMR
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. The logic FO(ID) uses ideas from the field of logic programming to extend first order logic with non-monotone inductive definitions. The goal of this paper is to exten...
145
click to vote
AIIA
2005
Springer
15 years 8 months ago
2005
Springer
Machine Learning systems are often distinguished according to the kind of representation they use, which can be either propositional or first-order logic. The framework working wi...
159
click to vote
OOPSLA
2004
Springer
15 years 7 months ago
2004
Springer
This paper reports on the design and implementation of Chianti, a change impact analysis tool for Java that is implemented in the context of the Eclipse environment. Chianti analy...
127
Voted
WSC
2000
15 years 3 months ago
2000
Analytical models for the dynamics of some discrete event systems are introduced where the system trajectories are solutions to linear and mixed-integer programs. 1 BACKGROUND The...