3342 search results - page 563 / 669 » Automating Abstract Interpretation |
161
click to vote
IFM
2009
Springer
16 years 24 days ago
2009
Springer
Abstract. Service-oriented computing has emerged as a new programming paradigm that aims at implementing software applications which can be used through a network via the exchange ...
170
click to vote
LPNMR
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. We consider the problem of whether a given preferred answer set program can be reduced to a propositional formula. Research on this topic is of both theoretical and pract...
154
click to vote
LPNMR
2009
Springer
16 years 23 days ago
2009
Springer
We define the semantics of logic programs with (abstract) constraint atoms in a way closely tied to default logic. Like default logic, formulas in rules are evaluated using the cl...
145
click to vote
LPNMR
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. The logic FO(ID) uses ideas from the field of logic programming to extend first order logic with non-monotone inductive definitions. The goal of this paper is to exten...
175
click to vote
LPNMR
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. In answer-set programming (ASP), many notions of program equivalence have been introduced and formally analysed. A particular line of research in this direction aims at s...