Results 1  10
of
32
Logic Programming and Knowledge Representation
 Journal of Logic Programming
, 1994
"... In this paper, we review recent work aimed at the application of declarative logic programming to knowledge representation in artificial intelligence. We consider exten sions of the language of definite logic programs by classical (strong) negation, disjunc tion, and some modal operators and sh ..."
Abstract

Cited by 224 (21 self)
 Add to MetaCart
In this paper, we review recent work aimed at the application of declarative logic programming to knowledge representation in artificial intelligence. We consider exten sions of the language of definite logic programs by classical (strong) negation, disjunc tion, and some modal operators and show how each of the added features extends the representational power of the language.
Stationary Semantics for Normal and Disjunctive Logic Programs
 Annals of Mathematics and Artificial Intelligence
, 1991
"... this paper we show, however, that stationary expansions can be equivalently defined in terms of classical, 2valued logic. As a byproduct, we obtain a simpler and more natural description of stationary expansions. ..."
Abstract

Cited by 71 (14 self)
 Add to MetaCart
this paper we show, however, that stationary expansions can be equivalently defined in terms of classical, 2valued logic. As a byproduct, we obtain a simpler and more natural description of stationary expansions.
Solving Advanced Reasoning Tasks using Quantified Boolean Formulas
, 2000
"... We consider the compilation of different reasoning tasks into the evaluation problem of quantified boolean formulas (QBFs) as an approach to develop prototype reasoning systems useful, e.g., for experimental purposes. ..."
Abstract

Cited by 68 (20 self)
 Add to MetaCart
We consider the compilation of different reasoning tasks into the evaluation problem of quantified boolean formulas (QBFs) as an approach to develop prototype reasoning systems useful, e.g., for experimental purposes.
Representing Knowledge in AProlog
"... In this paper, we review some recent work on declarative logic programming languages based on stable models/answer sets semantics of logic programs. These languages, gathered together under the name of AProlog, can be used to represent various types of knowledge about the world. By way of example ..."
Abstract

Cited by 63 (1 self)
 Add to MetaCart
In this paper, we review some recent work on declarative logic programming languages based on stable models/answer sets semantics of logic programs. These languages, gathered together under the name of AProlog, can be used to represent various types of knowledge about the world. By way of example we demonstrate how the corresponding representations together with inference mechanisms associated with AProlog can be used to solve various programming tasks.
Characterizations of the Disjunctive Wellfounded Semantics: Confluent Calculi and Iterated GCWA
 Journal of Automated Reasoning
, 1997
"... . Recently Brass and Dix have introduced the semantics DWFS for general disjunctive logic programs. The interesting feature of this approach is that it is both semantically and prooftheoretically founded. Any program \Phi is associated a normalform res(\Phi), called the residual program, by a non ..."
Abstract

Cited by 32 (10 self)
 Add to MetaCart
. Recently Brass and Dix have introduced the semantics DWFS for general disjunctive logic programs. The interesting feature of this approach is that it is both semantically and prooftheoretically founded. Any program \Phi is associated a normalform res(\Phi), called the residual program, by a nontrivial bottomup construction using least fixpoints of two monotonic operators. We show in this paper, that the original calculus, consisting of some simple transformations, has a very strong and appealing property: it is confluent and terminating. This means that all the transformations can be applied in any order: we always arrive at an irreducible program (no more transformation is applicable) and this program is already uniquely determined. Moreover, it coincides with the normalform res(\Phi) of the program we started with. The semantics DWFS can be read off from res(\Phi) immediately. No proper subset of the calculus has these properties  only when we restrict to certain subclasse...
WellFounded and Stationary Models of Logic Programs
 ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
, 1994
"... ..."
Stationary Default Extensions
 Fundamenta Informaticae
, 1992
"... this paper we introduce the class of so called stationary extensions of a default theory. Stationary extensions include, as a special case, Reiter's original default extensions but allow us to eliminate their drawbacks that were mentioned above. Every default theory \Delta has at least one stationar ..."
Abstract

Cited by 24 (0 self)
 Add to MetaCart
this paper we introduce the class of so called stationary extensions of a default theory. Stationary extensions include, as a special case, Reiter's original default extensions but allow us to eliminate their drawbacks that were mentioned above. Every default theory \Delta has at least one stationary extension and among its extensions there always exists the least stationary extension E \Delta . The (cautious) stationary semantics S (\Delta) of a default theory \Delta, i.e., the theory consisting of sentences which are true in all stationary extensions of \Delta, is always welldefined, and, since it clearly coincides with the least stationary extension E \Delta of \Delta, it is itself a stationary extension of \Delta. The stationary semantics of default theories is always cumulatively monotonic and it can be computed by means of a natural iterative procedure. The complexity of its computation essentially coincides with the computational complexity of satisfiability tests on the underlying first order theory and therefore it does not involve any additional complexity caused by the nonmonotonicity of default logic. More precisely, for default theories consisting of
Partial Deduction of Disjunctive Logic Programs: A Declarative Approach
 In Logic Program Synthesis and Transformation  Meta Programming in Logic, LNCS 883
, 1994
"... . This paper presents a partial deduction method for disjunctive logic programs. We first show that standard partial deduction in logic programming is not applicable as it is in the context of disjunctive logic programs. Then we introduce a new partial deduction technique for disjunctive logic progr ..."
Abstract

Cited by 20 (1 self)
 Add to MetaCart
. This paper presents a partial deduction method for disjunctive logic programs. We first show that standard partial deduction in logic programming is not applicable as it is in the context of disjunctive logic programs. Then we introduce a new partial deduction technique for disjunctive logic programs, and show that it preserves the minimal model semantics of positive disjunctive programs, and the stable model semantics of normal disjunctive programs. Goaloriented partial deduction is also presented for query optimization. 1 Introduction Partial deduction or partial evaluation is known as one of the optimization techniques in logic programming. Given a logic program, partial deduction derives a more specific program through performing deduction on a part of the program, while preserving the meaning of the original program. Such a specialized program is usually more efficient than the original program when executed. Partial deduction in logic programming was firstly introduced by Kom...