artificial intelligence

27

IJCAI
2007

152views Artificial Intelligence» more IJCAI 2007»

Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving

13 years 10 months ago

In this paper we present a general logical framework for (weighted) MAX-SAT problem, and study properties of inference rules for branch and bound MAX-SAT solver. Several rules, wh...

Han Lin, Kaile Su

claim paper

Read More »

24

click to vote

IJCAI
2007

138views Artificial Intelligence» more IJCAI 2007»

Word Sense Disambiguation with Spreading Activation Networks Generated from Thesauri

13 years 10 months ago

Download www.aueb.gr

Most word sense disambiguation (WSD) methods require large quantities of manually annotated training data and/or do not exploit fully the semantic relations of thesauri. We propos...

George Tsatsaronis, Michalis Vazirgiannis, Ion And...

claim paper

Read More »

11

click to vote

IJCAI
2007

158views Artificial Intelligence» more IJCAI 2007»

Efficient Bayesian Task-Level Transfer Learning

13 years 10 months ago

Download www.ijcai.org

Daniel M. Roy, Leslie Pack Kaelbling

claim paper

Read More »

34

click to vote

IJCAI
2007

189views Artificial Intelligence» more IJCAI 2007»

Multipotential Games

13 years 10 months ago

Download www.ijcai.org

We introduce and analyze q-potential games and qcongestion games, where q is a positive integer. A 1-potential (congestion) game is a potential (congestion) game. We show that a g...

Dov Monderer

claim paper

Read More »

24

click to vote

IJCAI
2007

175views Artificial Intelligence» more IJCAI 2007»

An Experts Algorithm for Transfer Learning

13 years 10 months ago

Download www.ijcai.org

A long-lived agent continually faces new tasks in its environment. Such an agent may be able to use knowledge learned in solving earlier tasks to produce candidate policies for it...

Erik Talvitie, Satinder Singh

claim paper

Read More »

27

click to vote

IJCAI
2007

119views Artificial Intelligence» more IJCAI 2007»

A Study of Residual Supports in Arc Consistency

13 years 10 months ago

Download www.cril.univ-artois.fr

In an Arc Consistency (AC) algorithm, a residual support, or residue, is a support that has been stored during a previous execution of the procedure which determines if a value is ...

Christophe Lecoutre, Fred Hemery

claim paper

Read More »

11

click to vote

IJCAI
2007

140views Artificial Intelligence» more IJCAI 2007»

Non-monotonic Temporal Logics for Goal Specification

13 years 10 months ago

Download www.ijcai.org

Chitta Baral, Jicheng Zhao

claim paper

Read More »

21

click to vote

IJCAI
2007

170views Artificial Intelligence» more IJCAI 2007»

State Space Search for Risk-Averse Agents

13 years 10 months ago

Download www-desir.lip6.fr

We investigate search problems under risk in statespace graphs, with the aim of ﬁnding optimal paths for risk-averse agents. We consider problems where uncertainty is due to the...

Patrice Perny, Olivier Spanjaard, Louis-Xavier Sto...

claim paper

Read More »

35

click to vote

IJCAI
2007

186views Artificial Intelligence» more IJCAI 2007»

Online Speed Adaptation Using Supervised Learning for High-Speed, Off-Road Autonomous Driving

13 years 10 months ago

Download hoffmann.stanford.edu

The mobile robotics community has traditionally addressed motion planning and navigation in terms of steering decisions. However, selecting the best speed is also important – be...

David Stavens, Gabriel Hoffmann, Sebastian Thrun

claim paper

Read More »

10

click to vote

IJCAI
2007

121views Artificial Intelligence» more IJCAI 2007»

Efficient Calculation of Personalized Document Rankings

13 years 10 months ago