default search action
Artificial Intelligence, Volume 170
Volume 170, Number 1, January 2006
- Sanjiang Li
, Huaiqing Wang:
RCC8 binary constraint network can be consistently extended. 1-18 - Russell Greiner, Ryan Hayward, Magdalena Jankowska, Michael Molloy:
Finding optimal satisficing strategies for and-or trees. 19-58
Volume 170, Number 2, February 2006
- Maria Fox
Robot introspection through learned hidden Markov models. 59-113 - Phan Minh Dung, Robert A. Kowalski, Francesca Toni:
Dialectic proof procedures for assumption-based, admissible argumentation. 114-159 - Joohyung Lee, Fangzhen Lin:
Loop formulas for circumscription. 160-185
Volume 170, Number 3, March 2006
- Benjamin W. Wah, Yixin Chen:
Constraint partitioning in penalty formulations for solving temporal planning problems. 187-231 - Gianfranco Lamperti
Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques. 232-297 - Vincent Vidal, Hector Geffner
Branching and pruning: An optimal temporal POCL planner based on constraint programming. 298-335
Volume 170, Numbers 4-5, April 2006
- Piergiorgio Bertoli, Alessandro Cimatti
Strong planning under partial observability. 337-384 - Rong Zhou, Eric A. Hansen:
Breadth-first heuristic search. 385-408 - Shou-De Lin, Kevin Knight:
Discovering the linear writing order of a two-dimensional ancient hieroglyphic script. 409-421 - Xianchao Xie, Zhi Geng, Qiang Zhao:
Decomposition of structural learning about directed acyclic graphs. 422-439 - Roie Zivan, Amnon Meisels:
Concurrent search for distributed CSPs. 440-461 - Franz Huber:
Ranking functions and rankings on languages. 462-471 - Ivayla Vatcheva, Hidde de Jong
Experiment selection for the discrimination of semi-quantitative models of dynamical systems. 472-506
Volume 170, Numbers 6-7, May 2006
- Jörg Hoffmann, Ronen I. Brafman:
Conformant planning via heuristic forward search: A new approach. 507-541 - Thomas Eiter, Thomas Lukasiewicz:
Causes and explanations in the structural-model approach: Tractable cases. 542-580 - Mingsheng Ying
Linguistic quantifiers modeled by Sugeno integrals. 581-606 - Vincent Conitzer, Tuomas Sandholm:
Complexity of constructing solutions in the core based on synergies among coalitions. 607-619 - Mitja Lustrek, Matjaz Gams, Ivan Bratko:
Is real-valued minimax pathological? 620-642 - Francesco Savelli:
Existential assertions and quantum levels on the tree of the situation calculus. 643-652
Volume 170, Numbers 8-9, June 2006
- David Maxwell Chickering, Christopher Meek:
On the incompatibility of faithfulness and monotone DAG faithfulness. 653-666 - M. Rebolledo:
Rough intervals - enhancing intervals for qualitative modeling of technical systems. 667-685 - Craig Boutilier, Relu Patrascu, Pascal Poupart, Dale Schuurmans:
Constraint-based optimization and utility elicitation using the minimax decision criterion. 686-713 - Sharlee Climer
Cut-and-solve: An iterative search strategy for combinatorial optimization problems. 714-738 - Yan Zhang, Norman Y. Foo:
Solving logic program conflict through strong and weak forgettings. 739-778 - Marco Cadoli, Toni Mancini
Automated reformulation of specifications by safe delay of constraints. 779-801
Volume 170, Number 10, July 2006
- Alan M. Frisch
Propagation algorithms for lexicographic ordering constraints. 803-834 - Michael J. Wooldridge, Paul E. Dunne
On the computational complexity of coalitional resource games. 835-871 - Silvana Badaloni, Massimiliano Giacomin
The algebra IAfuz: a framework for qualitative fuzzy temporal reasoning. 872-908
Volume 170, Number 11, August 2006
- Weiru Liu:
Analyzing the degree of conflict among belief functions. 909-924 - Giuseppe Carenini, Johanna D. Moore:
Generating and evaluating evaluative arguments. 925-952 - Riccardo Poli
Backward-chaining evolutionary algorithms. 953-982 - David A. Cohen, Martin C. Cooper
The complexity of soft constraint satisfaction. 983-1016 - Erik T. Mueller
Event calculus and temporal action logics compared. 1017-1029
Volume 170, Numbers 12-13, September 2006
- Jussi Rintanen
Planning as satisfiability: parallel plans and algorithms for plan search. 1031-1080
Volume 170, Numbers 14-15, October 2006
- Alan Fern, Robert Givan:
Sequential inference with reliable observations: Learning to construct force-dynamic models. 1081-1100 - Aron Culotta, Trausti T. Kristjansson, Andrew McCallum, Paul A. Viola:
Corrective feedback and persistent learning for information extraction. 1101-1122
Volume 170, Numbers 16-17, November 2006
- Robert C. Holte, Ariel Felner
Maximizing over multiple pattern databases speeds up heuristic search. 1123-1136 - Ole J. Mengshoel, David C. Wilkins, Dan Roth:
Controlled generation of hard and easy Bayesian networks: Impact on maximal clique size in tree clustering. 1137-1174 - Susan Craw
Learning adaptation knowledge to improve case-based reasoning. 1175-1192
Volume 170, Number 18, December 2006
- Peter Norvig, Donald Perlis:
Editorial Note. 1193
- Melanie Mitchell:
Complex systems: Network thinking. 1194-1212
- Michael L. Anderson:
Strike while the iron is. 1213-1217 - Roger B. Dannenberg:
David Cope, Computer Models of Musical Creativity, MIT Press (2005). 1218-1221 - Tim Oates, Waiyian Chong:
Marcus Hutter, Universal Artificial Intelligence, Springer (2004). 1222-1226 - Drew V. McDermott:
Kurzweil's argument for the success of AI. 1227-1233 - William J. Idsardi:
Three books on language: pro-Noam, anti-Noam, net-Noam. 1234-1236 - Tom Costello, John McCarthy:
Jon Doyle, Extending Mechanics to Minds: The Mechanical Foundations of Psychology and Economics, Cambridge University Press (2006). 1237-1238 - Leora Morgenstern:
Knowledge representation and commonsense reasoning: Reviews of four books. 1239-1250
- Lee Spector:
Evolution of artificial intelligence. 1251-1253 - Roger C. Schank:
Once upon a time in AI. 1254-1255 - Terry Winograd:
Shifting viewpoints: Artificial intelligence and human-computer interaction. 1256-1258
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 2024-12-26 00:53 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: