Set containment inference and syllogisms

DOI10.1016/0304-3975(86)90011-3zbMath0662.68090OpenAlexW2010611126MaRDI QIDQ1114429

D. Stott Parker, Paolo Atzeni

Publication date: 1988

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(86)90011-3

zbMATH Keywords

negative informationbinary containment inferenceknowledge representation schemes

Mathematics Subject Classification ID

Artificial intelligence (68T99) Data structures (68P05) Information storage and retrieval of data (68P20)

Related Items (2)

Arithmetizations of Syllogistic à la Leibniz ⋮ Generalized quantifiers and modal logic

Cites Work

• DAL -- a logic for data analysis
• Rough sets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Set containment inference and syllogisms