default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArtificial Intelligence, Volume 172
Volume 172, Number 1, January 2008
- Sarit Kraus, Penina Hoz-Weiss, Jonathan Wilkenfeld, David R. Andersen, Amy Pate:
Resolving crises through automated bilateral negotiations. 1-18 - Ulrich Rückert, Luc De Raedt
:
An experimental evaluation of simplicity in rule learning. 19-28 - Christian Bessiere, Romuald Debruyne:
Theoretical analysis of singleton arc consistency and its extensions. 29-41 - Jim Q. Smith, Paul E. Anderson:
Conditional independence and chain event graphs. 42-68
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øller 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 - Megan 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 James 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
- Matthias Hild, Wolfgang Spohn:
The measurement of ranks and the laws of iterated contraction. 1195-1218 - Kees van Deemter, Brigitte Krenn, Paul Piwek, Martin Klesen, Marc Schröder, Stefan Baumann:
Fully generated scripted dialogue for embodied agents. 1219-1244 - Gustav Nordh, Bruno Zanuttini:
What makes propositional abduction tractable. 1245-1284 - Chris Mellish, Jeff Z. Pan:
Natural language directed inference from ontologies. 1285-1315
Volume 172, Number 11, July 2008
- Paolo Liberatore:
Redundancy in logic III: Non-monotonic reasoning. 1317-1359 - Jürg Kohlas, Nic Wilson:
Semiring induced valuation algebras: Exact and approximate local computation algorithms. 1360-1399 - Gert de Cooman, Filip Hermans:
Imprecise probability trees: Bridging two theories of imprecise probability. 1400-1427
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
- Maxim Likhachev, Dave Ferguson, Geoffrey J. Gordon, Anthony Stentz, Sebastian Thrun:
Anytime search in dynamic graphs. 1613-1643 - Thomas Eiter, Kewen Wang:
Semantic forgetting in answer set programming. 1644-1672 - S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings:
A linear approximation method for the Shapley value. 1673-1699 - Perukrishnen Vytelingum, Dave Cliff, Nicholas R. Jennings:
Strategic bidding in continuous double auctions. 1700-1729
Volume 172, Number 15, October 2008
- Yaxin Bi, Jiwen Guan, David A. Bell:
The combination of multiple classifiers using an evidential reasoning approach. 1731-1751 - Duc Nghia Pham, John Thornton, Abdul Sattar:
Modelling and solving temporal reasoning as propositional satisfiability. 1752-1782 - Ryan Porter, Amir Ronen, Yoav Shoham, Moshe Tennenholtz:
Fault tolerant mechanism design. 1783-1799 - Denver Dash, Marek J. Druzdzel:
A note on the correctness of the causal ordering algorithm. 1800-1808 - Yang Yu, Zhi-Hua Zhou:
A new approach to estimating the expected first hitting time of evolutionary algorithms. 1809-1832
- 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
- Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli:
Outlier detection using default reasoning. 1837-1872 - Jiji Zhang:
On the completeness of orientation rules for causal discovery in the presence of latent confounders and selection bias. 1873-1896 - Eyke Hüllermeier, Johannes Fürnkranz, Weiwei Cheng, Klaus Brinker:
Label ranking by learning pairwise preferences. 1897-1916 - Aviv Zohar, Jeffrey S. Rosenschein:
Mechanisms for information elicitation. 1917-1939
Volume 172, Number 18, December 2008
- Don Perlis, Mary-Anne Williams:
Editorial. 1943 - Margaret A. Boden:
Odd man out: Reply to reviewers. 1944-1964 - Erik Sandewall:
A review of the Handbook of Knowledge Representation. 1965-1966 - Christopher J. Stanton, Mary-Anne Williams:
, Robotics: State of the Art and Future Challenges , Imperial College Press (2008). 1967-1972 - Ian P. Gent, Ian Miguel, Peter Nightingale:
Generalised arc consistency for the AllDifferent constraint: An empirical survey. 1973-2000 - John McCarthy:
The well-designed child. 2003-2014 - Aaron Sloman:
The well-designed young mathematician. 2015-2034
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 01:28 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
