413 search results - page 15 / 83 » On the Relation Between ID-Logic and Answer Set Programming |
106
click to vote
JAIR
2007
14 years 11 months ago
2007
This work is a contribution to prioritized reasoning in logic programming in the presence of preference relations involving atoms. The technique, providing a new interpretation fo...
198
Voted
POPL
2006
ACM
15 years 12 months ago
2006
ACM
We define a type system, which may also be considered as a simple Hoare logic, for a fragment of an assembly language that deals with code pointers and jumps. The typing is aimed ...
130
click to vote
DAGSTUHL
1996
15 years 1 months ago
1996
An analysis method for specialization of imperative programs is described in this paper. This analysis is an inter-procedural data flow method operating on control flow graphs and...
202
Voted
ICLP
2009
Springer
16 years 9 days ago
2009
Springer
Over the years, the stable-model semantics has gained a position of the correct (two-valued) interpretation of default negation in programs. However, for programs with aggregates (...
91
Voted
DEXA
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Sharing of structured data in decentralized environments is a challenging problem, especially in the absence of a global schema. Social network structures map network lin...