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
- Rune M. Jensen, Manuela M. Veloso, Randal E. Bryant:
State-set branching: Leveraging BDDs for heuristic search.
103-139
- Kathryn B. Laskey:
MEBN: A language for first-order Bayesian knowledge bases.
140-178
- Sung-Soon Choi, Kyomin Jung, Jeong Han Kim:
Phase transition in a random NK landscape model.
179-203
- Javier Larrosa, Federico Heras, Simon de Givry:
A logical approach to efficient Max-SAT solving.
204-233
- Thierry Denoeux:
Conjunctive and disjunctive combination of belief functions induced by nondistinct bodies of evidence.
234-264
- Paolo Liberatore:
Redundancy in logic II: 2CNF and Horn propositional formulae.
265-299
- 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
- Ronen I. Brafman, Carmel Domshlak:
Graphically structured value-function compilation.
325-349
Volume 172,
Numbers 4-5,
March 2008
- Ralf Gerber, Hans-Hellmut Nagel:
Representation of occurrences for road vehicle traffic.
351-391
- Benoit Morisset, Malik Ghallab:
Learning how to combine sensory-motor functions into a robust behavior.
392-412
- Greg Barish, Craig A. Knoblock:
Speculative plan execution for information gathering.
413-453
- André da Motta Salles Barreto, Charles W. Anderson:
Restricted gradient-descent algorithm for value-function approximation in reinforcement learning.
454-482
- 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
- Uzi Zahavi, Ariel Felner, Robert C. Holte, Jonathan Schaeffer:
Duality in permutation state spaces and the dual search algorithm.
514-540
- David Sarne, Sarit Kraus:
Managing parallel inquiries in agents' two-sided search.
541-569
- Michael Freund:
On the notion of concept I.
570-590
- Peter Baumgartner, Cesare Tinelli:
The model evolution calculus as a first-order DPLL method.
591-632
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
- Erica Melis, Andreas Meier, Jörg H. Siekmann:
Proof planning with multiple strategies.
656-684
- Daniel Bryce, Subbarao Kambhampati, David E. Smith:
Sequential Monte Carlo in reachability heuristics for probabilistic planning.
685-715
- Andrea Lockerd Thomaz, Cynthia Breazeal:
Teachable robots: Understanding human teaching behavior to build more effective robot learners.
716-737
- Ian P. Gent, Peter Nightingale, Andrew G. D. Rowley, Kostas Stergiou:
Solving quantified constraint satisfaction problems.
738-771
- Mark Chavira, Adnan Darwiche:
On probabilistic inference by weighted model counting.
772-799
- Christian Bessiere, Kostas Stergiou, Toby Walsh:
Domain filtering consistencies for non-binary constraints.
800-822
- Raz Lin, Sarit Kraus, Jonathan Wilkenfeld, James Barry:
Negotiating with bounded rational agents in environments with incomplete information using an automated agent.
823-851
- Thomas Lukasiewicz:
Expressive probabilistic description logics.
852-883
- M. M. Olsen, N. Siegelmann-Danieli, Hava T. Siegelmann:
Robust artificial life via artificial programmed death.
884-898
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
- Di Wu, Xenofon D. Koutsoukos:
Reachability analysis of uncertain systems using bounded-parameter Markov decision processes.
945-954
- Ole J. Mengshoel:
Understanding the role of noise in stochastic local search: Analysis and experiments.
955-990
- Jérôme Lang, Pierre Marquis:
On propositional definability.
991-1017
- Laurent Garcia, Régis Sabbadin:
Complexity results and algorithms for possibilistic influence diagrams.
1018-1044
- Michael L. Anderson, Walid E. Gomaa, John Grant, Donald Perlis:
Active logic semantics for a single agent in a static world.
1045-1063
- John Grant, Anthony Hunter:
Analysing inconsistent first-order knowledgebases.
1064-1093
- Martin J. Green, David A. Cohen:
Domain permutation reduction for constraint satisfaction problems.
1094-1118
- Nicola Gatti, Francesco Di Giunta, Stefano Marino:
Alternating-offers bargaining with one-sided uncertain deadlines: an efficient algorithm.
1119-1157
- Steven Schockaert, Martine De Cock:
Temporal reasoning about fuzzy intervals.
1158-1193
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
- Silja Renooij, Linda C. van der Gaag:
Enhanced qualitative probabilistic networks for resolving trade-offs.
1470-1494
- Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, Roman Schindlauer, Hans Tompits:
Combining answer set programming with description logics for the Semantic Web.
1495-1539
- Ernest Davis:
Pouring liquids: A study in commonsense physical reasoning.
1540-1578
- Blai Bonet, Hector Geffner:
Heuristics for planning with penalties and rewards formulated in logic and computed through circuits.
1579-1604
- Yuanlin Zhang, Eugene C. Freuder:
Properties of tree convex constraints.
1605-1612
Volume 172,
Number 14,
September 2008
Volume 172,
Number 15,
October 2008
Erratum
- Piero A. Bonatti:
Erratum to: Reasoning with infinite stable models [Artificial Intelligence 156 (1) (2004) 75-111].
1833-1835
Volume 172,
Numbers 16-17,
November 2008
Volume 172,
Number 18,
December 2008
Copyright © Mon Nov 2 21:23:47 2009
by Michael Ley (ley@uni-trier.de)
