Invited Talks
| Intelligent Tutoring Systems: New Challenges and Directions | |
| Christina Conati |
| Machine Learning in Ecosystem Informatics and Sustainability | |
| Thomas G. Dietterich |
| How Experience of the Body Shapes Language about Space | |
| Luc L. Steels, Michael Spranger |
| Activity Recognition: Linking Low-Level Sensors to High-Level Intelligence | |
| Qiang Yang |
Agent-based and Multiagent Systems
| Nonmanipulable Selections from a Tournament | |
| Alon Altman, Ariel D. Procaccia, Moshe Tennenholtz |
| Using Reasoning Patterns to Helps Humans Solve Complex Games | |
| Dimitrios Antos, Avi Pfeffer |
| UCT for Tactical Assault Planning in Real-Time Strategy Games | |
| Radha-Krishna Balla, Alan Fern |
| Methodology for Designing Reasonably Expressive Mechanisms with Application to Ad Auctions | |
| Michael Benisch, Norman Sadeh, Tuomas Sandholm |
| A Multivariate Complexity Analysis of Determining Possible Winners Given Incomplete Votes | |
| Nadja Betzler, Susanne Hemmann, Rolf Niedermeier |
| Algorithms and Complexity Results for Pursuit-Evasion Problems | |
| Richard Borie, Craig Tovey, Sven Koenig |
| Conditional Importance Networks: A Graphical Language for Representing Ordinal, Monotonic Preferences over Sets of Goods | |
| Sylvain Bouveret, Ulle Endriss, Jérôme Lang |
| Planning Games | |
| Ronen I. Brafman, Carmel Domshlak, Yagil Engel, Moshe Tennenholtz |
| Coalitional Affinity Games and the Stability Gap | |
| Simina Branzei, Kate Larson |
| Simple Coalitional Games with Beliefs | |
| Georgios Chalkiadakis, Edith Elkind, Nicholas Robert Jennings |
| Commitment Tracking via the Reactive Event Calculus | |
| Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni |
| Compiling the Votes of a Subelectorate | |
| Yann Chevaleyre, Jérôme Lang, Nicolas Maudet, Guillaume Ravilly-Abadie |
| How Hard Is It to Control Sequential Elections Via the Agenda? | |
| Vincent Conitzer, Jérôme Lang, Lirong Xia |
| Preference Functions That Score Rankings and Maximum Likelihood Estimation | |
| Vincent Conitzer, Matthew Rognlie, Lirong Xia |
| Learning Graphical Game Models | |
| Quang Duong, Yevgeniy Vorobeychik, Satinder Singh, Michael Wellman |
| Preference Aggregation over Restricted Ballot Languages: Sincerity and Strategy-Proofness | |
| Ulle Endriss, Maria Silvia Pini, Francesca Rossi, K. Brent Venable |
| Multimode Control Attacks on Elections | |
| Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra |
| Charting the Tractability Frontier of Mixed Multi-Unit Combinatorial Auctions | |
| Valeria Fionda, Gianluigi Greco |
| Computing Equilibria in Multiplayer Stochastic Games of Imperfect Information | |
| Sam Ganzfried, Tuomas Sandholm |
| On the Complexity of Compact Coalitional Games | |
| Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello |
| Iterated Regret Minimization: A New Solution Concept | |
| Joseph Y. Halpern, Rafael Pass |
| Multi-Step Multi-Sensor Hider-Seeker Games | |
| Erik Daniel Halvorson, Vincent Conitzer, Ronald Parr |
| Collaborative Multi Agent Physical Search with Probabilistic Knowledge | |
| Noam Hazon, Yonatan Aumann, Sarit Kraus |
| Strengthening Schedules Through Uncertainty Analysis | |
| Laura M. Hiatt, Terry L. Zimmerman, Stephen F. Smith, Reid Simmons |
| DCOPs Meet the Real World: Exploring Unknown Reward Matrices with Applications to Mobile Sensor Networks | |
| Manish Jain, Matthew Taylor, Milind Tambe, Makoto Yokoo |
| Collaboration and Shared Plans in the Open World: Studies of Ridesharing | |
| Ece Kamar, Eric Horvitz |
| Exchanging Reputation Information Between Communities: A Payment-Function Approach | |
| Georgia Kastidou, Kate Larson, Robin Cohen |
| Event-Detecting Multi-Agent MDPs: Complexity and Constant-Factor Approximation | |
| Akshat Kumar, Shlomo Zilberstein |
| A Kernel Method for Market Clearing | |
| Sebastien Lahaie |
| Balancing Utility and Deal Probability for Auction-based Negotiations in Highly Nonlinear Utility Spaces | |
| Ivan Marsa-Maestre, Miguel A. Lopez-Carmona, Juan R. Velasco, Takayuki Ito, Mark Klein, Katsuhide Fujita |
| Strategyproof Classification with Shared Inputs | |
| Reshef Meir, Ariel D. Procaccia, Jeffrey S. Rosenschein |
| Argumentation System with Changes of an Agent's Knowledge Base | |
| Kenichi Okuno, Kazuko Takahashi |
| How Pervasive Is the Myerson-Satterthwaite Impossibility? | |
| Abraham Othman, Tuomas Sandholm |
| Thou Shalt Covet Thy Neighbor's Cake | |
| Ariel D. Procaccia |
| Generalised Fictitious Play for a Continuum of Anonymous Players | |
| Zinovi Rabinovich, Enrico Gerding, Maria Polukarov, Nicholas R. Jennings |
| A Characterisation of Strategy-Proofness for Grounded Argumentation Semantics | |
| Iyad Rahwan, Kate Larson, Fernando Tohmé |
| Coalition Structure Generation in Multi-Agent Systems With Positive and Negative Externalities | |
| Talal Rahwan, Tomasz Michalak, Nicholas Jennings, Michael Wooldridge, Peter McBurney |
| Modeling Agents through Bounded Rationality Theories | |
| Avi Rosenfeld, Sarit Kraus |
| Towards Con-Resistant Trust Models for Distributed Agent Systems | |
| Amirali Salehi-Abari, Tony White |
| Probabilistic State Translation in Extensive Games with Large Action Sets | |
| David Schnizlein, Michael Bowling, Duane Szafron |
| Investigations of Continual Computation | |
| Dafna Shahaf, Eric Horvitz |
| Flexible Procurement of Services with Uncertain Durations using Redundancy | |
| Sebastian Stein, Enrico Gerding, Alex Rogers, Kate Larson, Nicholas R. Jennings |
| Decentralised Coordination of Mobile Sensors Using the Max-Sum Algorithm | |
| Ruben Stranders, Alessandro Farinelli, Alex Rogers, Nicholas R. Jennings |
| Dynamic Configuration of Agent Organizations | |
| Evan A. Sultanik, Robert N. Lass, William C. Regli |
| Discovering Theorems in Game Theory: Two-Person Games with Unique Pure Nash Equilibrium Payoffs | |
| Pingzhong Tang, Fangzhen Lin |
| Acquiring Agent-Based Models of Conflict from Event Data | |
| Glenn Taylor, Michael Quist, Allen Hicken |
| Where Are the Really Hard Manipulation Problems? The Phase Transition in Manipulating the Veto Rule | |
| Toby Walsh |
| Eliciting Honest Reputation Feedback in a Markov Setting | |
| Jens Witkowski |
| Finite Local Consistency Characterizes Generalized Scoring Rules | |
| Lirong Xia, Vincent Conitzer |
| A Dichotomy Theorem on the Existence of Efficient or Neutral Sequential Voting Correspondences | |
| Lirong Xia, Jerome Lang |
| Complexity of Unweighted Coalitional Manipulation Under Some Common Voting Rules | |
| Lirong Xia, Michael Zuckerman, Ariel D. Procaccia, Vincent Conitzer, Jeffrey S. Rosenschein |
| Trading Off Solution Quality for Faster Computation in DCOP Search Algorithms | |
| William Yeoh, Xiaoxun Sun, Sven Koenig |
| A Multi-Agent Learning Approach to Online Distributed Resource Allocation | |
| Chongjie Zhang, Victor Lesser, Prashant Shenoy |
| Axiomatic Characterization of Task Oriented Negotiation | |
| Dongmo Zhang |
| K-Swaps: Cooperative Negotiation for Solving Task-Allocation Problems | |
| Xiaoming Zheng, Sven Koenig |
Constraints, Satisfiability, and Search
| Interruptible Algorithms for Multi-Problem Solving | |
| Spyros Angelopoulos, Alejandro Lopez-Ortiz |
| Towards Industrial-Like Random SAT Instances | |
| Carlos Ansótegui, María Luisa Bonet, Jordi Levy |
| On Solving Boolean Multilevel Optimization Problems | |
| Josep Argelich, Inês Lynce, Joao Marques-Silva |
| Predicting Learnt Clauses Quality in Modern SAT Solvers | |
| Gilles Audemard, Laurent Simon |
| Online Stochastic Optimization in the Large: Application to Kidney Exchange | |
| Pranjal Awasthi, Tuomas Sandholm |
| Circuit Complexity and Decompositions of Global Constraints | |
| Christian Bessiere, George Katsirelos, Nina Narodytska, Toby Walsh |
| Decompositions of all Different, Global Cardinality and Related Constraints | |
| Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh |
| Making Bound Consistency as Effective as Arc Consistency | |
| Christian Bessiere, Thierry Petit, Bruno Zanuttini |
| TBA*: Time-Bounded A* | |
| Yngvi Björnsson, Vadim Bulitko, Nathan Sturtevant |
| Canadian Traveler Problem with Remote Sensing | |
| Zahy Bnaya, Ariel Felner, Solomon Eyal Shimony |
| Experiments with Massively Parallel Constraint Solving | |
| Lucas Bordeaux, Youssef Hamadi, Horst Samulowitz |
| Best-First Heuristic Search for Multi-Core Machines | |
| Ethan Burns, Seth Lemons, Rong Zhou, Wheeler Ruml |
| Nested Monte-Carlo Search | |
| Tristan Cazenave |
| Reasoning with Lines in the Euclidean Space | |
| Khalil Raymond Challita |
| Search Strategies for an Anytime Usage of the Branch and Prune Algorithm | |
| Raphaël Chenouard, Alexandre Goldsztejn, Christophe Jermann |
| Monte Carlo Tree Search Techniques in the Game of Kriegspiel | |
| Paolo Ciancarini, Gian Piero Favini |
| Duplicate Avoidance in Depth-First Search with Applications to Treewidth | |
| P. Alex Dow, Richard E. Korf |
| Local Search: Is Brute-Force Avoidable? | |
| Michael R. Fellows, Fedor V. Fomin, Daniel Lokshtanov, Frances A. Rosamond, Saket Saurabh, Yngve Villanger |
| Minimum Proof Graphs and Fastest-Cut-First Search Heuristics | |
| Timothy Furtak, Michael Buro |
| Control-based Clause Sharing in Parallel SAT Solving | |
| Youssef Hamadi, Said Jabbour, Lakhdar Sais |
| Solving 8x8 Hex | |
| Philip Henderson, Broderick Arneson, Ryan B Hayward |
| New Improvements in Optimal Rectangle Packing | |
| Eric Huang, Richard E. Korf |
| SATenstein: Automatically Building Local Search SAT Solvers From Components | |
| Ashiqur R. KhudaBukhsh, Lin Xu, Holger H. Hoos, Kevin Leyton-Brown |
| Exploiting Decomposition on Constraint Problems with High Tree-Width | |
| Matthew Kitching, Fahiem Bacchus |
| Set Branching in Constraint Optimization | |
| Matthew Kitching, Fahiem Bacchus |
| Multi-Way Number Partitioning | |
| Richard Earl Korf |
| Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT | |
| Lukas Kroc, Ashish Sabharwal, Carla P. Gomes, Bart Selman |
| Variety Reasoning for Multiset Constraint Propagation | |
| Yat Chiu Law, Jimmy Ho Man Lee, May Hiu Chun Woo |
| Towards Efficient Consistency Enforcement for Global Constraints in Weighted Constraint Satisfaction | |
| Jimmy H. M. Lee, Ka Lun Leung |
| A Soft Global Precedence Constraint | |
| David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson |
| A Divide-and-Conquer Approach for Solving Interval Algebra Networks | |
| Jason Jingshi Li, Jinbo Huang, Jochen Renz |
| Open Contractible Global Constraints | |
| Michael Maher |
| Evaluating Strategies for Running from the Cops | |
| Carsten Moldenhauer, Nathan Reed Sturtevant |
| A New d-DNNF-Based Bound Computation Algorithm for Functional E-MAJSAT | |
| Knot Pipatsrisawat, Adnan Darwiche |
| A Structural Approach to Reasoning with Quantified Boolean Formulas | |
| Luca Pulina, Armando Tacchella |
| Russian Doll Search with Tree Decomposition | |
| Marti Sanchez, David Allouche, Simon de Givry, Thomas Schiex |
| Memory-Based Heuristics for Explicit State Spaces | |
| Nathan R. Sturtevant, Ariel Felner, Max Barrer, Jonathan Schaeffer, Neil Burch |
| Efficient Incremental Search for Moving Target Search | |
| Xiaoxun Sun, William Yeoh, Sven Koenig |
| Solving Dynamic Constraint Satisfaction Problems by Identifying Stable Features | |
| Richard J. Wallace, Diarmuid Grimes, Eugene C. Freuder |
| Qualitative CSP, Finite CSP, and SAT: Comparing Methods for Qualitative Constraint-based Reasoning | |
| Matthias Westphal, Stefan Wölfl |
| A* Search with Inconsistent Heuristics | |
| Zhifu Zhang, Nathan R. Sturtevant, Robert Holte, Jonathan Schaeffer, Ariel Felner |
| Combining Breadth-First and Depth-First Strategies in Searching for Treewidth | |
| Rong Zhou, Eric A. Hansen |
| Mixing Search Strategies for Multi-Player Games | |
| Inon Zuckerman, Ariel Felner, Sarit Kraus |
Knowledge Representation, Reasoning, and Logic
| A New Bayesian Approach to Multiple Intermittent Fault Diagnosis | |
| Rui Abreu, Peter Zoeteweij, Arjan J.C. van Gemund |
| A Logic for Coalitions with Bounded Resources | |
| Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Abdur Rakib |
| Repairing Preference-Based Argumentation Frameworks | |
| Leila Bahia Amgoud, Srdjan Vesic |
| Which Semantics for Neighbourhood Semantics? | |
| Carlos Areces, Diego Figueira |
| Extending Decidable Cases for Rules with Existential Variables | |
| Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat |
| Computational Properties of Resolution-based Grounded Semantics | |
| Pietro Baroni, Paul E. Dunne, Massimiliano Giacomin |
| An Argumentation-Based Interpreter for Golog Programs | |
| Michelle Blom, Adrian Pearce |
| Defeasible Inclusions in Low-Complexity DLs: Preliminary Notes | |
| Piero A. Bonatti, Marco Faella, Luigi Sauro |
| Next Steps in Propositional Horn Contraction | |
| Richard Booth, Thomas Meyer, Ivan José Varzinczak |
| Euclidean and Mereological Qualitative Spaces: A Study of SCC and DCC | |
| Stefano Borgo |
| Regular Path Queries in Expressive Description Logics with Nominals | |
| Diego Calvanese, Thomas Eiter, Magdalena Ortiz |
| A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic | |
| Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu |
| Import-by-Query: Ontology Reasoning under Access Limitations | |
| Bernardo Cuenca Grau, Boris Motik, Yevgeny Kazakov |
| Diagnosing Multiple Persistent and Intermittent Faults | |
| Johan de Kleer |
| A Tableaux-Based Method for Computing Least Common Subsumers for Expressive Description Logics | |
| Francesco Maria Donini, Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio |
| A Unified Framework for Representation and Development of Dialectical Proof Procedures in Argumentation | |
| PhanMinh Dung, PhanMinh Thang |
| Decomposition of Declarative Knowledge Bases with External Functions | |
| Thomas Eiter, Michael Fink, Thomas Krennwallner |
| Query Answering in Description Logics with Transitive Roles | |
| Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus |
| Bidirectional Answer Set Programs with Function Symbols | |
| Thomas Eiter, Mantas Simkus |
| Knowledge Compilation Properties of Trees-of-BDDs, Revisited | |
| Hélène Fargier, Pierre Marquis |
| FRACTAL: Efficient Fault Isolation Using Active Testing | |
| Alexander Feldman, Gregory Provan, Arjan van Gemund |
| Solving Strong-Fault Diagnostic Models by Model Relaxation | |
| Alexander Feldman, Gregory Provan, Arjan van Gemund |
| Plausible Repairs for Inconsistent Requirements | |
| Alexander Felfernig, Gerhard Friedrich, Monika Schubert, Monika Mandl, Markus Mairitsch, Erich Teppan |
| Symmetric Splitting in the General Theory of Stable Models | |
| Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz, Ravi Palla |
| On the Accrual of Arguments in Defeasible Logic Programming | |
| Mauro Javier Gómez Lucero, Carlos Iván Chesñevar, Guillermo Ricardo Simari |
| Evaluating Abductive Hypotheses using an EM Algorithm on BDDs | |
| Katsumi Inoue, Taisuke Sato, Masakazu Ishihata, Yoshitaka Kameya, Hidetomo Nabeshima |
| Answer-Set Programming with Bounded Treewidth | |
| Michael Jakl, Reinhard Pichler, Stefan Woltran |
| Circumscriptive Event Calculus as Answer Set Programming | |
| Tae-Won Kim, Joohyung Lee, Ravi Palla |
| Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies | |
| Boris Konev, Dirk Walther, Frank Wolter |
| Minimal Module Extraction from DL-Lite Ontologies using QBF Solvers | |
| Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev |
| A Semantical Account of Progression in the Presence of Defaults | |
| Gerhard Lakemeyer, Hector J. Levesque |
| The Complexity of Learning Separable Ceteris Paribus Preferences | |
| Jérôme Lang, Jérôme Mengin |
| Combining RCC-8 with Qualitative Direction Calculi: Algorithms and Complexity | |
| Weiming Liu, Li Sanjiang, Renz Jochen |
| On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond | |
| Yongmei Liu, Gerhard Lakemeyer |
| A Logic for Reasoning about Counterfactual Emotions | |
| Emiliano Lorini, François Schwarzentruber |
| Labellings and Games for Extended Argumentation Frameworks | |
| Sanjay Modgil |
| A Fixed-Parameter Tractable Algorithm for Spatio-Temporal Calendar Management | |
| Bernhard Nebel, Jochen Renz |
| Reasoning with Knowledge, Action and Time in Dynamic and Uncertain Domains | |
| Theodore Patkos, Dimitris Plexousakis |
| Model-based Revision Operators for Terminologies in Description Logics | |
| Guilin Qi, Jianfeng Du |
| Dialectical Abstract Argumentation: A Characterization of the Marking Criterion | |
| Nicolas Rotstein, Martin Moguillansky, Guillermo Simari |
| Composition of ConGolog Programs | |
| Sebastian Sardina, Giuseppe De Giacomo |
| Automated Theorem Proving for General Game Playing | |
| Stephan Schiffel, Michael Thielscher |
| Nominals for Everyone | |
| Lutz Schröder, Dirk Pattinson, Clemens Kupke |
| Effective Query Rewriting with Ontologies over DBoxes | |
| Enrico Franconi, Inanç Seylan, Jos de Bruijn |
| Negotiation Using Logic Programming with Consistency Restoring Rules | |
| Tran Cao Son, Chiaki Sakama |
| Realising Deterministic Behavior from Multiple Non-Deterministic Behaviors | |
| Thomas Ströder, Maurice Pagnucco |
| Declarative Programming of Search Problems with Built-in Arithmetic | |
| Eugenia Ternovska, David G. Mitchell |
| Applications and Extensions of PTIME Description Logics with Functional Constraints | |
| David Toman, Grant Weddell |
| Knowing More — from Global to Local Correspondence | |
| Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi |
| Efficient Inference for Expressive Comparative Preference Languages | |
| Nic Wilson |
| On Combinations of Binary Qualitative Constraint Calculi | |
| Stefan Woelfl, Matthias Westphal |
Machine Learning
| Exponential Family Hybrid Semi-Supervised Learning | |
| Arvind Agarwal, Hal Daume III |
| Active Policy Iteration: Efficient Exploration through Active Learning for Value Function Approximation in Reinforcement Learning | |
| Takayuki Akiyama, Hirotaka Hachiya, Masashi Sugiyama |
| Relational Random Forests Based on Random Relational Rules | |
| Grant Anderson, Bernhard Pfahringer |
| Adaptive Cluster Ensemble Selection | |
| Javad Azimi, Xiaoli Fern |
| Self-Managing Associative Memory for Dynamic Acquisition of Expertise in High-Level Domains | |
| Jacob Beal |
| Angluin-Style Learning of NFA | |
| Benedikt Bollig, Peter Habermehl, Carsten Kern, Martin Leucker |
| Locality Preserving Nonnegative Matrix Factorization | |
| Deng Cai, Xiaofei He, Xuanhui Wang, Hujun Bao, Jiawei Han |
| Selecting Informative Universum Sample for Semi-Supervised Learning | |
| Shuo Chen, Changshui Zhang |
| Bayesian Extreme Components Analysis | |
| Yutian Chen, Max Welling |
| Inverse Reinforcement Learning in Partially Observable Environments | |
| Jaedeug Choi, Kee-Eung Kim |
| Knowledge Driven Dimension Reduction For Clustering | |
| Ian Davidson |
| Search Techniques for Fourier-Based Learning | |
| Adam Drake, Dan Ventura |
| Local Learning Regularized Nonnegative Matrix Factorization | |
| Quanquan Gu, Jie Zhou |
| Learning Optimal Subsets with Implicit User Preferences | |
| Yunsong Guo, Carla Gomes |
| Ranking Structured Documents: A Large Margin Based Approach for Patent Prior Art Search | |
| Yunsong Guo, Carla Gomes |
| Graph Embedding with Constraints | |
| Xiaofei He, Ming Ji, Hujun Bao |
| Bootstrap Voting Experts | |
| Daniel Hewlett, Paul Cohen |
| Linear Dimensionality Reduction for Multi-label Classification | |
| Shuiwang Ji, Jieping Ye |
| Semi-Supervised Classification on Evolutionary Data | |
| Yangqing Jia, Shuicheng Yan, Changshui Zhang |
| gRegress: Extracting Features from Graph Transactions for Regression | |
| Nikhil S. Ketkar, Lawrence B. Holder, Diane J. Cook |
| Local Query Mining in a Probabilistic Prolog | |
| Angelika Kimmig, Luc De Raedt |
| Unsupervised Rank Aggregation with Domain-Specific Expertise | |
| Alexandre Klementiev, Dan Roth, Kevin Small, Ivan Titov |
| Efficient Skill Learning Using Abstraction Selection | |
| George Konidaris, Andrew Barto |
| Exponential Family Sparse Coding with Applications to Self-taught Learning | |
| Honglak Lee, Rajat Raina, Alex Teichman, Andrew Ng |
| Exploiting Multi-Modal Interactions: A Unified Framework | |
| Ming Li, Xiao-Bing Xue, Zhi-Hua Zhou |
| Relation Regularized Matrix Factorization | |
| Wu-Jun Li, Dit-Yan Yeung |
| Boosting Constrained Mutual Subspace Method for Robust Image-set Based Object Recognition | |
| Xi Li, Kazuhiro Fukui, Nanning Zheng |
| Probabilistic Models for Concurrent Chatting Activity Recognition | |
| Chia-chun Lian, Jane Yung-jen Hsu |
| Learning the Optimal Neighborhood Kernel for Classification | |
| Jun Liu, Jianhui Chen, Songcan Chen, Jieping Ye |
| Spectral Kernel Learning for Semi-Supervised Classification | |
| Wei Liu, Buyue Qian, Jingyu Cui, Jianzhuang Liu |
| Large Margin Boltzmann Machines | |
| Xu Miao, Rajesh P. N. Rao |
| Transfer Learning from Minimal Target Data by Mapping across Relational Domains | |
| Lilyana Mihalkova, Raymond J. Mooney |
| Semi-Supervised Learning of Visual Classifiers from Web Images and Text | |
| Nicholas Morsillo, Christopher Pal, Randal Nelson |
| Autonomously Learning an Action Hierarchy Using a Learned Qualitative State Representation | |
| Jonathan Mugan, Benjamin Kuipers |
| Spectral Embedded Clustering | |
| Feiping Nie, Dong Xu, Ivor Wai-Hung Tsang, Changshui Zhang |
| Domain Adaptation via Transfer Component Analysis | |
| Sinno Jialin Pan, Ivor W. Tsang, James T. Kwok, Qiang Yang |
| Semi-Supervised Classification using Sparse Gaussian Process Regression | |
| Amrish Patel, S. Sundararajan, Shirish Shevade |
| Expanding Domain Sentiment Lexicon through Double Propagation | |
| Guang Qiu, Bing Liu, Jiajun Bu, Chun Chen |
| Goal-Driven Learning in the GILA Integrated Intelligence Architecture | |
| Jainarayan Radhakrishnan, Santiago Ontanon, Ashwin Ram |
| Streamed Learning: One-Pass SVMs | |
| Piyush Rai, Hal Daume, Suresh Venkatasubramanian |
| Semi-Supervised Metric Learning Using Pairwise Constraints | |
| Mahdieh Soleymani Baghshah, Saeed Bagheri Shouraki |
| Predictive Projections | |
| Nathan Sprague |
| On the Equivalence Between Canonical Correlation Analysis and Orthonormalized Partial Least Squares | |
| Liang Sun, Shuiwang Ji, Shipeng Yu, Jieping Ye |
| Latent Variable Perceptron Algorithm for Structured Classification | |
| Xu Sun, Takuya Matsuzaki, Daisuke Okanohara, Jun'ichi Tsujii |
| Succinct Approximate Counting of Skewed Data | |
| David Talbot |
| Maintaining Predictions Over Time Without a Model | |
| Erik Talvitie, Satinder Singh |
| On Multiple Kernel Learning with Multiple Labels | |
| Lei Tang, Jianhui Chen, Jieping Ye |
| Toward Unsupervised Activity Discovery Using Multi Dimensional Motif Detection in Time Series | |
| Alireza Vahdatpour, Navid Amini, Majid Sarrafzadeh |
| Multiclass Probabilistic Kernel Discriminant Analysis | |
| Zheng Zhao, Liang Sun, Shipeng Yu, Huan Liu, Jieping Ye |
| Manifold Alignment without Correspondence | |
| Chang Wang, Sridhar Mahadevan |
| Generalized Cluster Aggregation | |
| Fei Wang, Xin Wang, Tao Li |
| Preference Learning with Extreme Examples | |
| Fei Wang, Bin Zhang, Ta-Hsin Li, Wenjun Yin, Jin Dong, Tao Li |
| Knowledge Transfer on Hybrid Graph | |
| Zheng Wang, Yangqiu Song, Changshui Zhang |
| Early Prediction on Time Series: A Nearest Neighbor Approach | |
| Zhengzheng Xing, Jian Pei, Philip S. Yu |
| Discriminative Semi-Supervised Feature Selection via Manifold Regularization | |
| Zenglin Xu, Rong Jin, Michael R. Lyu, Irwin King |
| Multi-Relational Learning with Gaussian Processes | |
| Zhao Xu, Kristian Kersting, Volker Tresp |
| Transfer Learning using Task-Level Features with Application to Information Retrieval | |
| Rong Yan, Jian Zhang |
| Spatio-Temporal Event Detection Using Dynamic Conditional Random Fields | |
| Jie Yin, Derek Hao Hu, Qiang Yang |
| Robust Distance Metric Learning with Auxiliary Knowledge | |
| Zheng-Jun Zha, Tao Mei, Meng Wang, Zengfu Wang, Xian-Sheng Hua |
| Fast Active Tabu Search and its Application to Image Retrieval | |
| Chao Zhang, Hongyu Li, Qiyong Guo, Jinyuan Jia, I-Fan Shen |
| M3IC: Maximum Margin Multiple Instance Clustering | |
| Dan Zhang, Fei Wang, Luo Si, Tao Li |
| An Efficient Nonnegative Matrix Factorization Approach in Flexible Kernel Space | |
| Daoqiang Zhang, Wanquan Liu |
| Smart PCA | |
| Yi Zhang |
| Non-Metric Label Propagation | |
| Yin Zhang, Zhi-Hua Zhou |
| Multi-Class Classifiers and Their Underlying Shared Structure | |
| Volkan Vural, Glenn Fung, Romer Rosales, Jennifer G. Dy |
| Multiple Information Sources Cooperative Learning | |
| Xingquan Zhu, Ruoming Jin |
Multidisciplinary Topics and Applications
| Analysis of a Winning Computational Billiards Player | |
| Christopher Archibald, Alon Altman, Yoav Shoham |
| Generalized Clustergrams for Overlapping Biclusters | |
| Liviu Badea |
| Semi-Supervised Regression for Evaluating Convenience Store Location | |
| Xinxin Bai, Gang Chen, Qiming Tian, Wenjun Yin, Jin Dong |
| Using Entropy to Identify Shape and Text in Hand Drawn Diagrams | |
| Akshay Bhat, Tracy Anne Hammond |
| Combining Speech and Sketch to Interpret Unconstrained Descriptions of Mechanical Devices | |
| David Tyler Bischel, Thomas F. Stahovich, Randall Davis, Aaron Adler, Eric J. Peterson |
| Improving State Evaluation, Inference, and Search in Trick-Based Card Games | |
| Michael Buro, Jeffrey Richard Long, Timothy Furtak, Nathan Sturtevant |
| Suggesting Email View Filters for Triage and Search | |
| Mark Dredze, Bill N. Schilit, Peter Norvig |
| Sensing and Predicting the Pulse of the City through Shared Bicycling | |
| Jon Edward Froehlich, Joachim Neumann, Nuria Oliver |
| Topic Tracking Model for Analyzing Consumer Purchase Behavior | |
| Tomoharu Iwata, Shinji Watanabe, Takeshi Yamada, Naonori Ueda |
| Interpreting Written How-To Instructions | |
| Tessa Lau, Clemens Drews, Jeffrey W. Nichols |
| Is It Enough to Get the Behaviour Right? | |
| Hector Levesque |
| Drosophila Gene Expression Pattern Annotation through Multi-Instance Multi-Label Learning | |
| Ying-Xin Li, Shuiwang Ji, Sudhir Kumar, Jieping Ye, Zhi-Hua Zhou |
| Expressive Power-Based Resource Allocation for Data Centers | |
| Benjamin Lubin, Jeffrey O. Kephart, Rajarshi Das, David C. Parkes |
| Efficient Online Learning and Prediction of Users' Desktop Actions | |
| Omid Madani, Hung Bui, Eric Yeh |
| A Visual Approach to Sketched Symbol Recognition | |
| Tom Y. Ouyang, Randall Davis |
| Towards Context Aware Emotional Intelligence in Machines: Computing Contextual Appropriateness of Affective States | |
| Michal Ptaszynski, Pawel Dybala, Wenhan Shi, Rafal Rzepka, Kenji Araki |
| Representation and Synthesis of Melodic Expression | |
| Christopher Raphael |
| Simultaneous Discovery of Conservation Laws and Hidden Particles With Smith Matrix Decomposition | |
| Oliver Schulte |
| Learning to Follow Navigational Route Instructions | |
| Nobuyuki Shimizu, Andrew Haas |
| Efficient Dominant Point Algorithms for the Multiple Longest Common Subsequence (MLCS) Problem | |
| Qingguo Wang, Dmitry Korkin, Yi Shang |
Natural Language Processing
| Knowledge-Based WSD on Specific Domains: Performing Better than Generic Supervised WSD | |
| Eneko Agirre, Oier Lopez de Lacalle, Aitor Soroa |
| Web-Scale N-gram Models for Lexical Disambiguation | |
| Shane Bergsma, Dekang Lin, Randy Goebel |
| Explicit Versus Latent Concept Models for Cross-Language Information Retrieval | |
| Philipp Cimiano, Antje Schultz, Sergej Sizov, Philipp Sorg, Steffen Staab |
| Detection of Imperative and Declarative Question-Answer Pairs in Email Conversations | |
| Helen Kwong, Neil Yorke-Smith |
| Reading Between the Lines | |
| Loizos Michael |
| Improving Morphology Induction by Learning Spelling Rules | |
| Jason Naradowsky, Sharon Goldwater |
| Improving a Virtual Human Using a Model of Degrees of Grounding | |
| Antonio Roque, David Traum |
| On the Tip of My Thought: Playing the Guillotine Game | |
| Giovanni Semeraro, Pasquale Lops, Pierpaolo Basile, Marco de Gemmis |
| Introspection and Adaptable Model Integration for Dialogue-based Question Answering | |
| Daniel Sonntag |
| Context-Based Approach for Pivot Translation Services | |
| Rie Tanaka, Yohei Murakami, Toru Ishida |
| Online Graph Planarisation for Synchronous Parsing of Semantic and Syntactic Dependencies | |
| Ivan Titov, James Henderson, Paola Merlo, Gabriele Musillo |
| Computational Semantics of Noun Compounds in a Semantic Space Model | |
| Akira Utsumi |
| Probabilistic Counting with Randomized Storage | |
| Benjamin Van Durme, Ashwin Lall |
| Context-Sensitive Semantic Smoothing Using Semantically Relatable Sequences | |
| Kamaljeet S. Verma, Pushpak Bhattacharyya |
| Graph-Based Multi-Modality Learning for Topic-Focused Multi-Document Summarization | |
| Xiaojun Wan, Jianguo Xiao |
| Multiscale Analysis of Document Corpora Based on Diffusion Models | |
| Chang Wang, Sridhar Mahadevan |
| Wikispeedia: An Online Game for Inferring Semantic Distances between Concepts | |
| Robert West, Joelle Pineau, Doina Precup |
| Situated Resolution and Generation of Spatial Referring Expressions for Robotic Assistants | |
| Hendrik Zender, Geert-Jan M. Kruijff, Ivana Kruijff-Korbayová |
| On-line Evolutionary Exponential Family Mixture | |
| Jianwen Zhang, Yangqiu Song, Gang Chen, Changshui Zhang |
| Word Sense Disambiguation for All Words Without Hard Labor | |
| Zhi Zhong, Hwee Tou Ng |
Planning and Scheduling
| A Translation-based Approach to Contingent Planning | |
| Alexandre Albore, Héctor Palacios, Héctor Geffner |
| Translating HTNs to PDDL: A Small Amount of Domain Knowledge Can Go a Long Way | |
| Ronald Wayne Alford, Ugur Kuter, Dana Nau |
| Goal Recognition with Variable-Order Markov Models | |
| Marcelo Gabriel Armentano, Analía A. Amandi |
| Solving POMDPs: RTDP-Bel Versus Point-based Algorithms | |
| Blai Bonet, Hector Geffner |
| Incremental Heuristic Search for Planning with Temporally Extended Goals and Uncontrollable Events | |
| Adi Botea, Andre A. Cire |
| Equivalence Relations in Fully and Partially Observable Markov Decision Processes | |
| Pablo Samuel Castro, Prakash Panangaden, Doina Precup |
| Completeness and Optimality Preserving Reduction for Planning | |
| Yixin Chen, Guohui Yao |
| Stratified Planning | |
| Yixin Chen, You Xu, Guohui Yao |
| Temporal Planning in Domains with Linear Processes | |
| Amanda Coles, Andrew Coles, Maria Fox, Derek Long |
| Domain-Independent, Automatic Partitioning for Probabilistic Planning | |
| Peng Dai, Mausam, Daniel S Weld |
| Topological Order Planner for POMDPs | |
| Jilles Steeve Dibangoye, Guy Shani, Brahim Chaib-draa, Abdell-Illah Mouaddib |
| Optimal Symbolic Planning with Action Costs and Preferences | |
| Stefan Edelkamp, Peter Kissmann |
| Activity Recognition with Intended Actions | |
| Alfredo Gabaldon |
| Delaying Commitment in Plan Recognition Using Combinatory Categorial Grammars | |
| Christopher Geib |
| Learning Hierarchical Task Networks for Nondeterministic Planning Domains | |
| Chad Hogg, Ugur Kuter, Hector Munoz-Avila |
| Abnormal Activity Recognition based on HDP-HMM Models | |
| Derek Hao Hu, Xian-Xing Zhang, Jie Yin, Vincent Wenchen Zheng, Qiang Yang |
| Structured Plans and Observation Reduction for Plans with Contexts | |
| Wei Huang, Zhonghua Wen, Yunfei Jiang, Hong Peng |
| Cost-Optimal Planning with Landmarks | |
| Erez Karpas, Carmel Domshlak |
| Trees of Shortest Paths Versus Steiner Trees: Understanding and Improving Delete Relaxation Heuristics | |
| Emil Ragip Keyder, Hector Geffner |
| Efficient Abstraction and Refinement for Behavioral Description Based Web Service Composition | |
| Hyunyoung Kil, Wonhong Nam, Dongwon Lee |
| ReTrASE: Integrating Paradigms for Approximate Probabilistic Planning | |
| Andrey Kolobov, Mausam, Daniel S. Weld |
| Learning Probabilistic Hierarchical Task Networks to Capture User Preferences | |
| Nan Li, Subbarao Kambhampati, Sungwook Yoon |
| A Distributed Control Loop for Autonomous Recovery in a Multi-Agent Plan | |
| Roberto Micalizio |
| Monte-Carlo Exploration for Deterministic Planning | |
| Hootan Nakhost, Martin Müller |
| Planning with Partial Preference Models | |
| Tuan A. Nguyen, Minh B. Do, Subbarao Kambhampati, Biplav Srivastava |
| Plan Recognition as Planning | |
| Miquel Ramírez, Hector Geffner |
| Bayesian Real-time Dynamic Programming | |
| Scott Sanner, Robby Goetschalckx, Kurt Driessens, Guy Shani |
| HTN Planning with Preferences | |
| Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith |
| A Context Driven Approach for Workflow Mining | |
| Fusun Yaman, Tim Oates, Mark Burstein |
| Learning HTN Method Preconditions and Action Models from Partial Observations | |
| Hankz Hankui Zhuo, Derek Hao Hu, Chad Hogg, Qiang Yang, Hector Munoz-Avila |
Robotics and Vision
| Adversarial Uncertainty in Multi-Robot Patrol | |
| Noa Agmon, Sarit Kraus, Gal A. Kaminka, Vladimir Sadov |
| Evaluating Description and Reference Strategies in a Cooperative Human-Robot Dialogue System | |
| Mary Ellen Foster, Manuel Giuliani, Amy Isard, Colin Matheson, Jon Oberlander, Alois Knoll |
| Incremental Phi*: Incremental Any-Angle Path Planning on Grids | |
| Alex Nash, Sven Koenig, Maxim Likhachev |
| Information-Lookahead Planning for AUV Mapping | |
| Zeyn A. Saigol, Richard W. Dearden, Jeremy L. Wyatt, Bramley J. Murton |
| Self-Supervised Aerial Images Analysis for Extracting Parking lot Structure | |
| Young-Woo Seo, Nathan Ratliff, Chris Urmson |
| Nonmyopic Adaptive Informative Path Planning for Multiple Robots | |
| Amarjeet Singh, Andreas Krause, William J. Kaiser |
| Learning Kinematic Models for Articulated Objects | |
| Jürgen Sturm, Vijay Pradeep, Cyrill Stachniss, Christian Plagemann, Kurt Konolige, Wolfram Burgard |
| A Computational Model for the Alignment of Hierarchical Scene Representations in Human-Robot Interaction | |
| Agnes Swadzba, Constanze Vorwerg, Sven Wachsmuth, Gert Rickheit |
| Domain-Guided Novelty Detection for Autonomous Exploration | |
| David Ray Thompson |
| Tractable Multi-Agent Path Planning on Grid Maps | |
| Ko-Hsin Cindy Wang, Adi Botea |
| Human Activity Encoding and Recognition Using Low-level Visual Features | |
| Zheshen Wang, Baoxin Li |
Uncertainty in AI
| Markov Network based Ontology Matching | |
| Sivan Gali Albagli, Solomon Eyal Shimony, Rachel Ben-Eliyahu-Zohary |
| Ceteris Paribus Preference Elicitation with Predictive Guarantees | |
| Yannis Dimopoulos, Loizos Michael, Fani Athienitou |
| Fast Recommendations using GAI Models | |
| Jean-Philippe Dubus, Christophe Gonzales, Patrice Perny |
| Multiobjective Optimization using GAI Models | |
| Jean-Philippe Dubus, Christophe Gonzales, Patrice Perny |
| Greedy Algorithms for Sequential Sensing Decisions | |
| Hannaneh Hajishirzi, Afsaneh Shirazi, Jaesik Choi, Eyal Amir |
| Generalized First Order Decision Diagrams for First Order Markov Decision Processes | |
| Saket Subhash Joshi, Kristian Kersting, Roni Khardon |
| Lifted Aggregation in Directed First-order Probabilistic Models | |
| Jacek Kisyński, Dawid Poole |
| Learning Conditional Preference Networks with Queries | |
| Frederic Koriche, Bruno Zanuttini |
| A Sparse Covariance Function for Exact Gaussian Process Inference in Large Datasets | |
| Arman Melkumyan, Fabio Tozeto Ramos |
| CTPPL: A Continuous Time Probabilistic Programming Language | |
| Avi Pfeffer |
| Speeding Up Exact Solutions of Interactive Dynamic Influence Diagrams Using Action Equivalence | |
| Yifeng Zeng, Prashant Doshi |
| Testing Edges by Truncations | |
| Ilya Shpitser, Thomas S. Richardson, James M. Robins |
| Variable and Value Ordering for MPE Search | |
| Sajjad Ahmed Siddiqi, Jinbo Huang |
| Parameter Identification in a Class of Linear Structural Equation Models | |
| Jin Tian |
| Learning a Value Analysis Tool For Agent Evaluation | |
| Martha White, Michael Bowling |
| Efficient Computation of Jointree Bounds for Systematic MAP Search | |
| Changhe Yuan, Eric A. Hansen |
| A Syntax-based Framework for Merging Imprecise Probabilistic Logic Programs | |
| Anbu Yue, Weiru Liu |
| Speeding Up Inference in Markov Logic Networks by Preprocessing to Reduce the Size of the Resulting Grounded Network | |
| Jude Shavlik, Sriraam Natarajan |
| A General Approach to Environment Design with One Agent | |
| Haoqi Zhang, Yiling Chen, David C. Parkes |
Web and Knowledge-Based Information Systems
| DL-liteR in the Light of Propositional Logic for Decentralized Data Management | |
| Nada Abdallah, Francois Goasdoue, Marie-Christine Rousset |
| Sketching Techniques for Collaborative Filtering | |
| Yoram Bachrach, Ely Porat, Jeffrey S. Rosenschein |
| Spatial Processes for Recommender Systems | |
| Fabian Bohnert, Daniel F. Schmidt, Ingrid Zukerman |
| Dynamic Selection of Ontological Alignments: A Space Reduction Mechanism | |
| Paul Doran, Valentina Tamma, Terry R. Payne, Ignazio Palmisano |
| Improving Search In Social Networks by Agent Based Mining | |
| Anil Gursel, Sandip Sen |
| Consequence-Driven Reasoning for Horn SHIQ Ontologies | |
| Yevgeny Kazakov |
| Efficient Estimation of Influence Functions for SIS Model on Social Networks | |
| Masahiro Kimura, Kazumi Saito, Hiroshi Motoda |
| Can Movies and Books Collaborate? Cross-Domain Collaborative Filtering for Sparsity Reduction | |
| Bin Li, Qiang Yang, Xiangyang Xue |
| Using Web Photos for Measuring Video Frame Interestingness | |
| Feng Liu, Yuzhen Niu, Michael Gleicher |
| A Content-Based Method to Enhance Tag Recommendation | |
| Yu-Ta Lu, Shoou-I Yu, Tsung-Chieh Chang, Jane Yung-jen Hsu |
| Conjunctive Query Answering in the Description Logic EL using a Relational Database System | |
| Carsten Lutz, David Toman, David Toman, Frank Wolter, Frank Wolter |
| Exploiting Background Knowledge to Build Reference Sets for Information Extraction | |
| Matthew Michelson, Craig A. Knoblock |
| Large-Scale Taxonomy Mapping for Restructuring and Integrating Wikipedia | |
| Simone Paolo Ponzetto, Roberto Navigli |
| Towards Ontology Learning from Folksonomies | |
| Jie Tang, Ho-fung Leung, Qiong Luo, Dewei Chen, Jibin Gong |
| Streamlining Attacks on CAPTCHAs with a Computer Game | |
| Jeff Yan, Su-Yang Yu |
| Incorporating User Behaviors in New Word Detection | |
| Yabin Zheng, Zhiyuan Liu, Maosong Sun, Liyun Ru, Yang Zhang |