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

### What people are saying - Write a review

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

### Contents

15 | |

38 | |

53 | |

74 | |

99 | |

121 | |

135 | |

145 | |

401 | |

425 | |

445 | |

471 | |

494 | |

519 | |

539 | |

559 | |

167 | |

186 | |

213 | |

225 | |

235 | |

261 | |

285 | |

311 | |

333 | |

355 | |

378 | |

580 | |

601 | |

625 | |

647 | |

667 | |

678 | |

702 | |

717 | |

735 | |

### Common terms and phrases

ABox action agent algorithm applied approach Artificial Intelligence atomic autoepistemic logic axioms Baader Bayesian networks belief belief revision calculus Cassie clauses complete components concept description condition consider consistent constraints corresponding database decision default default logic defined Definition denoted description logics diagnosis discrete space domain edge entailment equivalent example exists expression Figure finite fluent Fluent Calculus formal formula framework function fuzzy sets given graph Hb(P inference input instance interpretation intersection graph knowledge bases knowledge representation labeled language Lemma logic programs matchers matching problem merging minimal rewriting modal modal logics node notion NP-complete objects observation ontology operator paper partial stable models partition polynomial possible Proc proof propositional query reasoning region represent restrictions robot role rule satisfies Section semantics sequence space spatial structure subset subsumption symbols TBox temporal Theorem theory tion topological variables

### 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.