4370 search results - page 295 / 874 » Algebra of Logic Programming |
120
click to vote
JMLC
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. We describe a system designed to provide database programming support for Oberon programmers. The system is based on a generic object-oriented data model which supports r...
118
click to vote
SLP
1994
15 years 2 months ago
1994
Most of the research, to date, on optimizing program transformations for declarative languages has focused on sequential execution strategies. In this paper, we consider a class o...
92
Voted
SIAMJO
2010
14 years 7 months ago
2010
Abstract. We investigate integer programs containing monomial constraints of the type Q iI xi i = b. Due to the number-theoretic nature of these constraints, standard methods based...
103
Voted
LPNMR
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. According to Dynamic Logic Programming (DLP), knowledge may be given by a sequence of theories (encoded as logic programs) representing different states of knowledge. Th...
119
Voted
ENTCS
2002
15 years 16 days ago
2002
Dynamic Logic Programming (DLP) was introduced to deal with knowledge about changing worlds, by assigning semantics to sequences of generalized logic programs, each of which repres...