303 search results - page 18 / 61 » From Description Logic Provers to Knowledge Representation S... |
99
Voted
AO
2007
15 years 16 days ago
2007
This work introduces a formal framework for the social acquisition of ontologies which are constructed dynamically from overhearing the possibly conflicting symbolic interaction o...
121
click to vote
IJCAI
1997
15 years 1 months ago
1997
We address the problem of introducing preferences into default logic. Two approaches are given, one a generalisation of the other. In the first approach, an ordered default theory...
87
Voted
AI
2004
Springer
15 years 5 months ago
2004
Springer
If we are to understand human-level intelligence, we need to understand how meanings can be learned without explicit instruction. I take a step toward that understanding by showing...
102
Voted
EXACT
2007
15 years 2 months ago
2007
This study describes a discourse approach to explanation aware knowledge representation. It presents a reasoning model that adheres to argumentation as found in written discourse,...
123
click to vote
ICTAI
2007
IEEE
15 years 6 months ago
2007
IEEE
We review a method of generating logical rules, or axioms, from empirical data. This method, using closed set properties of formal concept analysis, has been previously described ...