115 search results - page 5 / 23 » ai 2003 |
74
Voted
GAMEON
2003
14 years 10 months ago
2003
This work presents the chosen approach for the prototyping of an Artificial Intelligence Engine designed to provide support for the implementation of AI functionalities in compute...
AI
2004
Springer
14 years 9 months ago
2004
Springer
Most logic-based AI research works at a meta-theoretical level, producing new logics and studying their properties. Little effort is made to show how these logics can be used to f...
AI
2003
Springer
15 years 2 months ago
2003
Springer
In this paper, we describe our experimentations in answer formulation for question-answering (QA) systems. In the context of QA, answer formulation can serve two purposes: improvin...
63
Voted
AI
2003
Springer
15 years 2 months ago
2003
Springer
The Internet has opened opportunities for efficient on-line trading, and researchers have developed algorithms for various auctions, as well as exchanges for standardized commoditi...
75
Voted
AI
2003
Springer
15 years 2 months ago
2003
Springer
MAX-SAT, the optimisation variant of the satisfiability problem in propositional logic, is an important and widely studied combinatorial optimisation problem with applications in ...