MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "The Deductive Database System LOLA." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

12 documents found, showing 1 through 10. Next 10 →

ATOM

The deductive database system LOLA
by Ulrich Zukowski, Burkhard Freitag — 1997 — In Proc. 4th Int. Conf. on Logic Programming and Nonmonotonic Reasoning (LPNMR '97), Dagstuhl
…The Deductive Database System LOLA Ulrich Zukowski and Burkhard Freitag Universität Passau…
Cited by 10 (6 self) – Add To MetaCart

AMOS: A Natural Language Parser Implemented As A Deductive Database In LOLA
by Günther Specht, Burkhard Freitag — 1995 — in LOLA in Ramakrishnan R.: Applications of Logic Databases, Kluwer Academic
…-oriented bottom-up natural language parsing system AMOS, a major application of the deductive database system LOLA…
Cited by 3 (1 self) – Add To MetaCart

Deductive Database Support for Software Configuration
by Burkhard Freitag, Tiziana Margaria, Bernhard Steffen — 1994
… on the deductive database system LOLA has been implemented that showed very promising results as regards both…
Add To MetaCart

A Pragmatic Approach to Software Synthesis
by Burkhard Freitag, Tiziana Margaria, Bernhard Steffen — 1994 — ACM SIGPLAN Worksh. on Interface Definition Languages
… on the deductive database system LOLA, in three application specific settings. 1 Introduction The configuration…
Cited by 6 (6 self) – Add To MetaCart

A Pragmatic Approach to Software Synthesis
by Burkhard Freitag Tiziana, Tiziana Margaria, Bernhard Steffen — 1994 — ACM SIGPLAN Worksh. on Interface Definition Languages
… on the deductive database system LOLA, in three application specific settings. 1 Introduction The configuration…
Add To MetaCart

Montague Grammars as Deductive Databases
by Günther Specht, Stefan Seeberger — 1995 — In Deductive and Object-Oriented Databases – Proc. 4th International Conference DOOD’95
… implemented the material presented in the deductive database system LOLA. 1 Introduction Deductive database…
Add To MetaCart

Bottom-Up Query Evaluation in Extended Deductive Databases
by Stefan Brass, Dem Fachbereich Mathematik, Fur Das Fachgebiet Informatik, Vorgelegte Habilitationsschrift — 1996
… + 92] an application is mentioned, where the deductive database system LOLA is used for checking…
Cited by 2 (2 self) – Add To MetaCart

An Approach to Intelligent Software Library Management
by Burkhard Freitag, Bernhard Steffen, Tiziana Margaria, Ulrich Zukowski — 1995 — Nat. Univ. of Singapore
… has been implemented on top of the deductive database system LOLA [10]. Among the applications…
Cited by 4 (4 self) – Add To MetaCart

Logical Specification of Bulk Updates and Sequential Updates
by Carl-Alexander Wichert, Er Wichert, Burkhard Freitag — 1996 — In Proc. 4th Workshop on Deductive Databases and Logic Programming (DDLP '96) in conj. with JICSLP '96
… based on the deductive database system LOLA [9]. The rest of the paper is organized as follows. After…
Cited by 1 (1 self) – Add To MetaCart

Intelligent Software Synthesis in the DaCapo Environment
by B. Steffen, B. Freitag, A. Claßen, T. Margaria, U. Zukowski — 1994 — University of Aarhus
… as its retrieval and synthesis algorithm are implemented on top of the deductive database system LOLA [Fr…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB