1588 search results - page 97 / 318 » The Intelligence Within |
145
click to vote
TABLEAUX
1995
Springer
15 years 9 months ago
1995
Springer
We present a procedure transforming intuitionistic matrix proofs into proofs within the intuitionistic standard sequent calculus. The transformation is based on L. Wallen’s proof...
150
click to vote
AIIA
1991
Springer
15 years 9 months ago
1991
Springer
The following paper describes FSS-WASTL, a system for the acquisition of semantic knowledge within XTRA – a natural language access system to expert systems. Starting from user-...
131
click to vote
AAAI
2007
15 years 8 months ago
2007
Various tasks in decision making and decision support require selecting a preferred subset of items from a given set of feasible items. Recent work in this area considered methods...
121
click to vote
FLAIRS
2010
15 years 8 months ago
2010
Most researchers agree that there is a continuum between well-definedness and ill-definedness. However, positioning a specific problem within this continuum is not always easy. To...
120
click to vote
AAAI
2007
15 years 8 months ago
2007
Any Web user is a potential knowledge contributor, but it remains a challenge to make them devote their time contributing to some purpose. In order to align individual with social...