home
news
Statistics
browse
conferences
journals
series
search
author
CompleteSearch
Faceted Search @ L3S
Free Search @ isearch
about
f.a.q.
team
legal bits
24.
AAAI
Workshop: Abstraction, Reformulation, and Approximation 2010: Atlanta, Georgia, USA
view
electronic edition @ aaai.org
export record as
BibTeX
XML
dblp key:
conf/aaai/2010abstr
ask others
Google
Google Scholar
MS Academic Search
PubZone
Abstraction, Reformulation, and Approximation, Papers from the 2010 AAAI Workshop, Atlanta, Georgia, USA, July 12, 2010.
AAAI 2010
AAAI Workshops
WS-10-08
view
electronic edition @ aaai.org
export record as
BibTeX
XML
dblp key:
conf/aaai/ProvanS10
ask others
Google
Google Scholar
MS Academic Search
PubZone
Gregory Provan
,
Ashish Sabharwal
:
Preface.
view
electronic edition @ aaai.org
export record as
BibTeX
XML
dblp key:
conf/aaai/BartakKZ10
ask others
Google
Google Scholar
MS Academic Search
PubZone
Roman Barták
,
Ondrej Kuzelka
,
Filip Zelezný
:
Formulating Template Consistency in Inductive Logic Programming as a Constraint Satisfaction Problem.
view
electronic edition @ aaai.org
export record as
BibTeX
XML
dblp key:
conf/aaai/BurnsLRZ10
ask others
Google
Google Scholar
MS Academic Search
PubZone
Ethan Burns
,
Sofia Lemons
,
Wheeler Ruml
,
Rong Zhou
:
Parallel Best-First Search: The Role of Abstraction.
view
electronic edition @ aaai.org
export record as
BibTeX
XML
dblp key:
conf/aaai/DrescherW10
ask others
Google
Google Scholar
MS Academic Search
PubZone
Christian Drescher
,
Toby Walsh
:
Reformulation of Global Constraints in Answer Set Programming.
view
electronic edition @ aaai.org
export record as
BibTeX
XML
dblp key:
conf/aaai/EpsteinY10
ask others
Google
Google Scholar
MS Academic Search
PubZone
Susan L. Epstein
,
Xi Yun
:
From Unsolvable to Solvable: An Exploration of Simple Changes.
view
electronic edition @ aaai.org
export record as
BibTeX
XML
dblp key:
conf/aaai/HabetJ10
ask others
Google
Google Scholar
MS Academic Search
PubZone
Djamal Habet
,
Philippe Jégou
:
Toward a Generalization and a Reformulation of Goods in SAT - Preliminary Report.
view
electronic edition @ aaai.org
export record as
BibTeX
XML
dblp key:
conf/aaai/JonesG10
ask others
Google
Google Scholar
MS Academic Search
PubZone
Joshua Jones
,
Ashok K. Goel
:
Effects of Faulty Knowledge Engineering on Structured Classification Learning.
view
electronic edition @ aaai.org
export record as
BibTeX
XML
dblp key:
conf/aaai/KrocSS10
ask others
Google
Google Scholar
MS Academic Search
PubZone
Lukas Kroc
,
Ashish Sabharwal
,
Bart Selman
:
Approximate Inference for Clusters in Solution Spaces.
view
electronic edition @ aaai.org
export record as
BibTeX
XML
dblp key:
conf/aaai/LinW10
ask others
Google
Google Scholar
MS Academic Search
PubZone
Stephen Lin
,
Robert Wright
:
Evolutionary Tile Coding: An Automated State Abstraction Algorithm for Reinforcement Learning.
view
electronic edition @ aaai.org
export record as
BibTeX
XML
dblp key:
conf/aaai/LoscalzoW10
ask others
Google
Google Scholar
MS Academic Search
PubZone
Steven Loscalzo
,
Robert Wright
:
Automatic Methods for Continuous State Space Abstraction.
view
electronic edition @ aaai.org
export record as
BibTeX
XML
dblp key:
conf/aaai/MuiseMBH10
ask others
Google
Google Scholar
MS Academic Search
PubZone
Christian J. Muise
,
Sheila A. McIlraith
,
J. Christopher Beck
,
Eric I. Hsu
:
Fast d-DNNF Compilation with sharpSAT.
view
electronic edition @ aaai.org
export record as
BibTeX
XML
dblp key:
conf/aaai/SaittaVWJZL10
ask others
Google
Google Scholar
MS Academic Search
PubZone
Lorenza Saitta
,
Christel Vrain
,
Zhaohui Wu
,
Lu Jiang
,
Qinghua Zheng
,
Jun Liu
:
Abstracting Markov Networks.
view
electronic edition @ aaai.org
export record as
BibTeX
XML
dblp key:
conf/aaai/ZhengK10a
ask others
Google
Google Scholar
MS Academic Search
PubZone
Xiaoming Zheng
,
Sven Koenig
:
Market-Based Algorithms for Allocating Complex Tasks.