13827 search results - page 2610 / 2766 » The state of artificial intelligence |
179
click to vote
IJCAI
2001
15 years 8 months ago
2001
The implementation of effective reasoning tools for deciding the satisfiability of Quantified Boolean Formulas (QBFs) is an important research issue in Artificial Intelligence. Ma...
219
click to vote
IJCAI
2001
15 years 8 months ago
2001
This paper presents a new multi-unit auction protocol (IR protocol) that is robust against false-name bids. Internet auctions have become an integral part of Electronic Commerce a...
238
click to vote
GAMEON
2003
15 years 8 months ago
2003
Simulation has been regarded as the third way to represent social models, alternative to other two symbol systems: the verbal argumentation and the mathematical one. Simulation ca...
186
click to vote
PAKM
2004
15 years 8 months ago
2004
Abstract. The aim of our work is to develop a flexible and powerful Knowledge Acquisition framework that allows users to rapidly develop Natural Language Processing systems, includ...
169
Voted
WSC
2001
15 years 8 months ago
2001
The Joint Warfare System (JWARS) is being equipped with a Commander Model (CM) to perform situation assessment and Course of Action (COA) selection, and a Commander Behavior Model...