home
news
Statistics
browse
conferences
journals
series
search
author
CompleteSearch
Faceted Search @ L3S
Free Search @ isearch
about
f.a.q.
team
legal bits
Annals of Mathematics and Artificial Intelligence
, Volume 47
Volume 47, Numbers 1-2, June 2006
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/amai/BrewkaD06
ask others
Google
Google Scholar
MS Academic Search
PubZone
Gerhard Brewka
,
Jürgen Dix
:
Preface.
1-2
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/amai/Pearce06
ask others
Google
Google Scholar
MS Academic Search
PubZone
David Pearce
:
Equilibrium logic.
3-41
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/amai/FaberK06
ask others
Google
Google Scholar
MS Academic Search
PubZone
Wolfgang Faber
,
Kathrin Konczak
:
Strong order equivalence.
43-78
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/amai/FerrarisLL06
ask others
Google
Google Scholar
MS Academic Search
PubZone
Paolo Ferraris
,
Joohyung Lee
,
Vladimir Lifschitz
:
A generalization of the Lin-Zhao theorem.
79-101
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/amai/HeymansNV06
ask others
Google
Google Scholar
MS Academic Search
PubZone
Stijn Heymans
,
Davy Van Nieuwenborgh
,
Dirk Vermeir
:
Conceptual logic programs.
103-137
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/amai/NicolasGSL06
ask others
Google
Google Scholar
MS Academic Search
PubZone
Pascal Nicolas
,
Laurent Garcia
,
Igor Stéphan
,
Claire Lefèvre
:
Possibilistic uncertainty handling for answer set programming.
139-181
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/amai/BalducciniGN06
ask others
Google
Google Scholar
MS Academic Search
PubZone
Marcello Balduccini
,
Michael Gelfond
,
Monica Nogueira
:
Answer set based design of knowledge systems.
183-219
Volume 47, Numbers 3-4, August 2006
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/amai/Zilberstein06
ask others
Google
Google Scholar
MS Academic Search
PubZone
Shlomo Zilberstein
:
Preface.
221
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/amai/Dean06
ask others
Google
Google Scholar
MS Academic Search
PubZone
Thomas Dean
:
Learning invariant features using inertial priors.
223-250
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/amai/GiuntaG06
ask others
Google
Google Scholar
MS Academic Search
PubZone
Francesco Di Giunta
,
Nicola Gatti
:
Bargaining over multiple issues in finite horizon alternating-offers protocol.
251-271
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/amai/DolgovD06
ask others
Google
Google Scholar
MS Academic Search
PubZone
Dmitri A. Dolgov
,
Edmund H. Durfee
:
Symmetric approximate linear programming for factored MDPs with application to constrained problems.
273-293
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/amai/GaglioloS06
ask others
Google
Google Scholar
MS Academic Search
PubZone
Matteo Gagliolo
,
Jürgen Schmidhuber
:
Learning dynamic algorithm portfolios.
295-328
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/amai/MjolsnessY06
ask others
Google
Google Scholar
MS Academic Search
PubZone
Eric Mjolsness
,
Guy Yosiphon
:
Stochastic process semantics for dynamical grammars.
329-395
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/amai/St-AubinFM06
ask others
Google
Google Scholar
MS Academic Search
PubZone
Robert St-Aubin
,
Joel Friedman
,
Alan K. Mackworth
:
A formal mathematical framework for modeling probabilistic hybrid systems.
397-425