Last update: Thu Sep 27 02:46:57 MDT 2018
@Article{Atzeni:1988:SCI,
author = "Paolo Atzeni and D. Stott Parker",
title = "Set containment inference and syllogisms",
journal = j-THEOR-COMP-SCI,
volume = "62",
number = "1--2",
pages = "39--65",
month = dec,
year = "1988",
CODEN = "TCSCDI",
ISSN = "0304-3975 (print), 1879-2294 (electronic)",
ISSN-L = "0304-3975",
bibdate = "Sat Nov 22 13:29:49 MST 1997",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/tcs1985.bib",
acknowledgement = ack-nhfb,
affiliation = "CNR",
affiliationaddress = "Rome, Italy",
classification = "723; C4210 (Formal logic); C6170 (Expert systems)",
conference = "Selected Papers presented at the First International
Conference on Database Theory",
corpsource = "IASI-CNR, Roma, Italy",
fjournal = "Theoretical Computer Science",
journal-URL = "http://www.sciencedirect.com/science/journal/03043975/",
journalabr = "Theor Comput Sci",
keywords = "Computer Metatheory--Formal Logic; consistency;
containment statements; Database Systems; formal
languages; formal logic; inference; intractability;
knowledge representation; Knowledge Representation;
negative information; Set Containment Inference;
Syllogisms; syllogisms; Theory; Type Hierarchies; Type
Inclusion Inference",
meetingaddress = "Rome, Italy",
meetingdate = "Sep 1986",
meetingdate2 = "09/86",
pubcountry = "Netherlands",
sponsor = "European Assoc for Theoretical Computer Science",
treatment = "T Theoretical or Mathematical",
}