7960 search results - page 520 / 1592 » Systems for Knowledge and Beliefs |
184
click to vote
CADE
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
159
click to vote
SRDS
1999
IEEE
15 years 11 months ago
1999
IEEE
Implementing an Online Shop can be a risky project, since there's no widespread and profound knowledge and experiences. This guideline is intended to support managing the org...
139
click to vote
CAISE
2006
Springer
15 years 11 months ago
2006
Springer
In this paper, we present the H-Change methodology we have specifically conceived for evolving independent ontologies in open networked systems. Furthermore, we describe the change...
175
click to vote
EUSFLAT
2001
15 years 8 months ago
2001
When a whole knowledge base must be derived for a fuzzy rule-based system, learning methods usually address this task with two or more sequential stages by separately designing ea...
168
click to vote
NAACL
2004
15 years 8 months ago
2004
State-of-the-art pronoun interpretation systems rely predominantly on morphosyntactic contextual features. While the use of deep knowledge and inference to improve these models wo...