Volume 172,
Number 1,
January 2008
Volume 172,
Numbers 2-3,
February 2008
- Alistair Knott, Peter Vlugter:
Multi-agent human-machine dialogue: issues in dialogue management and referring expression semantics.
69-102
Electronic Edition (link) BibTeX
- Rune M. Jensen, Manuela M. Veloso, Randal E. Bryant:
State-set branching: Leveraging BDDs for heuristic search.
103-139
Electronic Edition (link) BibTeX
- Kathryn B. Laskey:
MEBN: A language for first-order Bayesian knowledge bases.
140-178
Electronic Edition (link) BibTeX
- Sung-Soon Choi, Kyomin Jung, Jeong Han Kim:
Phase transition in a random NK landscape model.
179-203
Electronic Edition (link) BibTeX
- Javier Larrosa, Federico Heras, Simon de Givry:
A logical approach to efficient Max-SAT solving.
204-233
Electronic Edition (link) BibTeX
- Thierry Denoeux:
Conjunctive and disjunctive combination of belief functions induced by nondistinct bodies of evidence.
234-264
Electronic Edition (link) BibTeX
- Paolo Liberatore:
Redundancy in logic II: 2CNF and Horn propositional formulae.
265-299
Electronic Edition (link) BibTeX
- Sargur N. Srihari, Jim Collins, Rohini K. Srihari, Harish Srinivasan, Shravya Shetty, Janina Brutt-Griffler:
Automatic scoring of short handwritten essays in reading comprehension tests.
300-324
Electronic Edition (link) BibTeX
- Ronen I. Brafman, Carmel Domshlak:
Graphically structured value-function compilation.
325-349
Electronic Edition (link) BibTeX
Volume 172,
Numbers 4-5,
March 2008
- Ralf Gerber, Hans-Hellmut Nagel:
Representation of occurrences for road vehicle traffic.
351-391
Electronic Edition (link) BibTeX
- Benoit Morisset, Malik Ghallab:
Learning how to combine sensory-motor functions into a robust behavior.
392-412
Electronic Edition (link) BibTeX
- Greg Barish, Craig A. Knoblock:
Speculative plan execution for information gathering.
413-453
Electronic Edition (link) BibTeX
- André da Motta Salles Barreto, Charles W. Anderson:
Restricted gradient-descent algorithm for value-function approximation in reinforcement learning.
454-482
Electronic Edition (link) BibTeX
- Tim Van Allen, Ajit Singh, Russell Greiner, Peter Hooper:
Quantifying the uncertainty of a belief net response: Bayesian error-bars for belief net inference.
483-513
Electronic Edition (link) BibTeX
- Uzi Zahavi, Ariel Felner, Robert C. Holte, Jonathan Schaeffer:
Duality in permutation state spaces and the dual search algorithm.
514-540
Electronic Edition (link) BibTeX
- David Sarne, Sarit Kraus:
Managing parallel inquiries in agents' two-sided search.
541-569
Electronic Edition (link) BibTeX
- Michael Freund:
On the notion of concept I.
570-590
Electronic Edition (link) BibTeX
- Peter Baumgartner, Cesare Tinelli:
The model evolution calculus as a first-order DPLL method.
591-632
Electronic Edition (link) BibTeX
Volume 172,
Numbers 6-7,
April 2008
- Avi Rosenfeld, Gal A. Kaminka, Sarit Kraus, Onn Shehory:
A study of mechanisms for improving robotic group performance.
633-655
Electronic Edition (link) BibTeX
- Erica Melis, Andreas Meier, Jörg H. Siekmann:
Proof planning with multiple strategies.
656-684
Electronic Edition (link) BibTeX
- Daniel Bryce, Subbarao Kambhampati, David E. Smith:
Sequential Monte Carlo in reachability heuristics for probabilistic planning.
685-715
Electronic Edition (link) BibTeX
- Andrea Lockerd Thomaz, Cynthia Breazeal:
Teachable robots: Understanding human teaching behavior to build more effective robot learners.
716-737
Electronic Edition (link) BibTeX
- Ian P. Gent, Peter Nightingale, Andrew G. D. Rowley, Kostas Stergiou:
Solving quantified constraint satisfaction problems.
738-771
Electronic Edition (link) BibTeX
- Mark Chavira, Adnan Darwiche:
On probabilistic inference by weighted model counting.
772-799
Electronic Edition (link) BibTeX
- Christian Bessiere, Kostas Stergiou, Toby Walsh:
Domain filtering consistencies for non-binary constraints.
800-822
Electronic Edition (link) BibTeX
- Raz Lin, Sarit Kraus, Jonathan Wilkenfeld, James Barry:
Negotiating with bounded rational agents in environments with incomplete information using an automated agent.
823-851
Electronic Edition (link) BibTeX
- Thomas Lukasiewicz:
Expressive probabilistic description logics.
852-883
Electronic Edition (link) BibTeX
- M. M. Olsen, N. Siegelmann-Danieli, Hava T. Siegelmann:
Robust artificial life via artificial programmed death.
884-898
Electronic Edition (link) BibTeX
Volume 172,
Numbers 8-9,
May 2008
- Alfonso Gerevini, Alessandro Saetti, Ivan Serina:
An approach to efficient planning with numerical fluents and multi-criteria plan quality.
899-944
Electronic Edition (link) BibTeX
- Di Wu, Xenofon D. Koutsoukos:
Reachability analysis of uncertain systems using bounded-parameter Markov decision processes.
945-954
Electronic Edition (link) BibTeX
- Ole J. Mengshoel:
Understanding the role of noise in stochastic local search: Analysis and experiments.
955-990
Electronic Edition (link) BibTeX
- Jérôme Lang, Pierre Marquis:
On propositional definability.
991-1017
Electronic Edition (link) BibTeX
- Laurent Garcia, Régis Sabbadin:
Complexity results and algorithms for possibilistic influence diagrams.
1018-1044
Electronic Edition (link) BibTeX
- Michael L. Anderson, Walid E. Gomaa, John Grant, Donald Perlis:
Active logic semantics for a single agent in a static world.
1045-1063
Electronic Edition (link) BibTeX
- John Grant, Anthony Hunter:
Analysing inconsistent first-order knowledgebases.
1064-1093
Electronic Edition (link) BibTeX
- Martin J. Green, David A. Cohen:
Domain permutation reduction for constraint satisfaction problems.
1094-1118
Electronic Edition (link) BibTeX
- Nicola Gatti, Francesco Di Giunta, Stefano Marino:
Alternating-offers bargaining with one-sided uncertain deadlines: an efficient algorithm.
1119-1157
Electronic Edition (link) BibTeX
- Steven Schockaert, Martine De Cock:
Temporal reasoning about fuzzy intervals.
1158-1193
Electronic Edition (link) BibTeX
Volume 172,
Number 10,
June 2008
Volume 172,
Number 11,
July 2008
Volume 172,
Numbers 12-13,
August 2008
- Chitta Baral, Thomas Eiter, Marcus Bjäreland, Mutsumi Nakamura:
Maintenance goals of agents in a dynamic environment: Formulation and policy construction.
1429-1469
Electronic Edition (link) BibTeX
- Silja Renooij, Linda C. van der Gaag:
Enhanced qualitative probabilistic networks for resolving trade-offs.
1470-1494
Electronic Edition (link) BibTeX
- Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, Roman Schindlauer, Hans Tompits:
Combining answer set programming with description logics for the Semantic Web.
1495-1539
Electronic Edition (link) BibTeX
- Ernest Davis:
Pouring liquids: A study in commonsense physical reasoning.
1540-1578
Electronic Edition (link) BibTeX
- Blai Bonet, Hector Geffner:
Heuristics for planning with penalties and rewards formulated in logic and computed through circuits.
1579-1604
Electronic Edition (link) BibTeX
- Yuanlin Zhang, Eugene C. Freuder:
Properties of tree convex constraints.
1605-1612
Electronic Edition (link) BibTeX
Volume 172,
Number 14,
September 2008
Volume 172,
Number 15,
October 2008
Erratum
Volume 172,
Numbers 16-17,
November 2008
Volume 172,
Number 18,
December 2008
Copyright © Sat May 16 23:49:50 2009
by Michael Ley (ley@uni-trier.de)
