default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArtificial Intelligence, Volume 173
Volume 173, Number 1, January 2009
- Andrew Coles, Maria Fox
, Keith Halsey, Derek Long, Amanda Smith:
Managing concurrency in temporal planning using planner-scheduler interaction. 1-44 - Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge:
Reasoning about coalitional games. 45-79 - Rui Prada, Ana Paiva:
Teaming up humans with autonomous synthetic characters. 80-103 - Enrique Miranda, Marco Zaffalon:
Coherence graphs. 104-144 - Kevin Gold, Marek W. Doniec, Christopher Crick, Brian Scassellati:
Robotic vocabulary building using extension inference and implicit contrast. 145-166 - Michael Freund:
On the notion of concept II. 167-179 - Dov Monderer, Moshe Tennenholtz:
Strong mediated equilibrium. 180-195
Volume 173, Number 2, February 2009
- James Fan, Ken Barker, Bruce W. Porter:
Automatic interpretation of loosely encoded input. 197-220 - Felix Brandt, Felix A. Fischer, Paul Harrenstein, Yoav Shoham:
Ranking games. 221-239 - Yuren Zhou, Jun He, Qing Nie:
A comparative runtime analysis of heuristic algorithms for satisfiability problems. 240-257 - Steven Schockaert, Martine De Cock, Etienne E. Kerre:
Spatial reasoning in a fuzzy region connection calculus. 258-298 - Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh:
Filtering algorithms for the multiset ordering constraint. 299-328 - Hannah M. Dee, David C. Hogg:
Navigational strategies in behaviour modelling. 329-342 - Sylvain Bouveret, Michel Lemaître:
Computing leximin-optimal solutions in constraint networks. 343-364 - Yixin Chen, Ruoyun Huang, Zhao Xing, Weixiong Zhang:
Long-distance mutual exclusion for planning. 365-391 - Michael Zuckerman, Ariel D. Procaccia, Jeffrey S. Rosenschein:
Algorithms for the coalitional manipulation problem. 392-412
Volume 173, Numbers 3-4, March 2009
- Leila Amgoud, Henri Prade:
Using arguments for making and explaining decisions. 413-436 - Yingqian Zhang, Efrat Manisterski, Sarit Kraus, V. S. Subrahmanian, David Peleg:
Computing the fault tolerance of multi-agent deployment. 437-465 - Tom Froese, Tom Ziemke:
Enactive artificial intelligence: Investigating the systemic organization of life and mind. 466-500
Volume 173, Numbers 5-6, April 2009
- Maria Fox, Sylvie Thiébaux:
Advances in automated plan generation. 501-502 - Malte Helmert:
Concise finite-domain representations for PDDL planning tasks. 503-535 - Mark Roberts, Adele E. Howe:
Learning from planner performance. 536-561 - J. Benton, Minh Binh Do, Subbarao Kambhampati:
Anytime heuristic search for partial satisfaction planning. 562-592 - Jorge A. Baier, Fahiem Bacchus, Sheila A. McIlraith:
A heuristic search approach to planning with temporally extended preferences. 593-618 - Alfonso Gerevini, Patrik Haslum, Derek Long, Alessandro Saetti, Yannis Dimopoulos:
Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners. 619-668 - Ugur Kuter, Dana S. Nau, Marco Pistore, Paolo Traverso:
Task decomposition on abstract states, for planning under nondeterminism. 669-695 - Maxim Likhachev, Anthony Stentz:
Probabilistic planning with clear preferences on missing information. 696-721 - Olivier Buffet, Douglas Aberdeen:
The factored policy-gradient planner. 722-747 - Scott Sanner, Craig Boutilier:
Practical solution techniques for first-order MDPs. 748-788
Volume 173, Numbers 7-8, May 2009
- François Portet, Ehud Reiter, Albert Gatt, Jim Hunter, Somayajulu Sripada, Yvonne Freer, Cindy Sykes:
Automatic generation of textual summaries from neonatal intensive care data. 789-816 - Liang-Chih Yu, Chung-Hsien Wu, Fong-Lin Jang:
Psychiatric document retrieval using a discourse-aware model. 817-829 - Thi V. Duong, Dinh Q. Phung, Hung Bui, Svetha Venkatesh:
Efficient duration and hierarchical modeling for human activity recognition. 830-856 - Gianluca Baldassarre, Stefano Nolfi:
Strengths and synergies of evolved and designed controllers: A study within collective robotics. 857-875 - Adam I. Juda, David C. Parkes:
An options-based solution to the sequential auction problem. 876-899
Volume 173, Numbers 9-10, June 2009
- Sanjay Modgil:
Reasoning about preferences in argumentation frameworks. 901-934 - Nishan C. Karunatillake, Nicholas R. Jennings, Iyad Rahwan, Peter McBurney:
Dialogue games that agents play within a society. 935-981 - Francesco Belardinelli, Alessio Lomuscio:
Quantified epistemic logics for reasoning about knowledge in multi-agent systems. 982-1013 - Raquel Ros, Josep Lluís Arcos, Ramón López de Mántaras, Manuela M. Veloso:
A case-based approach for coordinated action selection in robot soccer. 1014-1039
Volume 173, Number 11, July 2009
- Pingzhong Tang, Fangzhen Lin:
Computer-aided proofs of Arrow's and other impossibility theorems. 1041-1053 - Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh:
Range and Roots: Two common patterns for specifying and propagating counting and occurrence constraints. 1054-1078 - Gilles Chabert, Luc Jaulin:
Contractor programming. 1079-1100 - Christopher W. Geib, Robert P. Goldman:
A probabilistic plan recognition algorithm based on plan tree grammars. 1101-1132
Volume 173, Numbers 12-13, August 2009
- Ariel D. Procaccia, Aviv Zohar, Yoni Peleg, Jeffrey S. Rosenschein:
The learnability of voting rules. 1133-1149 - Erez Karpas, Solomon Eyal Shimony, Amos Beimel:
Approximate belief updating in max-2-connected Bayes networks is NP-hard. 1150-1153 - Daniel Kayser, Farid Nouioua:
From the textual description of an accident to its causes. 1154-1193 - Giacomo Bonanno:
Rational choice and AGM belief revision. 1194-1203 - Yuanlin Zhang, Satyanarayana Marisetti:
Solving connected row convex constraints by variable elimination. 1204-1219
Volume 173, Number 14, September 2009
- Raffay Hamid, Siddhartha Maddi, Amos Y. Johnson, Aaron F. Bobick, Irfan A. Essa, Charles Lee Isbell Jr.:
A novel sequence representation for unsupervised analysis of human activities. 1221-1244 - Aline Deruyver, Yann Hodé, Luc Brun:
Image interpretation with a conceptual graph: Labeling over-segmented images and detection of unexpected objects. 1245-1265 - Jean-François Paiement, Samy Bengio, Douglas Eck:
Probabilistic models for melodic prediction. 1266-1274 - Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler:
Representing ontologies using description logics, description graphs, and rules. 1275-1309 - Rüdiger Ebendt, Rolf Drechsler:
Weighted A* search - unifying view and application. 1310-1342 - Yong Gao:
Data reductions, fixed parameter tractability, and random weighted d-CNF satisfiability. 1343-1366
Volume 173, Number 15, October 2009
- Konstantine Arkoudas, Selmer Bringsjord:
Vivid: A framework for heterogeneous problem solving. 1367-1405 - Philippe Besnard, Anthony Hunter, Stefan Woltran:
Encoding deductive argumentation in quantified Boolean formulae. 1406-1423 - Torsten Hahmann, Michael Winter, Michael Gruninger:
Stonian p-ortholattices: A new approach to the mereotopology RT0. 1424-1440 - Itai Ashlagi, Dov Monderer, Moshe Tennenholtz:
Two-terminal routing games with unknown active players. 1441-1455
Volume 173, Numbers 16-17, November 2009
- Radu Marinescu, Rina Dechter:
AND/OR Branch-and-Bound search for combinatorial optimization in graphical models. 1457-1491 - Radu Marinescu, Rina Dechter:
Memory intensive AND/OR search for combinatorial optimization in graphical models. 1492-1524 - Yan Zhang, Yi Zhou:
Knowledge forgetting: Properties and applications. 1525-1537
Volume 173, Number 18, December 2009
- Jonathan Lawry, Yongchuan Tang:
Uncertainty modelling for vague concepts: A prototype theory approach. 1539-1558 - Paul E. Dunne:
The computational complexity of ideal semantics. 1559-1591 - Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal:
Reasoning from last conflict(s) in constraint programming. 1592-1614 - Matthew Klenk, Kenneth D. Forbus:
Analogical model formulation for transfer learning in AP Physics. 1615-1638
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 2026-02-10 22:42 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:
