๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Database logic programming

โœ Scribed by MosheY. Vardi

Publisher
Elsevier Science
Year
1991
Tongue
English
Weight
108 KB
Volume
10
Category
Article
ISSN
0743-1066

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Fuzzy logic programming
Fuzzy logic programming
โœ Rafee Ebrahim ๐Ÿ“‚ Article ๐Ÿ“… 2001 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 151 KB

We develop Fuzzy Logic Programming with the goal to provide a theoretical background for fuzzy expert systems. With the system of fuzzy logic programming that we present the researcher and the practitioner have the theoretical results that the system produces only correct answers and all the possibl

Dense Time Logic Programming
Dense Time Logic Programming
โœ MOHSIN AHMED; G. VENKATESH ๐Ÿ“‚ Article ๐Ÿ“… 1996 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 905 KB

In this paper, we describe a dense temporal logic programming (DTLP) framework based on infinite binary trees called omega trees. We then look at an important subset of omega trees called ordinal trees that represent only meaningful dense time models. Ordinal trees have the properties of stability a

Framed temporal logic programming
Framed temporal logic programming
โœ Zhenhua Duan; Xiaoxiao Yang; Maciej Koutny ๐Ÿ“‚ Article ๐Ÿ“… 2008 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 622 KB

A Projection Temporal Logic is discussed and some of its laws are given. After that, an executable temporal logic programming language, called Framed Tempura, is formalized. A minimal model-based approach for framing in temporal logic programming is presented. Since framing destroys monotonicity, ca

Computer-assisted logical database desig
Computer-assisted logical database design
โœ George U. Hubbard ๐Ÿ“‚ Article ๐Ÿ“… 1979 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 957 KB

Computer-assisted logical database design