3546 search results - page 15 / 710 » A Causal Logic of Logic Programming |
113
click to vote
SLP
1990
15 years 5 months ago
1990
We discuss the impact of Partial Evaluation within the framework of structured logic programming. We define a general scheme for Partial Evaluation to be applied to a wide class o...
137
click to vote
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
An often problematic feature in answer set programming is that a program does not always produce an answer set, even for programs which represent default information in a seemingl...
119
click to vote
JELIA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present the design of our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most featu...
155
click to vote
IJAR
2008
15 years 4 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...
134
click to vote
BIRTHDAY
2003
Springer
15 years 9 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...