Gerhard Kostler, Werner Kieling, Helmut Thone, and Ulrich Guntzer. The differential fixpoint operator with subsumption. Technical Report TUM-I9315, Fakultat fur Informatik, Technische Universit at Munchen, 1993. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Deductive Database Support for Software Configuration - Freitag, Margaria, Steffen (1994) (Correct)
....search heuristics into a deductive database system [SKGB87] As another problem cyclic paths that of course frequently occur in large libraries lead to non termination. This problem can be solved applying a shortest path semantics which can be realized by fixpoint computation with subsumption [KKTG93] Explanation tools [Spe93] that interpret the proof tree of any answer to a query are incorporated into the LOLA system and can be applied to detect interface conflicts, missing components and the like. 6 Summary We have shown that quite a number of problems related to configuration support can ....
Gerhard Kostler, Werner Kießling, Helmut Thone, and Ulrich Guntzer. The differential fixpoint operator with subsumption. In Deductive and ObjectOriented Databases -- Proc. 3rd International Conference DOOD'93. SpringerVerlag, 1993.
The Differential Fixpoint Operator with Subsumption - Köstler, Kießling, Thöne.. (1993) (2 citations) Self-citation (Kostler Kieling Thone Guntzer) (Correct)
....As a separate area of interest we show how intelligent heuristic search algorithms from AI can be incorporated into deductive databases using our approach. The paper ends with a conclusion and perspective of this contribution. Proofs obmitted in this version can be found in the full version [KKTG93]. 2 Fixpoints, Models and Subsumption 2.1 Fixpoints with Subsumption Fixpoint theory applied in logic programming is based on the notion of equality. It uses the powerset lattice of the Herbrand base that is partially ordered by set inclusion. In this section we introduce a fixpoint iteration ....
Gerhard Kostler, Werner Kieling, Helmut Thone, and Ulrich Guntzer. The differential fixpoint operator with subsumption. Technical Report TUM-I9315, Fakultat fur Informatik, Technische Universit at Munchen, 1993.
Database Reasoning - A Deductive Framework for Solving Large .. - Kießling, Güntzer (1994) (1 citation) Self-citation (Kieling Guntzer) (Correct)
....complex planning processes and combinatorial problems. This paper discusses our approach of database reasoning to extend deductive databases towards semantic and heuristic control. The presented material has its origins in early works on this subject ( SKGB89] and in recent theoretical advances ([KKTG93]) The rest of this paper is organized as follows. Section 2 is concerned with the theoretical foundations of subsumption as a fundamental paradigm to specify certain semantic knowledge. In section 3 we propose to extend Datalog programming by subsumption towards so called Datalog S, which will ....
....approach by extending theorem proving to utilize database facilities. Let us start from logic programming with its conventional fixpoint semantics, which is based on the notion of equality and uses the powerset lattice of the Herbrand base that is partially ordered by set inclusion. Recently, [KKTG93] have introduced a fixpoint iteration not based on equality but on any partial ordering of a basic set (e.g. the Herbrand base of a logic program) This ordering can capture application semantics in the sense that one element is preferred over another one, rendering the latter superfluous because ....
[Article contains additional citation context not shown here]
Gerhard Kostler, Werner Kieling, Helmut Thone, and Ulrich Guntzer. The differential fixpoint operator with subsumption. In Proc. of the 3 rd Int'l. Conf. on Deductive and Object-Oriented Databases, Scottsdale, AR, Dec. 1993, pp. 35 - 48.
Fixpoint Iteration with Subsumption in Deductive Databases - Köstler, Kießling, Thöne, .. (1995) (Correct)
No context found.
Gerhard Kostler, Werner Kießling, Helmut Thone, and Ulrich Guntzer. The differential fixpoint operator with subsumption. In Stefano Ceri, Katsumi Tanaka, and Shalom Tsur, editors, Proc. 3rd Int'l. Conf. on Deductive and Object-Oriented Databases, volume 760 of LNCS, pages 35--48, Phoenix, AZ, USA, Dec. 1993.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC