8232 search results - page 51 / 1647 » Dynamic Logic Programming |
136
click to vote
IJAR
2008
15 years 2 months ago
2008
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the trea...
120
click to vote
BIRTHDAY
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in...
120
click to vote
SAC
2009
ACM
15 years 9 months ago
2009
ACM
The notion of ThisType has been proposed to promote typesafe reuse of binary methods and recently extended to mutually recursive definitions. It is well-known, however, that This...
126
click to vote
AI
2008
Springer
15 years 2 months ago
2008
Springer
The notion of maintenance often appears in the AI literature in the context of agent behavior and planning. In this paper, we argue that earlier characterizations of the notion of...
128
click to vote
ENTCS
2007
15 years 2 months ago
2007
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...