default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArtificial Intelligence, Volume 174
Volume 174, Number 1, January 2010
- Javier Farreres, Karina Gibert
, Horacio Rodríguez, Charnyote Pluempitiwiriyawej:
Inference of lexical ontologies. The LeOnI methodology. 1-19 - Paul E. Dunne, Sarit Kraus, Efrat Manisterski, Michael J. Wooldridge:
Solving coalitional resource games. 20-50 - Timothy J. Norman, Chris Reed:
A logic of delegation. 51-71 - John Grant, Francesco Parisi, Austin Parker, V. S. Subrahmanian:
An AGM-style belief revision mechanism for probabilistic spatio-temporal logics. 72-104 - Georg Gottlob, Reinhard Pichler, Fang Wei:
Bounded treewidth as a key to tractability of knowledge representation and reasoning. 105-132
Volume 174, Number 2, February 2010
- Randy Goebel, Mary-Anne Williams:
The expanding breadth of artificial intelligence research. 133
- Salem Benferhat:
A book review on Elements of Argumentation. 134-139 - Carles Sierra:
Eric R. Kandel, In Search of Memory: The Emergence of a New Science of Mind , W.W. Norton (2006) 352 pp. 140-142 - Thomas Roth-Berghofer:
A review of the textbook Graph-based Knowledge Representation. 143-144 - Kevin P. Murphy:
Review of "Probabilistic graphical models" by Koller and Friedman. 145-146 - Yang Xiang:
A. Darwiche, Modeling and Reasoning with Bayesian Networks , Cambridge (2009). 147-151 - Michael L. Anderson:
Rolf Pfeifer and Josh Bongard, How the Body Shapes the Way We Think: A New View of Intelligence A Bradford Book , MIT Press (2007) ISBN 978-0-262-16239-5 394 pp. 152-154 - Randy G. Goebel:
William J. Raynor Jr., International Dictionary of Artificial Intelligence (2nd edition), Global Professional Publishing (2009) ISBN 978-0-85297-657-9 242 pp. 155
- Jim Hendler, Tim Berners-Lee:
From the Semantic Web to social machines: A research challenge for AI on the World Wide Web. 156-161 - Mingsheng Ying:
Quantum computation, quantum theory and AI. 162-176
- Salem Benferhat:
Interventions and belief change in possibilistic graphical models. 177-189 - Hai Zhuge:
Interactive semantics. 190-204 - Bruce L. McNaughton:
Cortical hierarchies, sleep, and the extraction of knowledge from memory. 205-214 - Shun-Zheng Yu:
Hidden semi-Markov models. 215-243
Volume 174, Numbers 3-4, March 2010
- Blai Bonet:
Conformant plans and beyond: Principles and complexity. 245-269 - Mirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Elicitation strategies for soft constraint problems with missing preferences: Properties, algorithms and experimental studies. 270-294 - Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski:
Logic programs with abstract constraint atoms: The role of computations. 295-315 - Piergiorgio Bertoli, Marco Pistore, Paolo Traverso:
Automated composition of Web services via planning in asynchronous domains. 316-361
Volume 174, Numbers 5-6, April 2010
- Mingyu Guo, Vincent Conitzer:
Optimal-in-expectation redistribution mechanisms. 363-381 - Gianluigi Greco, Francesco Scarcello:
On the power of structural decompositions of graph-based representations of constraint problems. 382-409 - César Ignacio García-Osorio, Aida de Haro-García, Nicolás García-Pedrajas:
Democratic instance selection: A linear complexity instance selection algorithm based on classifier ensemble concepts. 410-441 - Binghui Liu, Jianhua Guo, Bing-Yi Jing:
A note on minimal d-separation trees for structural learning. 442-448
Volume 174, Numbers 7-8, May 2010
- Martin C. Cooper, Simon de Givry, Martí Sánchez-Fibla, Thomas Schiex, Matthias Zytnicki, Tomás Werner:
Soft arc consistency revisited. 449-478 - Thierry Denoeux, Zoulficar Younes, Fahed Abdallah:
Representing uncertainty on set-valued variables using belief functions. 479-499 - Michele Lombardi, Michela Milano:
Allocation and scheduling of Conditional Task Graphs. 500-529 - David Gianazza:
Forecasting workload and airspace configuration with neural networks and tree search methods. 530-549
Volume 174, Numbers 9-10, June 2010
- Sung-Soon Choi, Jeong Han Kim:
Optimal query complexity bounds for finding graphs. 551-569 - Martin C. Cooper, Peter G. Jeavons, András Z. Salamon:
Generalizing constraint satisfaction on trees: Hybrid tractability and variable elimination. 570-584 - Peter Schachte, Harald Søndergaard, Leigh Whiting, Kevin Henshall:
Information loss in knowledge compilation: A comparison of Boolean envelopes. 585-596 - Yuhua Qian, Jiye Liang, Witold Pedrycz, Chuangyin Dang:
Positive approximation: An accelerator for attribute reduction in rough set theory. 597-618 - Mausam, Stephen Soderland, Oren Etzioni, Daniel S. Weld, Kobi Reiter, Michael Skinner, Marcus Sammer, Jeff A. Bilmes:
Panlingual lexical translation via probabilistic inference. 619-637
Volume 174, Number 11, July 2010
- Loizos Michael:
Partial observability and learnability. 639-669 - Paolo Ciancarini, Gian Piero Favini:
Monte Carlo tree search in Kriegspiel. 670-684 - Frédéric Koriche, Bruno Zanuttini:
Learning conditional preference networks. 685-703 - Mohan Sridharan, Jeremy L. Wyatt, Richard Dearden:
Planning to see: A hierarchical approach to planning visual actions on a robot using POMDPs. 704-725 - Doug Downey, Oren Etzioni, Stephen Soderland:
Analysis of a probabilistic model of redundancy in unsupervised information extraction. 726-748 - Pingzhong Tang, Yoav Shoham, Fangzhen Lin:
Designing competitions between teams of individuals. 749-766
Volume 174, Numbers 12-13, August 2010
- Michael Katz, Carmel Domshlak:
Optimal admissible composition of abstraction heuristics. 767-798 - Jérôme Lang, Pierre Marquis:
Reasoning under inconsistency: A forgetting-based approach. 799-823 - Patricia Everaere, Sébastien Konieczny, Pierre Marquis:
Disjunctive merging: Quota and Gmin merging operators. 824-849 - Christine Solnon:
AllDifferent-based filtering for subgraph isomorphism. 850-864 - Ryan F. Kelly, Adrian R. Pearce:
Property persistence in the situation calculus. 865-888 - Peter A. Thwaites, Jim Q. Smith, Eva Riccomagno:
Causal analysis with Chain Event Graphs. 889-909 - Krzysztof Z. Gajos, Daniel S. Weld, Jacob O. Wobbrock:
Automatically generating personalized user interfaces with Supple. 910-950 - Weiming Liu, Xiaotong Zhang, Sanjiang Li, Mingsheng Ying:
Reasoning about cardinal directions between extended objects. 951-983 - Ole J. Mengshoel:
Understanding the scalability of Bayesian network inference using clique tree growth curves. 984-1006
Volume 174, Number 14, September 2010
- Anthony Hunter, Sébastien Konieczny:
On the measure of conflicts: Shapley Inconsistency Values. 1007-1026 - John A. Bateman, Joana Hois, Robert J. Ross, Thora Tenbrink:
A linguistic ontology of space for natural language processing. 1027-1071 - Sandra Zilles, Robert C. Holte:
The computational complexity of avoiding spurious states in state space abstraction. 1072-1092
Volume 174, Number 15, October 2010
- Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
Logic-based ontology comparison and module extraction, with an application to DL-Lite. 1093-1141 - James Pita, Manish Jain, Milind Tambe, Fernando Ordóñez, Sarit Kraus:
Robust solutions to Stackelberg games: Addressing bounded rationality and limited observations in human cognition. 1142-1171 - Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko:
Updating action domain descriptions. 1172-1221 - Joel Uckelman, Ulle Endriss:
Compactly representing utility functions using weighted goals and the max aggregator. 1222-1246 - Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli:
Outlier detection for simple default theories. 1247-1253 - Mario Graff, Riccardo Poli:
Practical performance models of algorithms in evolutionary program induction and other domains. 1254-1276 - Jinbo Huang:
Extended clause learning. 1277-1284
Volume 174, Numbers 16-17, November 2010
- Miroslaw Truszczynski:
Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs. 1285-1306 - Dongmo Zhang:
A logic-based axiomatic model of bargaining. 1307-1322 - Dana S. Nau, Mitja Lustrek, Austin Parker, Ivan Bratko, Matjaz Gams:
When is it better not to look ahead? 1323-1338 - Richard Booth, Samir Chopra, Thomas Andreas Meyer, Aditya Ghose:
Double preference relations for generalised belief change. 1339-1368 - Ivan Serina:
Kernel functions for case-based planning. 1369-1406 - Christopher Jefferson, Neil C. A. Moore, Peter Nightingale, Karen E. Petrie:
Implementing logical connectives in constraint programming. 1407-1429
Volume 174, Number 18, December 2010
- Erik Sandewall:
Defeasible inheritance with doubt index and its axiomatic characterization. 1431-1459 - Ya'akov Gal, Barbara J. Grosz, Sarit Kraus, Avi Pfeffer, Stuart M. Shieber:
Agent decision-making in open mixed networks. 1460-1480 - Rui Abreu, Arjan J. C. van Gemund:
Diagnosing multiple intermittent failures using maximum likelihood estimation. 1481-1497 - Diedrich Wolter, Jae Hee Lee:
Qualitative reasoning with directional relations. 1498-1507 - José Hernández-Orallo, David L. Dowe:
Measuring universal intelligence: Towards an anytime intelligence test. 1508-1539 - Hankz Hankui Zhuo, Qiang Yang, Derek Hao Hu, Lei Li:
Learning complex action models with quantifiers and logical implications. 1540-1569 - Zhi-Hua Zhou, Jianxin Wu, Wei Tang:
Corrigendum to "Ensembling neural networks: Many could be better than all" [Artificial Intelligence 137 (1-2) (2002) 239-263]. 1570
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 22:09 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:
