1588 search results - page 97 / 318 » The Intelligence Within |
161
click to vote
TABLEAUX
1995
Springer
15 years 10 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...
171
click to vote
AIIA
1991
Springer
15 years 10 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-...
155
click to vote
AAAI
2007
15 years 9 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...
142
click to vote
FLAIRS
2010
15 years 9 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...
148
click to vote
AAAI
2007
15 years 9 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...