8232 search results - page 111 / 1647 » Dynamic Logic Programming |
128
click to vote
AC
2002
Springer
15 years 4 months ago
2002
Springer
Abstract. Delay-Insensitive Sequential Processes is a structured, parallel programming language. It facilitates the clear, succinct and precise specification of the way an asynchro...
157
Voted
EUROCAST
1994
Springer
15 years 9 months ago
1994
Springer
Logistic systems analysts use a wide array of modeling systems such as algebraic and logic programs. Two simple examples show how they mesh as Constraint Logic programs, emphasizin...
159
click to vote
SYNTHESE
2010
14 years 11 months ago
2010
A recurring issue in any formal model representing agents' (changing) informational attitudes is how to account for the fact that the agents are limited in their access to the...
148
Voted
AAAI
1990
15 years 6 months ago
1990
An equational approach to the synthesis of functional and logic programs is taken. Typically, a target program contains equations that are only true in the standard model of the g...