934 search results - page 59 / 187 » Elementary Sets of Logic Programs |
BIRTHDAY
2010
Springer
14 years 11 months ago
2010
Springer
Stable models of logic programs have been studied by many researchers, mainly because of their role in the foundations of answer set programming. This is a review of some of the de...
SGAI
2007
Springer
15 years 4 months ago
2007
Springer
In this paper we describe a novel technique which implements a spatiotemporal model as a set of sub-models based on first order logic. These sub-models model different, typicall...
91
Voted
JAIR
1998
14 years 9 months ago
1998
It is common to view programs as a combination of logic and control: the logic part de nes what the program must do, the control part how to do it. The Logic Programming paradigm ...
118
Voted
JELIA
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. Among others, Alferes et al. (1998) presented an approach for updating logic programs with sets of rules based on dynamic logic programs. We syntactically redefine dynami...
LPNMR
2001
Springer
15 years 2 months ago
2001
Springer
Much work has been done on extending the well-founded semantics to general disjunctive logic programs and various approaches have been proposed. However, no consensus has been reac...