Open AccessProceedings Article
Logic programs with classical negation
Michael Gelfond,Vladimir Lifschitz +1 more
- pp 579-597
Reads0
Chats0
About:
This article is published in International Conference on Lightning Protection.The article was published on 1990-05-01 and is currently open access. It has received 602 citations till now. The article focuses on the topics: Negation & Predicate functor logic.read more
Citations
More filters
Book ChapterDOI
Rewriting Queries Using Views
Sergio Flesca,Sergio Greco +1 more
TL;DR: The problem of answering queries using materialized views in the presence of negative goals by 'inverting' views and deriving both positive and negative knowledge is considered and the problem of inferring knowledge from views based on relations with functional dependencies is analyzed.
Journal ArticleDOI
Efficient evaluation of a class of ordered logic programs
TL;DR: An algorithm for the efficient bottom-up evaluation of the well-founded model of quasi-stratified programs is provided and is implemented in KIWIS, an advanced environment for large database systems, whose query language is based on OL.
What' si n aModel? Epistemologica lAnalysi so fLogi cProgramming
TL;DR: This paper shows an epistemological ambiguity that arises in the context of logic programming, and investigates the causes and the consequences of this phenomenon and points out some directions to overcome the ambiguity.
Book ChapterDOI
The basic query machine of the KIWIS system
TL;DR: The basic implementation principles as well as the integrated architecture of the Basic Query Machine (BQM) — the module of KIWIS in charge of implementing the bottom-up model of execution of a class of LOCO programs, are described.
Book ChapterDOI
Non-Atomic Actions in the Situation Calculus
TL;DR: It is shown that the extended situation calculus with non-atomic actions has the same expressive power as the basic situation calculus.