DE eng

Search in the Catalogues and Directories

Hits 1 – 11 of 11

1
Model Theoretic Approach to View Updates in Deductive Databases
In: Journal of automated reasoning. - Dordrecht [u.a.] : Springer 17 (1996) 2, 171-198
OLC Linguistik
Show details
2
Ordered Model Trees: A Normal Form for Disjunctive Deductive Databases
In: Journal of automated reasoning. - Dordrecht [u.a.] : Springer 13 (1994) 1, 117-144
OLC Linguistik
Show details
3
View Updates in Stratified Disjunctive Databases
In: Journal of automated reasoning. - Dordrecht [u.a.] : Springer 11 (1993) 2, 249-268
OLC Linguistik
Show details
4
Logic and logic grammars for language processing
Tanaka, Yuichi (Mitarb.); Hasida, Koichi (Mitarb.); Dahl, Deborah A. (Mitarb.). - New York, N.Y. [u.a.] : Horwood, 1990
BLLDB
UB Frankfurt Linguistik
Show details
5
Readings in nonmonotonic reasoning
Minker, Jack (Mitarb.); Ginsberg, Matthew L. (Hrsg.); Israel, David I. (Mitarb.). - Los Altos, Cal. : Morgan Kaufmann, 1987
BLLDB
UB Frankfurt Linguistik
Show details
6
Completeness results for circumscription
In: Artificial intelligence. - Amsterdam : Elsevier 28 (1986) 1, 29-42
BLLDB
Show details
7
Answer and reason extraction : natural language and voice output for deductive relational data bases
In: Natural language based computer systems. - München [u.a.] : Hanser (1980), 9-56
BLLDB
Show details
8
Binary relations, matrices and inference developments
Minker, Jack. - College Park, Md : University of Maryland, Dept. of Computer Science, 1976
IDS Mannheim
Show details
9
Optimizing boolean expressions and data retrieval
Aronson, Alan R.; Minker, Jack. - College Park, Md : University of Maryland, [1976]
IDS Mannheim
Show details
10
A Note On Answer Extraction In Resolution Based Systems
Wilson, Gerald A.; Minker, Jack. - College Park, Md. : Univ. of Maryland, 1976
IDS Mannheim
Show details
11
Relational Data System Study.
In: DTIC AND NTIS (1970)
BASE
Show details

Catalogues
2
3
3
0
0
0
0
Bibliographies
4
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
1
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern