1020 search results - page 140 / 204 » Tight Semantics for Logic Programs |
114
click to vote
ICFP
2010
ACM
15 years 10 hour ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...
103
click to vote
ILP
2003
Springer
15 years 5 months ago
2003
Springer
The learning system Progol5 and the underlying inference method of Bottom Generalisation are firmly established within Inductive Logic Programming (ILP). But despite their success...
114
click to vote
LPKR
1997
Springer
15 years 4 months ago
1997
Springer
The purpose of this paper is to investigate the methodology of reasoning with prioritized defaults in the language of logic programs under the answer set semantics. We present a do...
PODS
2005
ACM
15 years 12 months ago
2005
ACM
Abstract. We present a semantics and answer set programs for relational peer data exchange systems. When a peer answers a query, it exchanges data with other peers in order to supp...
VISSOFT
2005
IEEE
15 years 5 months ago
2005
IEEE
Understanding classes and methods is a key activity in object-oriented programming, since classes represent the abstractions from which applications are built, while methods conta...