8031 search results - page 356 / 1607 » Knowledge and Workflow Systems |
148
click to vote
PRICAI
2004
Springer
16 years 5 days ago
2004
Springer
This paper introduces an augmentation hybrid system, referred to as Rated MCRDR. It uses Multiple Classification Ripple Down Rules (MCRDR), a simple and effective knowledge acquisi...
191
click to vote
DLOG
1998
15 years 8 months ago
1998
DLP (Description Logic Prover) is an experimental description logic knowledge representation system. DLP currently implements a superset of propositional dynamic logic as well as ...
183
click to vote
AAAI
2000
15 years 8 months ago
2000
or cone, abstraction is chosen to represent a spectrum of user inputs/requirements that are narrowed, refined, and structured into a system design. User inputs require refinement f...
180
click to vote
COLING
1992
15 years 8 months ago
1992
Knowledge-based interlingual machine translation systems produce semantically accurate translations, but typically require massive knowledge acquisition. Ongoing research and deve...
179
click to vote
ICAISC
2004
Springer
16 years 6 days ago
2004
Springer
ActiveMath is a web-based intelligent tutoring system for mathematics. This article presents the technical and pedagogical goals of ActiveMath, its principles of design and archite...