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

Portada
A. G. Cohn, Fausto Giunchiglia, Bart Selman
Morgan Kaufmann Publishers, 2000 - 736 pàgines
 

Continguts

Frases i termes més freqüents

Passatges populars

Pàgina 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.
Pàgina 176 - Dipartimento di Informatica e Sistemistica Universita di Roma "La Sapienza...
Pàgina 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.
Pàgina 298 - I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In H.
Pàgina 297 - G. De Giacomo and M. Lenzerini. TBox and ABox reasoning in expressive description logics. In Luigia C.
Pàgina 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).
Pàgina 297 - F. Baader and B. Hollunder. A terminological knowledge representation system with complete inference algorithms.
Pàgina 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).
Pàgina 73 - M. Goldszmidt and J. Pearl. Rank-based systems: a simple approach to belief revision, belief update, and reasoning about evidence and actions.
Pàgina 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.

Informació bibliogràfica