884 search results - page 86 / 177 » Using Nested Logic Programs for Answer Set Programming |
KBSE
2003
IEEE
15 years 7 months ago
2003
IEEE
Automating software evolution requires both identifying precisely the affected program points and selecting the appropriate modification at each point. This task is particularly ...
122
click to vote
JLP
2000
15 years 2 months ago
2000
The independent choice logic (ICL) is part of a project to combine logic and decision/game theory into a coherent framework. The ICL has a simple possible-worlds semantics charact...
147
click to vote
CLIMA
2006
15 years 3 months ago
2006
This paper reports on a fertile marriage between madAgents, a Java and Prolog based multi-agent platform, and EVOLP, a logic programming based language to represent and reason abou...
122
Voted
LOGCOM
2007
15 years 2 months ago
2007
Various forms of rely/guarantee conditions have been used to record and reason about interference in ways that provide compositional development methods for concurrent programs. Th...
214
click to vote
ECOOP
2009
Springer
16 years 2 months ago
2009
Springer
The dynamic frames approach has proven to be a powerful formalism for specifying and verifying object-oriented programs. However, it requires writing and checking many frame annota...