1117 search results - page 88 / 224 » Partial Models of Extended Generalized Logic Programs |
122
click to vote
DOOD
1993
Springer
15 years 5 months ago
1993
Springer
In this paper we introduce a logical query language extended with object-oriented typing facilities. This language, called DTL (from DataTypeLog), can be seen as an extension of Da...
114
click to vote
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
The polyhedral model is extensively used for analyses and transformations of regular loop programs, one of the most important being automatic parallelization. The model, however, ...
108
click to vote
IEEEAMS
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper describes a new approach to programming autonomic systems. Autonomic functions are integrated into element objects at design time using a special language called JSpoon...
132
click to vote
DLOG
2008
15 years 3 months ago
2008
Answering queries posed over knowledge bases is a central problem in knowledge representation and database theory. In databases, query containment is one of the important query op...
137
click to vote
CSCLP
2004
Springer
15 years 6 months ago
2004
Springer
We introduce a framework for studying and solving a class of CSP formulations. The framework allows constraints to be expressed as linear and nonlinear equations, then compiles th...