2840 search results - page 186 / 568 » Information Retrieval and Artificial Intelligence |
181
click to vote
TABLEAUX
2005
Springer
16 years 1 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...
200
click to vote
ANTSW
2004
Springer
15 years 12 months 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 ...
178
click to vote
AUSAI
2004
Springer
15 years 12 months 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...
164
click to vote
ECAI
2004
Springer
15 years 12 months 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....
143
click to vote
ECAI
2004
Springer
15 years 12 months 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 ...