In order to specify a limited reasoning service for proper+ KBs, we propose a new logic of limited belief called the subjective logic SL . SL supports unit reso

This book describes in detail the relationship between symbolic representations of knowledge and abstract states of knowledge, exploring along the way the found

The two-volume set LNCS 9366 and 9367 constitutes the refereed proceedings of the 14th International Semantic Web Conference, ISWC 2015, held in Bethlehem, PA,

This book constitutes the refereed proceedings of the 14th International Conference on Scalable Uncertainty Management, SUM 2020, which was held in Bozen-Bolzan

The proceedings of the Second International Conference on [title] held in Cambridge, Massachusetts, April 1991, comprise 55 papers on topics including the logic