2840 search results - page 186 / 568 » Information Retrieval and Artificial Intelligence |
192
Voted
TABLEAUX
2005
Springer
16 years 17 days ago
2005
Springer
The Intuitionistic Logic Theorem Proving (ILTP) Library provides a platfom for testing and benchmarking theorem provers for first-order intuitionistic logic. It includes a collect...
220
Voted
ANTSW
2004
Springer
16 years 15 days ago
2004
Springer
Abstract. In this paper we present a study of several Ant Colony Optimization (ACO) algorithms for the Set Covering Problem. In our computational study we emphasize the influence ...
198
click to vote
AUSAI
2004
Springer
16 years 15 days ago
2004
Springer
The conversational agent understands and provides users with proper information based on natural language. Conventional agents based on pattern matching have much restriction to ma...
181
Voted
ECAI
2004
Springer
16 years 15 days ago
2004
Springer
The Semantic Grid is an extension of the current Grid in which information and services are given well-defined meaning, better enabling computers and people to work in cooperation....
151
click to vote
ECAI
2004
Springer
16 years 15 days ago
2004
Springer
The understanding of novel compounds is a special case in which we can explore the deep generativity of natural language understanding. We report a model, PUNC, which captures the ...