Search Sciweavers | Sciweavers

12993 search results - page 292 / 2599

» Artificial Intelligence in China

150

click to vote

AMAI
2004
Springer

64views Artificial Intelligence» more AMAI 2004»

Satisfiability-Based Algorithms for Boolean Optimization

15 years 6 months ago

Download sat.inesc.pt

Vasco M. Manquinho, João P. Marques Silva

claim paper

Read More »

139

click to vote

AMAI
2004
Springer

74views Artificial Intelligence» more AMAI 2004»

On the Semantics of Deliberation in Indigolog - from Theory to Implementation

15 years 6 months ago

Download www.cs.toronto.edu

Sebastian Sardiña, Giuseppe De Giacomo, Yve...

claim paper

Read More »

185

Voted

AI
2002
Springer

101views Artificial Intelligence» more AI 2002»

Binary vs. non-binary constraints

15 years 6 months ago

Download www.cs.toronto.edu

Fahiem Bacchus, Xinguang Chen, Peter van Beek, Tob...

claim paper

Read More »

144

Voted

AI
2002
Springer

99views Artificial Intelligence» more AI 2002»

Nagging: A scalable fault-tolerant paradigm for distributed search

15 years 6 months ago

Download www.cs.uiowa.edu

Alberto Maria Segre, Sean L. Forman, Giovanni Rest...

claim paper

Read More »

137

click to vote

KI
2007
Springer

113views Artificial Intelligence» more KI 2007»

CheckMATE

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers