## Knowledge Representation with Logic Programs (1996)

### Cached

### Download Links

- [ii.fmph.uniba.sk]
- [www.uni-koblenz.de]
- [www.uni-koblenz.de]
- [146.50.3.49]
- [www.isi.edu]
- DBLP

### Other Repositories/Bibliography

Venue: | DEPT. OF CS OF THE UNIVERSITY OF KOBLENZ-LANDAU |

Citations: | 35 - 6 self |

### BibTeX

@INPROCEEDINGS{Brewka96knowledgerepresentation,

author = {Gerhard Brewka and Jürgen Dix},

title = {Knowledge Representation with Logic Programs},

booktitle = {DEPT. OF CS OF THE UNIVERSITY OF KOBLENZ-LANDAU},

year = {1996},

publisher = {Springer}

}

### Years of Citing Articles

### OpenURL

### Abstract

In this tutorial-overview, which resulted from a lecture course given by the authors at

### Citations

2497 | Computational Complexity - Papadimitriou - 1994 |

1951 |
Foundations of Logic Programming
- Lloyd
- 1987
(Show Context)
Citation Context ...that A\Theta 1 is identical to B \Theta 2 ; or if we can decide that this is not possible at all. In fact, if the two atoms are unifiable we can indeed compute a most general unifier, called mgU (see =-=[Llo87]-=-). The mgU \Theta is a substitution defined on the set of variables occurring in both A and B such that A\Theta is identical to B \Theta. This will be important in our framework because if an atom app... |

1600 | The Stable Model Semantics for Logic Programming
- Gelfond, Lifschitz
- 1988
(Show Context)
Citation Context ... ([BD97a]). The underlying idea of STABLE is that any atom in an intended model should have a definite reason to be true or false. This idea was made explicit in [BF91a, BF91b] and, independently, in =-=[GL88]-=-. We use the latter terminology and introduce the Gelfond-Lifschitz transformation: for a program P and a model N ` BP we define P N := frule N : rule 2 Pg 11 With the help of a regular move, given by... |

1528 | A Logic for Default Reasoning - Reiter - 1980 |

992 |
Negation as Failure
- Clark
- 1978
(Show Context)
Citation Context ...re 1 the leftmost branch is also failing but infinite. Although this idea of Finite-Failure is very procedural in nature, there is a nice modeltheoretical counterpart --- Clark's completion comp(P ) (=-=[Cla78]). The ide-=-a of Clark was that a program P consists not only of the implications, but also of the information that these are the only ones. Roughly speaking, he argues that one should interpret the "/"... |

902 | Classical negation in logic programs and disjunctive databases. New Generation Computing 9(3/4):365–386
- Gelfond, Lifschitz
- 1991
(Show Context)
Citation Context ...ramming Semantics Semantics Reference Domain Taut. GPPE Red. Non-Min. Rel. comp [Cla78] Nondis. --- ffl ffl ffl --- GCWA [Min82] Pos. ffl ffl ffl ffl ffl WGCWA [RT88] Pos. --- ffl ffl --- ffl DSTABLE =-=[GL91]-=- Dis. ffl ffl ffl ffl --- WFS [vGRS91] Nondis. ffl ffl ffl ffl ffl ST N [Prz91b] Dis. ffl ffl ffl ffl ffl STATIC [Prz95] Dis. ffl ffl ffl ffl ffl D-WFS [BD95d] Dis. ffl ffl ffl ffl ffl DWFS [Dix92b] D... |

900 | The wellfounded semantics for general logic programs - Gelder, Ross, et al. - 1991 |

890 |
Circumscription: A form of Non-Monotonic Reasoning
- McCarthy
- 1980
(Show Context)
Citation Context ...ENDIX 84 e1 e2 e3 e4 C C e1 e2 e3 e4 p1 -> e1 p2 -> e2 p3 -> e3 p4 -> e4 Model M1 Model M2 Figure 5: Two Models of a Theory with the Same Valuation. functions. Since its first formulation by McCarthy =-=[McC80]-=-, it has taken on several different forms, including domain circumscription [McC79] (minimizing the elements in the universe of models), and the most popular and useful version, parallel predicate cir... |

752 | The Semantics of Predicate Logic as Programming Language - Emden, Kowalski - 1976 |

648 | Norvig P: Artificial Intelligence: a Modern Approach. 2nd edition. Hong Kong: Pearson Education Asia Limited and Tsinghua Univ - Russel - 2006 |

613 | A Lattice-theoretical Fix-point Theorem and its Applications - Tarski - 1955 |

518 | Applications of circumscription to formalizing common-sense knowledge - McCarthy - 1986 |

439 | Meta-Logics and Logic Programming - Apt, Turini - 1995 |

402 | A Kripke/Kleene Semantics for logic programs
- Fitting
- 1985
(Show Context)
Citation Context ...Theorem 3.2 we already related a restricted form of finite failure to Clark's completion. We will see later that comp(P ) is inconsistent even in cases where we would not expect it. Therefore Fitting =-=[Fit85]-=- introduced a three-valued formulation comp 3 (P ) of the original completion. Kunen ([Kun87]) then proved in the propositional case SLDNF is sound and complete with respect to comp 3 (P ). In the pre... |

343 | Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm - Niemelä - 1998 |

337 | Computing Circumscription
- Lifschitz
- 1985
(Show Context)
Citation Context ...RENCES 51 The relevance of preferences is well-recognized in nonmonotonic reasoning, and prioritized versions for most of the nonmonotonic logics have been proposed, e.g., prioritized circumscription =-=[Lif85], hierarch-=-ic autoepistemic logic [Kon88], prioritized default logic [Bre94]. In these approaches preferences are handled in an "external" manner in the following sense: some ordering among defaults is... |

334 | Classical Recursion Theory - Odifreddi - 1990 |

324 | A catalog of complexity classes - Johnson - 1990 |

271 | D.S.: Tabled Evaluation with Delaying for General Logic Programs
- Chen, Warren
- 1996
(Show Context)
Citation Context ...cial eye on complexity. The most advanced system has been implemented by David Warren and his group in Stony Brook based on OLDT-algorithm of [TS86]. They first developed a meta-interpreter (SLG, see =-=[CW96]-=-) in PROLOG and then directly modified the WAM for a direct implementation of WFS (XSB). They use tabling-methods and a mixture of Top-Down and bottom-up evaluation to detect loops. Their system is co... |

250 | Principles of Database and - Ullman - 1988 |

250 | Logic programming and negation: a survey
- Apt, Bol
- 1994
(Show Context)
Citation Context ...le to SLDResolution and treat negation as "Finite-Failure". This resulted in an extension of SLD, called SLDNF-Resolution, a procedural mechanism for query answering. For a nice overview, we=-= refer to [AB94]. NML-Appr-=-oach: This is the approach suggested by non-monotonic reasoning people. Here the main question is "What is the right semantics?" I.e. we are looking first for a semantics that correctly fits... |

242 |
Negation in logic programming
- Kunen
- 1987
(Show Context)
Citation Context ...will see later that comp(P ) is inconsistent even in cases where we would not expect it. Therefore Fitting [Fit85] introduced a three-valued formulation comp 3 (P ) of the original completion. Kunen (=-=[Kun87]-=-) then proved in the propositional case SLDNF is sound and complete with respect to comp 3 (P ). In the predicate logic case, SLDNF is not complete but it is always correct [She88, Theorem 39]) with r... |

231 | OLD Resolution with Tabulation - Tamaki, Sato - 1986 |

224 | Unfounded sets and well-founded semantics for general logic programs - Gelder, Ross, et al. - 1988 |

213 | Principles of Database and Knowledge Base Systems, Volume I - Ullman - 1988 |

209 | Admissible Sets and Structures - Barwise - 1975 |

180 | Structural Complexity I - Balcázar, Díaz, et al. - 1988 |

180 | Elementary Induction on Abstract Structures - Moschovakis - 1974 |

172 | The complexity of logic-based abduction - Eiter, Gottlob - 1995 |

167 | Inconsistency management and prioritized syntax-based entailment - Benferhat, Cayrol, et al. - 1993 |

158 | Logic and the Challenge of Computer Science - Gurevich - 1988 |

150 | Consistency of Clark’s completion and existence of stable models - Fages - 1994 |

147 | Propositional Semantics for Disjunctive Logic Programs - Ben-Eliyahu, Dechter - 1994 |

142 |
On inde databases and the closed world assumption
- Minker
- 1982
(Show Context)
Citation Context ...it in Section 6.3. We mention some other attempts to define disjunctive semantics in Section 6.4. Finally we discuss complexity and expressibility in Section 6.5. 6.1 GCWA GCWA was defined by Minker (=-=[Min82]-=-) and can bee seen as a refined version of the CWA introduced by Reiter ([Rei78]): Definition 6.1 (CWA) CWA(DB) = DB [ f:P (t) : DB 6j= P (t)g ; where P (t) is a ground predicate instance. That is, if... |

140 | Ecient implementation of the well-founded and stable model semantics - Niemela, Simons - 1996 |

133 | Constructive negation based on the completed database - Chan - 1988 |

131 | A clash of intuitions: The current state of non-monotonic multiple inheritance systems - Touretzky, Horty, et al. - 1987 |

129 | Well-founded semantics for logic programs with explicit negation - Pereira, Alferes - 1992 |

114 | On the comparison of theories: Preferring the most specific explanation - Poole - 1985 |

111 | The Pleading Game. An Artificial Intelligence Model of Procedural Justice
- Gordon
- 1995
(Show Context)
Citation Context ...g Example In this section we want to show that the additional expressiveness provided by our approach actually helps representing real world problems. We will use an example first discussed by Gordon =-=[Gor93]-=-. We somewhat simplified it for our purposes. Example 5.8 (Legal Reasoning) Assume a person wants to find out if her security interest in a certain ship is perfected. She currently has possession of t... |

110 | A skeptical theory of inheritance in nonmonotonic semantic networks - Horty, Thomason, et al. - 1990 |

103 | Logical Tools for Modelling Legal Argument - Prakken - 1993 |

102 | A Deductive System for Nonmonotonic Reasoning - Eiter, Leone, et al. - 1997 |

97 | Propositional circumscription and extended closed world reasoning are p -complete - Eiter, Gottlob - 1993 |

91 | Well-founded semantics for extended logic programs with dynamic preferences
- Brewka
- 1996
(Show Context)
Citation Context ... would like to have, therefore, is an approach that allows us to represent preference information in the language and derive such information dynamically. The presentation in this section is based on =-=[Bre96b]-=-. A similar treatment of prioritized logic programs under answer set semantics is described in [Bre97]. 5.2 Handling Preferences In order to handle preferences we need to be able to express preference... |

91 |
Linear time algorithms for testing the satisfiability of propositional Horn formulae, J.Logic Programm
- Dowling
- 1984
(Show Context)
Citation Context ...a proof see [Wit91a]), while STABLE is co-NP-complete. The low complexity of WFS can be traced back to Dowling and Gallier's result whereby satisfiability of Horn clauses can be tested in linear time(=-=[DG84]-=-). In Dowling and Gallier's approach it is actually a minimal model of a Horn theory that 3 ADDING DEFAULT-NEGATION 39 is computed in linear time. Since minimal models of Horn theories are equivalent ... |

91 | How to progress a database - Lin, Reiter - 1997 |

90 | Dualities between alternative semantics for logic programming and nonmonotonic reasoning - Baral, Subrahmanian - 1991 |

86 | A Logic Programming System for Nonmonotonic Reasoning - Alferes, Dam'asio, et al. - 1995 |

85 | A survey of complexity results for non-monotonic logics - Cadoli, Schaerf - 1993 |