3706 search results - page 403 / 742 » The Transformational Approach to Program Development |
103
click to vote
ICTAC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We develop semantics for modal logic programs in basic serial multimodal logics, which are parameterized by an arbitrary combination of generalized versions of axioms T, ...
121
click to vote
APPT
2003
Springer
15 years 9 months ago
2003
Springer
This paper focuses on the problem of scheduling outages to computer systems in complex distributed environments. The interconnected nature of these systems makes scheduling global ...
147
Voted
VLDB
1990
ACM
15 years 8 months ago
1990
ACM
Database programming requires having the knowledge of database semantics both to maintain database integrity and to explore more optimization opportunities. Automated programming ...
118
click to vote
ISMIS
2000
Springer
15 years 8 months ago
2000
Springer
A good deal of progress has been made in the past few years in the design and implementation of control programs for autonomous agents. A natural extension of this work is to consi...
138
click to vote
JMLR
2006
15 years 4 months ago
2006
We develop kernels for measuring the similarity between relational instances using background knowledge expressed in first-order logic. The method allows us to bridge the gap betw...