Sciweavers

257 search results - page 30 / 52
» ai 2006
Sort
View
ECAI
2006
Springer
15 years 1 months ago
A Solver for QBFs in Nonprenex Form
Various problems in AI can be solved by translating them into a quantified boolean formula (QBF) and evaluating the resulting encoding. In this approach, a QBF solver is used as a ...
Uwe Egly, Martina Seidl, Stefan Woltran
AI
2007
Springer
14 years 9 months ago
A spectrum of compromise aggregation operators for multi-attribute decision making
In many decision making problems, a number of independent attributes or criteria are often used to individually rate an alternative from an agent’s local perspective and then th...
Xudong Luo, Nicholas R. Jennings
JAIR
2002
122views more  JAIR 2002»
14 years 9 months ago
Competitive Safety Analysis: Robust Decision-Making in Multi-Agent Systems
Much work in AI deals with the selection of proper actions in a given (known or unknown) environment. However, the way to select a proper action when facing other agents is quite ...
Moshe Tennenholtz
HRI
2006
ACM
15 years 3 months ago
Structural descriptions in human-assisted robot visual learning
The paper presents an approach to using structural descriptions, obtained through a human-robot tutoring dialogue, as labels for the visual object models a robot learns. The paper...
Geert-Jan M. Kruijff, John D. Kelleher, Gregor Ber...
COCOON
2006
Springer
15 years 1 months ago
Finding Patterns with Variable Length Gaps or Don't Cares
In this paper we have presented new algorithms to handle the pattern matching problem where the pattern can contain variable length gaps. Given a pattern P with variable length gap...
M. Sohel Rahman, Costas S. Iliopoulos, Inbok Lee, ...