| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Tao Chen, Nevin Lianwen Zhang, Tengfei Liu, Kin Man Poon, Yi Wang |
Model-based multidimensional clustering of categorical data.  |
Artif. Intell.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Finale Doshi-Velez, Joelle Pineau, Nicholas Roy |
Reinforcement learning with limited reinforcement: Using Bayes risk for active learning in POMDPs. |
Artif. Intell. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Wenchen Zheng, Yu Zheng, Xing Xie, Qiang Yang |
Towards mobile intelligence: Learning from GPS history data for collaborative recommendation. |
Artif. Intell. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark d'Inverno, Michael Luck, Pablo Noriega, Juan A. Rodríguez-Aguilar, Carles Sierra |
Communicating open systems. |
Artif. Intell. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Zuckerman, Piotr Faliszewski, Yoram Bachrach, Edith Elkind |
Manipulating the quota in weighted voting games. |
Artif. Intell. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yang Yu, Xin Yao, Zhi-Hua Zhou |
On the approximation ability of evolutionary optimization with application to minimum set cover. |
Artif. Intell. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Till Mossakowski, Reinhard Moratz |
Qualitative reasoning about relative direction of oriented points. |
Artif. Intell. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ya'akov Gal, Swapna Reddy, Stuart M. Shieber, Andee Rubin, Barbara J. Grosz |
Plan recognition in exploratory domains. |
Artif. Intell. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou |
Ordered completion for first-order logic programs on finite structures. |
Artif. Intell. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Vibhav Gogate, Rina Dechter |
Importance sampling-based estimation over AND/OR search spaces for graphical models. |
Artif. Intell. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Dvorák, Reinhard Pichler, Stefan Woltran |
Towards fixed-parameter tractable algorithms for abstract argumentation. |
Artif. Intell. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhi-Hua Zhou, Min-Ling Zhang, Sheng-Jun Huang, Yu-Feng Li |
Multi-instance multi-label learning. |
Artif. Intell. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Benjamin Kaufmann, Torsten Schaub |
Conflict-driven answer set solving: From theory to practice. |
Artif. Intell. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Janzing, Joris M. Mooij, Kun Zhang, Jan Lemeire, Jakob Zscheischler, Povilas Daniusis, Bastian Steudel, Bernhard Schölkopf |
Information-geometric approach to inferring causal directions. |
Artif. Intell. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Lombardi, Michela Milano |
A min-flow algorithm for Minimal Critical Set detection in Resource Constrained Project Scheduling. |
Artif. Intell. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Dvorák, Sebastian Ordyniak, Stefan Szeider |
Augmenting tractable fragments of abstract argumentation. |
Artif. Intell. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Talal Rahwan, Tomasz P. Michalak, Michael Wooldridge, Nicholas R. Jennings |
Anytime coalition structure generation in multi-agent systems with positive or negative externalities. |
Artif. Intell. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Fisch, Martin Jänicke, Edgar Kalkowski, Bernhard Sick |
Learning from others: Exchange of classification rules in intelligent distributed systems. |
Artif. Intell. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Byung Kon Kang, Kee-Eung Kim |
Exploiting symmetries for single- and multi-agent Partially Observable Stochastic Domains. |
Artif. Intell. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Haufe, Stephan Schiffel, Michael Thielscher |
Automated verification of state sequence invariants in general game playing. |
Artif. Intell. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | James P. Delgrande, Yi Jin |
Parallel belief revision: Revising by sets of formulas. |
Artif. Intell. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Omer Giménez, Anders Jonsson |
The influence of k-dependence on the complexity of planning. |
Artif. Intell. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi |
Local properties in modal logic. |
Artif. Intell. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Basilico, Nicola Gatti, Francesco Amigoni |
Patrolling security games: Definition and algorithms for solving large instances with single patroller and single intruder. |
Artif. Intell. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoffrey Chu, Peter J. Stuckey |
A complete solution to the Maximum Density Still Life Problem. |
Artif. Intell. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Reshef Meir, Ariel D. Procaccia, Jeffrey S. Rosenschein |
Algorithms for strategyproof classification. |
Artif. Intell. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ioannis Caragiannis, Jason A. Covey, Michal Feldman, Christopher M. Homan, Christos Kaklamanis, Nikos Karanikolas, Ariel D. Procaccia, Jeffrey S. Rosenschein |
On the approximability of Dodgson and Young elections. |
Artif. Intell. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaowei Cai, Kaile Su, Abdul Sattar |
Local search with edge weighting and configuration checking heuristics for minimum vertex cover. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Simone Paolo Ponzetto, Michael Strube |
Taxonomy induction based on a collaboratively built knowledge repository. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Hawes |
A survey of motivation frameworks for intelligent systems. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Bryce, William Cushing, Subbarao Kambhampati |
State agnostic planning graphs: deterministic, non-deterministic, and probabilistic planning. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul E. Dunne, Anthony Hunter, Peter McBurney, Simon Parsons, Michael Wooldridge |
Weighted argument systems: Basic definitions, algorithms, and complexity results. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein |
A new representation and associated algorithms for generalized planning. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gert de Cooman, Enrique Miranda, Marco Zaffalon |
Independent natural extension. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter |
Foundations of instance level updates in expressive description logics. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Erik Sandewall |
From systems to logic in the early development of nonmonotonic reasoning. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Knorr, José Júlio Alferes, Pascal Hitzler |
Local closed world reasoning with description logics under the well-founded semantics. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Phan Huy Tu, Tran Cao Son, Michael Gelfond, A. Ricardo Morales |
Approximation of action theories and its application to conformant planning. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Emiliano Lorini, François Schwarzentruber |
A logic for reasoning about counterfactual emotions. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Meltem Öztürk, Marc Pirlot, Alexis Tsoukiàs |
Representing preferences using intervals. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ariel Felner, Uzi Zahavi, Robert Holte, Jonathan Schaeffer, Nathan R. Sturtevant, Zhifu Zhang |
Inconsistent heuristics in theory and practice. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Faber, Gerald Pfeifer, Nicola Leone |
Semantics and complexity of recursive aggregates in answer set programming. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Athanasios Papakonstantinou, Alex Rogers, Enrico H. Gerding, Nicholas R. Jennings |
Mechanism design for the truthful elicitation of costly probabilistic estimates in distributed information systems. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashish Sabharwal, Bart Selman |
S. Russell, P. Norvig, Artificial Intelligence: A Modern Approach, Third Edition. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Diane Proudfoot |
Anthropomorphism and AI: Turingʼs much misunderstood imitation game. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Florence Dupin de Saint-Cyr, Jérôme Lang |
Belief extrapolation (or how to reason about observations and unpredicted change). |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Gelly, David Silver |
Monte-Carlo tree search and rapid action value estimation in computer Go. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Lakemeyer, Hector J. Levesque |
A semantic characterization of a useful fragment of the situation calculus with knowledge. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Paulo E. Santos |
Formalising the Fisherman's Folly puzzle. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Knot Pipatsrisawat, Adnan Darwiche |
On the power of clause-learning SAT solvers as resolution engines. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Lin, Keith Abney, George A. Bekey |
Robot ethics: Mapping the issues for a mechanized world. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephanie Elzer, Sandra Carberry, Ingrid Zukerman |
The automated understanding of simple bar charts. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Carmel Domshlak, Eyke Hüllermeier, Souhila Kaci, Henri Prade |
Preferences in AI: An overview. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Mindolin, Jan Chomicki |
Contracting preference relations for database applications. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Wu, Shlomo Zilberstein, Xiaoping Chen |
Online planning for multi-agent systems with bounded communication. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shahab Jabbari Arfaee, Sandra Zilles, Robert C. Holte |
Learning heuristic functions for large state spaces. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Thielscher |
A unifying action calculus. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Saket Joshi, Kristian Kersting, Roni Khardon |
Decision-theoretic planning with generalized first-order decision diagrams. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfredo Gabaldon |
Non-Markovian control in the Situation Calculus. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Nightingale |
The extended global cardinality constraint: An empirical survey. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Rogers, Alessandro Farinelli, Ruben Stranders, Nicholas R. Jennings |
Bounded approximate decentralised coordination via the max-sum algorithm. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vibhav Gogate, Rina Dechter |
SampleSearch: Importance sampling in presence of determinism. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yun Fan, Jing Shen |
On the phase transitions of random k-constraint satisfaction problems. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yin Chen, Fangzhen Lin, Yan Zhang, Yi Zhou |
Loop-separable programs and their first-order definability. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nic Wilson |
Computational techniques for a simple theory of conditional preferences. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Baharak Rastegari, Anne Condon, Kevin Leyton-Brown |
Revenue monotonicity in deterministic, dominant-strategy combinatorial auctions. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Omer Qadir, Jerry Liu, Gianluca Tempesti, Jon Timmis, Andy M. Tyrrell |
From Bidirectional Associative Memory to a noise-tolerant, robust Protein Processor Associative Memory. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Murray-Rust, Alan Smaill |
Towards a model of musical interaction and communication. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Rubin, Ian Watson |
Computer poker: A review. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bei Shui Liao, Li Jin, Robert C. Koons |
Dynamics of argumentation systems: A division-based method. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Conitzer, Tuomas Sandholm |
Expressive markets for donating to charities. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fiora Pirri |
The well-designed logical robot: Learning and experience from observations to the Situation Calculus. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Labreuche |
A general framework for explaining the results of a multi-attribute preference model. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ioannis Caragiannis, Ariel D. Procaccia |
Voting almost maximizes social welfare despite limited communication. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jure Zabkar, Martin Mozina, Ivan Bratko, Janez Demsar |
Learning qualitative models from numerical data. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin McGee |
K. Tanaka-Ishii, Semiotics of Programming. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Stein, Enrico H. Gerding, Alex Rogers, Kate Larson, Nicholas R. Jennings |
Algorithms and mechanisms for procuring services with uncertain durations using redundancy. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz |
Stable models and circumscription. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikos Gorogiannis, Anthony Hunter |
Instantiating abstract argumentation with classical logic arguments: Postulates and properties. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronen I. Brafman |
Relational preference rules for control. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfonso Gerevini, Alessandro Saetti |
Computing the minimal relations in point-based qualitative temporal reasoning through metagraph closure. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Norvig |
Nils J. Nilsson, The Quest for Artificial Intelligence , Cambridge (2010). |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernest Davis |
How does a box work? A study in the qualitative dynamics of solid objects. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tias Guns, Siegfried Nijssen, Luc De Raedt |
Itemset mining: A constraint programming perspective. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fusun Yaman, Thomas J. Walsh, Michael L. Littman, Marie desJardins |
Democratic approximation of lexicographic preference models. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter van Beek |
David L. Poole and Alan K. Mackworth, Artificial Intelligence: Foundations of Computational Agents , Cambridge University Press (2010). |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Casali, Lluis Godo, Carles Sierra |
A graded BDI agent model to represent and reason about preferences. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael McGeachie, Jon Doyle |
The local geometry of multiattribute tradeoff preferences. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Willem Waegeman, Bernard De Baets |
On the ERA ranking representability of pairwise bipartite ranking functions. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Travis C. Service, Julie A. Adams |
Randomized coalition structure generation. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Baroni, Paul E. Dunne, Massimiliano Giacomin |
On the resolution-based family of abstract argumentation semantics and its grounded instance. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Husain Aljazzar, Stefan Leue |
K⁎: A heuristic search algorithm for finding the k shortest paths. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J. Levesque |
Iterated belief change in the situation calculus. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Weiming Liu, Sanjiang Li |
Reasoning about cardinal directions between extended objects: The NP-hardness result. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Riccardo Pucella |
Dealing with logical omniscience: Expressiveness and pragmatics. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pingzhong Tang, Fangzhen Lin |
Discovering theorems in game theory: Two-person games with unique pure Nash equilibrium payoffs. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Schockaert, Henri Prade |
Solving conflicts in information merging by a flexible interpretation of atomic propositions. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fangzhen Lin, Yi Zhou |
From answer set logic programming to circumscription via logic of GK. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonis C. Kakas, Loizos Michael, Rob Miller 0002 |
Modular-έ and the role of elaboration tolerance in solving the qualification problem. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Afsaneh Shirazi, Eyal Amir |
First-order logical filtering. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")