1151 search results - page 70 / 231 » Collaborative Programming: Applications of Logic and Automat... |
206
click to vote
LICS
1994
IEEE
15 years 11 months ago
1994
IEEE
We develop a model for timed, reactive computation by extending the asynchronous, untimed concurrent constraint programming model in a simple and uniform way. In the spirit of pro...
207
click to vote
ICLP
1995
Springer
15 years 10 months ago
1995
Springer
Incorporating the possibility of attaching attributes to variables in a logic programming system has been shown to allow the addition of general constraint solving capabilities to...
223
click to vote
CL
1999
Springer
15 years 6 months ago
1999
Springer
Van Emden's incremental queries address the inadequacy of current Prolog-style querying mechanism in most logic programming systems for interactive problem-solving. In the co...
161
click to vote
ICLP
1993
Springer
15 years 11 months ago
1993
Springer
A basic requirement of declarative programming is to free the programmer from the need to manually insert control annotations into the program. Here we study the execution of logi...
242
click to vote
CL
2012
Springer
13 years 9 months ago
2012
Springer
Distributed logic programming languages, that allow both facts and programs to be distributed among different nodes in a network, have been recently proposed and used to declarati...