3535 search results - page 17 / 707 » Logic Program Specialisation |
142
click to vote
ENTCS
2006
15 years 3 months ago
2006
Parkinson, Bornat, and Calcagno recently introduced a logic for partial correctness in which program variables are treated as resource, generalizing earlier work based on separati...
140
click to vote
AAI
2000
15 years 3 months ago
2000
This paper introduces a formally specified design of a compositional generic agent model (GAM). This del abstracts from specific application domains; it provides a unified formal ...
340
Voted
POPL
2001
ACM
16 years 3 months ago
2001
ACM
142
click to vote
KR
2004
Springer
15 years 8 months ago
2004
Springer
The causal logic from (Bochman 2003b) is shown to provide a natural logical basis for logic programming. More exactly, it is argued that any logic program can be seen as a causal ...