Principles of Knowledge Representation and Reasoning: Proceedings of the Seventh International Conference (KR2000), Breckenridge, Colorado, April 12-15 2000

Front Cover
A. G. Cohn, Fausto Giunchiglia, Bart Selman
Morgan Kaufmann Publishers, 2000 - Computers - 736 pages
0 Reviews

What people are saying - Write a review

We haven't found any reviews in the usual places.


Common terms and phrases

Popular passages

Page 521 - Our discussion will be adequate if it has as much clearness as the subject matter admits of, for precision is not to be sought for alike in all discussions, any more than in all the products of the crafts.
Page 176 - Dipartimento di Informatica e Sistemistica Universita di Roma "La Sapienza...
Page 174 - Pagnucco for his comments on an earlier version of this paper. This work was supported in part by the Research Grants Council of Hong Kong under Competitive Earmarked Research Grants HKUST6091/97E and HKUST6145/98E.
Page 298 - I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In H.
Page 297 - G. De Giacomo and M. Lenzerini. TBox and ABox reasoning in expressive description logics. In Luigia C.
Page 255 - The extension to approximate distances calls for fuzzy structuring elements. We define these structuring elements through their membership function v on S. Structuring elements with a spherical symmetry can typically be used, where the membership degree only depends on the distance to the center of the structuring element. Let us consider the generalization to the fuzzy case of the last case (minimum distance of at least ni and maximum distance of at most ni to a fuzzy set p).
Page 297 - F. Baader and B. Hollunder. A terminological knowledge representation system with complete inference algorithms.
Page 184 - Calvanese, D., De Giacomo, G., Lenzerini, M.: On the decidability of query containment under constraints. In: Proc. of the 17th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS'98).
Page 73 - M. Goldszmidt and J. Pearl. Rank-based systems: a simple approach to belief revision, belief update, and reasoning about evidence and actions.
Page 310 - Voronkov, editors, Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99), number 1705 in Lecture Notes in Artificial Intelligence, pages 161-180.

Bibliographic information