3005 search results - page 143 / 601 » Logical Information Systems: from Taxonomies to Logics |
208
click to vote
TABLEAUX
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...
168
click to vote
JELIA
2004
Springer
16 years 14 days ago
2004
Springer
Practical reasoners are resource-bounded—in particular they require time to derive consequences of their knowledge. Building on the Timed Reasoning Logics (TRL) framework introdu...
177
click to vote
COLING
2002
15 years 7 months ago
2002
We present a principled approach to the problem of connecting a controlled document authoring system with a knowledge base. We start by describingclosed-world authoring situations...
170
click to vote
KR
1994
Springer
15 years 11 months ago
1994
Springer
A key problem in case-based reasoning is the representation, organization and maintenance of case libraries. While current approaches rely on heuristic and psychologically inspire...
185
click to vote
IJCNN
2007
IEEE
16 years 1 months ago
2007
IEEE
— The relationship between subsymbolic neural networks and symbolic logical systems is discussed from the point of view of the account of computational science by Paul Humphreys ...