1917 search results - page 84 / 384 » Experimenting with Nonmonotonic Reasoning |
90
Voted
FLAIRS
2001
15 years 2 months ago
2001
Knowledge management depends on effective methods for capturing knowledge in useful forms and making it available when needed. Electronic concept maps provide a promising represen...
118
click to vote
SPLC
2004
15 years 2 months ago
2004
A fundamental reason for investing in product families is to minimize the application engineering costs. Several organizations that employ product families, however, are becoming i...
111
click to vote
WSC
1998
15 years 2 months ago
1998
A regional transportation system and the movement of large traffic volumes through it, are characteristic of stochastic systems. The standard traffic management or transportation ...
117
click to vote
MICS
2008
15 years 5 days ago
2008
Mizar is a proof assistant used for formalization and mechanical verification of mathematics. The main use of Mizar is in the development of the Mizar Mathematical Library (MML), i...
91
Voted
JASIS
2010
14 years 11 months ago
2010
Since the publication of Robert K. Merton’s theory of cumulative advantage in science (Matthew Effect), several empirical studies have tried to measure its presence at the level...