3470 search results - page 112 / 694 » Head-Elementary-Set-Free Logic Programs |
136
Voted
DALT
2008
Springer
15 years 6 months ago
2008
Springer
This paper provides a logical framework of negotiating agents who have capabilities of evaluating and building proposals. Given a proposal, an agent decides whether it is acceptabl...
157
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
Abstract. This paper presents the foundations for using automated deduction technology in static program analysis. The central principle is the use of logical lattices ? a class of...
155
Voted
FORTE
2010
15 years 6 months ago
2010
Abstract. Separation logic is a popular specification language for imperative programs where the heap can only be mentioned through pointsto assertions. However, separation logic&#...
131
click to vote
LOPSTR
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. A formal and effective approach to the extension of the computational behaviour of logic programs is presented. The approach builds upon the following concepts. The exte...
148
Voted
TACS
1994
Springer
15 years 9 months ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...