540 search results - page 77 / 108 » A Computational Logic Approach to Syllogisms in Human Reason... |
85
Voted
HRI
2010
ACM
15 years 5 months ago
2010
ACM
—Alan Turing proposed a test for the intelligence of machines in 1950 [1]. Despite great efforts, no computer has passed this test so far. Each year, chat bots compete for the Lo...
112
Voted
HRI
2010
ACM
15 years 7 months ago
2010
ACM
—Speaking using unconstrained natural language is an intuitive and flexible way for humans to interact with robots. Understanding this kind of linguistic input is challenging be...
91
Voted
NAR
2000
15 years 10 days ago
2000
The Molecular Biology Database Collection represents an effort geared at making molecular biology database resources more accessible to biologists. This online resource, available...
98
Voted
ADC
2004
Springer
15 years 4 months ago
2004
Springer
Current collaborative work environments are characterized by dynamically changing organizational structures. Although there have been several efforts to refine work distribution, ...
104
click to vote
AI
2000
Springer
15 years 12 days ago
2000
Springer
We investigate the improvement of theorem proving by reusing previously computed proofs. We have developed and implemented the PLAGIATOR system which proves theorems by mathematic...