15754 search results - page 702 / 3151 » Programs are Knowledge Bases |
232
click to vote
CL
2000
Springer
15 years 12 months ago
2000
Springer
How to extract negative information from programs is an important issue in logic programming. Here we address the problem for functional logic programs, from a proof-theoretic pers...
161
click to vote
SAC
1999
ACM
15 years 11 months ago
1999
ACM
A computing using distributed objects provides a flexible and scalable programming on the distributed and parallel programming environment. People work together on a scientific re...
190
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Parallel programming continues to be difficult and error-prone, whether starting from specifications or from an existing sequential program. This paper presents (1) a methodology f...
208
click to vote
AMAST
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We propose a general categorical setting for modeling program composition in which the call-by-value and call-by-name disciplines fit as special cases. Other notions of c...
195
click to vote
ICTAI
1996
IEEE
15 years 11 months ago
1996
IEEE
The goal of this work is to derive four-voice music pieces from given musical plans, which describe the harmonic flow and the intentions of a desired composition. We developed the...