9145 search results - page 431 / 1829 » Description Logic Systems |
184
click to vote
DC
2001
15 years 8 months ago
2001
This paper describes the latest version of the ABC metadata model. This model has been developed within the Harmony international digital library project to provide a common conce...
199
click to vote
WM
2003
15 years 8 months ago
2003
Techniques for computation on generalized diagrams are defined and the KM implications are explored. Descriptive Computing is presented and plan computation based on world models t...
159
click to vote
AAAI
1993
15 years 8 months ago
1993
This paper discusses the important issue of knowledge base comprehensibility and describes a technique for comprehensibility improvement. Comprehensibility is often measured by si...
190
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
In [1], systems of weakening of intuitionistic negation logic called Zn and CZn were developed in the spirit of da Costa’s approach(c.f. [2]) by preserving, differently from da C...
188
click to vote
TABLEAUX
2005
Springer
16 years 11 days ago
2005
Springer
The Intuitionistic Logic Theorem Proving (ILTP) Library provides a platfom for testing and benchmarking theorem provers for first-order intuitionistic logic. It includes a collect...