Search Sciweavers | Sciweavers

13827 search results - page 345 / 2766

» The state of artificial intelligence

149

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 »

138

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 »

184

click to vote

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 »

143

click to vote

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