892 search results - page 39 / 179 » Strategies in sentential reasoning |
AMET
1998
Springer
14 years 22 days ago
1998
Springer
Abstract. Auction-based electronic commerce is an increasingly interesting domain for AI researchers. In this paper we present an attempt towards the construction of trading agents...
CHARME
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Automatic formal verification techniques generally require exponential resources with respect to the number of primary inputs of a netlist. In this paper, we present sev...
AAAI
2010
13 years 10 months ago
2010
Web search engines respond to a query by returning more results than can be reasonably reviewed. These results typically include the title, link, and snippet of content from the t...
ECIS
2001
13 years 10 months ago
2001
The motivation for strategic action should be highest in volatile, unstable and unpredictable environments. For that reason, the search for a more strategic, systematic approach t...
SYRCODIS
2007
13 years 9 months ago
2007
As XML has become a standard for data representation, it is inevitable to propose and implement techniques for efficient managing of XML data. A natural alternative is to exploit...