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

Privacy via Subsumption

โœ Scribed by Jon G. Riecke; Christopher A. Stone


Book ID
112252541
Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
149 KB
Volume
172
Category
Article
ISSN
0890-5401

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Subsumption and implication
โœ Georg Gottlob ๐Ÿ“‚ Article ๐Ÿ“… 1987 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 235 KB
On Deciding Subsumption Problems
โœ Uwe Egly; Reinhard Pichler; Stefan Woltran ๐Ÿ“‚ Article ๐Ÿ“… 2005 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 335 KB
On deciding subsumption problems
โœ Uwe Egly; Reinhard Pichler; Stefan Woltran ๐Ÿ“‚ Article ๐Ÿ“… 2004 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 362 KB
Undecidability of subsumption in NIKL
โœ Peter F. Patel-Schneider ๐Ÿ“‚ Article ๐Ÿ“… 1989 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 364 KB

Subsumption---determining whether one concept is more general than another--is known to be NP-hard for all reasonably expressive terminological logics, but, up to now, the decidability of subsumption for terminological logics used in current knowledge representation systems such as NIKL remained unk