2599 search results - page 43 / 520 » An Operational Semantics for Knowledge Bases |
AMR
2003
Springer
15 years 3 months ago
2003
Springer
As more and more knowledge and information becomes available through computers, a critical capability of systems supporting knowledge management is the classification of documents ...
101
click to vote
ICCBR
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Case-Based Reasoning (CBR) solves problems by reusing past problemsolving experiences maintained in a casebase. The key CBR knowledge container therefore is its casebase....
PADL
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rule...
FLAIRS
2007
15 years 3 days ago
2007
In this paper we explore a class of belief update operators, in which the definition of the operator is compositional with respect to the sentence to be added. The goal is to pro...
ISMIS
2003
Springer
15 years 3 months ago
2003
Springer
T his paper outlines a formal theory for de fining action concepts in taxonomical knowledge representation languages, in a form closely related to description logics. The central p...