8232 search results - page 64 / 1647 » Dynamic Logic Programming |
153
click to vote
MEMOCODE
2003
IEEE
15 years 7 months ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
115
click to vote
ECOOPW
1998
Springer
15 years 6 months ago
1998
Springer
It is our opinion that declaring aspects by means of a full- edged logic language has a fundamental advantage over using a restricted special purpose aspect language. As an illust...
121
click to vote
CSL
2004
Springer
15 years 6 months ago
2004
Springer
Using separation logic, this paper presents three Hoare logics (corresponding to different notions of correctness) for the simple While language extended with commands for heap acc...
136
click to vote
DALT
2007
Springer
15 years 8 months ago
2007
Springer
Agent-based modelling approaches are usually based on logical languages, whereas in many areas dynamical system models based on differential equations are used. This paper shows ho...
117
click to vote
LPNMR
2007
Springer
15 years 8 months ago
2007
Springer
In this paper by considering an answer set programming approach and some basic ideas from possibilistic logic, we introduce a possibilistic disjunctive logic programming approach t...