| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Peter Schachte, Harald Søndergaard, Leigh Whiting, Kevin Henshall |
Information loss in knowledge compilation: A comparison of Boolean envelopes.   |
Artif. Intell.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Reinhard Pichler, Fang Wei |
Bounded treewidth as a key to tractability of knowledge representation and reasoning. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin C. Cooper, Simon de Givry, M. Sanchez, Thomas Schiex, Matthias Zytnicki, T. Werner |
Soft arc consistency revisited. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul E. Dunne, Sarit Kraus, Efrat Manisterski, Michael Wooldridge |
Solving coalitional resource games. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | R. 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. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gianazza |
Forecasting workload and airspace configuration with neural networks and tree search methods. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski |
Logic programs with abstract constraint atoms: The role of computations. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Salem Benferhat |
A book review on Elements of Argumentation. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingyu Guo, Vincent Conitzer |
Optimal-in-expectation redistribution mechanisms. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluigi Greco, Francesco Scarcello |
On the power of structural decompositions of graph-based representations of constraint problems. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Lombardi, Michela Milano |
Allocation and scheduling of Conditional Task Graphs. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuhua Qian, Jiye Liang, Witold Pedrycz, Chuangyin Dang |
Positive approximation: An accelerator for attribute reduction in rough set theory. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Randy Goebel, Mary-Anne Williams |
The expanding breadth of artificial intelligence research. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Hendler, Tim Berners-Lee |
From the Semantic Web to social machines: A research challenge for AI on the World Wide Web. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Carles Sierra |
Eric R. Kandel, In Search of Memory: The Emergence of a New Science of Mind , W.W. Norton (2006) 352 pp. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sung-Soon Choi, Jeong Han Kim |
Optimal query complexity bounds for finding graphs. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingsheng Ying |
Quantum computation, quantum theory and AI. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Binghui Liu, Jianhua Guo, Bing-Yi Jing |
A note on minimal d-separation trees for structural learning. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Salem Benferhat |
Interventions and belief change in possibilistic graphical models. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Murphy |
Review of "Probabilistic graphical models" by Koller and Friedman. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruce L. McNaughton |
Cortical hierarchies, sleep, and the extraction of knowledge from memory. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Blai Bonet |
Conformant plans and beyond: Principles and complexity. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yang Xiang |
A. Darwiche, Modeling and Reasoning with Bayesian Networks , Cambridge (2009). |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Roth-Berghofer |
A review of the textbook Graph-based Knowledge Representation. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shun-Zheng Yu |
Hidden semi-Markov models. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin C. Cooper, Peter G. Jeavons, András Z. Salamon |
Generalizing constraint satisfaction on trees: Hybrid tractability and variable elimination. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Timothy J. Norman, Chris Reed |
A logic of delegation. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Cesar 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. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Denoeux, Zoulficar Younes, Fahed Abdallah |
Representing uncertainty on set-valued variables using belief functions. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mausam, Stephen Soderland, Oren Etzioni, Daniel S. Weld, Kobi Reiter, Michael Skinner, Marcus Sammer, Jeff Bilmes |
Panlingual lexical translation via probabilistic inference. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hai Zhuge |
Interactive semantics. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Farreres, Karina Gibert, Horacio Rodríguez, Charnyote Pluempitiwiriyawej |
Inference of lexical ontologies. The LeOnI methodology. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | John Grant, Francesco Parisi, Austin Parker, V. S. Subrahmanian |
An AGM-style belief revision mechanism for probabilistic spatio-temporal logics. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Piergiorgio Bertoli, Marco Pistore, Paolo Traverso |
Automated composition of Web services via planning in asynchronous domains. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yong Gao |
Data reductions, fixed parameter tractability, and random weighted d-CNF satisfiability. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Marinescu 0002, Rina Dechter |
Memory intensive AND/OR search for combinatorial optimization in graphical models. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal |
Reasoning from last conflict(s) in constraint programming. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Klenk, Kenneth D. Forbus |
Analogical model formulation for transfer learning in AP Physics. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Lawry, Yongchuan Tang |
Uncertainty modelling for vague concepts: A prototype theory approach. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Bouveret, Michel Lemaître |
Computing leximin-optimal solutions in constraint networks. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hannah M. Dee, David C. Hogg |
Navigational strategies in behaviour modelling. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Zuckerman, Ariel D. Procaccia, Jeffrey S. Rosenschein |
Algorithms for the coalitional manipulation problem. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Coles, Maria Fox, Keith Halsey, Derek Long, Amanda Smith |
Managing concurrency in temporal planning using planner-scheduler interaction. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh |
Filtering algorithms for the multiset ordering constraint. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dov Monderer, Moshe Tennenholtz |
Strong mediated equilibrium. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Freund |
On the notion of concept II. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrique Miranda, Marco Zaffalon |
Coherence graphs. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Gold, Marek W. Doniec, Christopher Crick, Brian Scassellati |
Robotic vocabulary building using extension inference and implicit contrast. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge |
Reasoning about coalitional games. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui Prada, Ana Paiva |
Teaming up humans with autonomous synthetic characters. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Schockaert, Martine De Cock, Etienne E. Kerre |
Spatial reasoning in a fuzzy region connection calculus. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuren Zhou, Jun He, Qing Nie |
A comparative runtime analysis of heuristic algorithms for satisfiability problems. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yixin Chen, Ruoyun Huang, Zhao Xing, Weixiong Zhang |
Long-distance mutual exclusion for planning. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | James Fan, Ken Barker, Bruce W. Porter |
Automatic interpretation of loosely encoded input. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Felix Brandt, Felix A. Fischer, Paul Harrenstein, Yoav Shoham |
Ranking games. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Buffet, Douglas Aberdeen |
The factored policy-gradient planner. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Maxim Likhachev, Anthony Stentz |
Probabilistic planning with clear preferences on missing information. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge A. Baier, Fahiem Bacchus, Sheila A. McIlraith |
A heuristic search approach to planning with temporally extended preferences. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott Sanner, Craig Boutilier |
Practical solution techniques for first-order MDPs. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugur Kuter, Dana S. Nau, Marco Pistore, Paolo Traverso |
Task decomposition on abstract states, for planning under nondeterminism. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Froese, Tom Ziemke |
Enactive artificial intelligence: Investigating the systemic organization of life and mind. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yingqian Zhang, Efrat Manisterski, Sarit Kraus, V. S. Subrahmanian, David Peleg |
Computing the fault tolerance of multi-agent deployment. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Leila Amgoud, Henri Prade |
Using arguments for making and explaining decisions. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Fox, Sylvie Thiébaux |
Advances in automated plan generation. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Malte Helmert |
Concise finite-domain representations for PDDL planning tasks. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Roberts, Adele E. Howe |
Learning from planner performance. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Benton, Minh Binh Do, Subbarao Kambhampati |
Anytime heuristic search for partial satisfaction planning. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul E. Dunne |
The computational complexity of ideal semantics. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam I. Juda, David C. Parkes |
An options-based solution to the sequential auction problem. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjay Modgil |
Reasoning about preferences in argumentation frameworks. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Raquel Ros, Josep Lluís Arcos, Ramon López de Mántaras, Manuela M. Veloso |
A case-based approach for coordinated action selection in robot soccer. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nishan C. Karunatillake, Nicholas R. Jennings, Iyad Rahwan, Peter McBurney |
Dialogue games that agents play within a society. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Liang-Chih Yu, Chung-Hsien Wu, Fong-Lin Jang |
Psychiatric document retrieval using a discourse-aware model. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluca Baldassarre, Stefano Nolfi |
Strengths and synergies of evolved and designed controllers: A study within collective robotics. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thi V. Duong, Dinh Q. Phung, Hung Hai Bui, Svetha Venkatesh |
Efficient duration and hierarchical modeling for human activity recognition. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Belardinelli, Alessio Lomuscio |
Quantified epistemic logics for reasoning about knowledge in multi-agent systems. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Giacomo Bonanno |
Rational choice and AGM belief revision. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Chabert, Luc Jaulin |
Contractor programming. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher W. Geib, Robert P. Goldman |
A probabilistic plan recognition algorithm based on plan tree grammars. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh |
Range and Roots: Two common patterns for specifying and propagating counting and occurrence constraints. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Kayser, Farid Nouioua |
From the textual description of an accident to its causes. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ariel D. Procaccia, Aviv Zohar, Yoni Peleg, Jeffrey S. Rosenschein |
The learnability of voting rules. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Erez Karpas, Solomon Eyal Shimony, Amos Beimel |
Approximate belief updating in max-2-connected Bayes networks is NP-hard. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuanlin Zhang, Satyanarayana Marisetti |
Solving connected row convex constraints by variable elimination. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pingzhong Tang, Fangzhen Lin |
Computer-aided proofs of Arrow's and other impossibility theorems. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rüdiger Ebendt, Rolf Drechsler |
Weighted A* search - unifying view and application. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yan Zhang, Yi Zhou |
Knowledge forgetting: Properties and applications. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Itai Ashlagi, Dov Monderer, Moshe Tennenholtz |
Two-terminal routing games with unknown active players. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Aline Deruyver, Yann Hodé, Luc Brun |
Image interpretation with a conceptual graph: Labeling over-segmented images and detection of unexpected objects. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Torsten Hahmann, Michael Winter, Michael Gruninger |
Stonian p-ortholattices: A new approach to the mereotopology RT0. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-François Paiement, Samy Bengio, Douglas Eck |
Probabilistic models for melodic prediction. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler |
Representing ontologies using description logics, description graphs, and rules. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantine Arkoudas, Selmer Bringsjord |
Vivid: A framework for heterogeneous problem solving. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Besnard, Anthony Hunter, Stefan Woltran |
Encoding deductive argumentation in quantified Boolean formulae. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Marinescu 0002, Rina Dechter |
AND/OR Branch-and-Bound search for combinatorial optimization in graphical models. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")