Invited Talks and Research Excellence Paper
| Open Information Extraction: The Second Generation | |
| Oren Etzioni, Anthony Fader, Janara Christensen, Stephen Soderland, - Mausam |
| Artificial Intelligence and Human Thinking | |
| Robert Anthony Kowalski |
Agent-Based and Multiagent Systems
| The Shapley Value as a Function of the Quota in Weighted Voting Games | |
| Yair Zick, Alexander Skopalik, Edith Elkind |
| Aggregating Dependency Graphs into Voting Agendas in Multi-Issue Elections | |
| Stéphane Airiau, Ulle Endriss, Umberto Grandi, Daniele Porello, Joel Uckelman |
| Using Emotions to Enhance Decision-Making | |
| Dimitrios Antos, Avi Pfeffer |
| Hustling in Repeated Zero-Sum Games with Imperfect Execution | |
| Christopher Archibald, Yoav Shoham |
| Dynamics of Profit-Sharing Games | |
| John Augustine, Ning Chen, Edith Elkind, Angelo Fanelli, Nick Gravin, Dmitry Shiryaev |
| Optimal Partitions in Additively Separable Hedonic Games | |
| Haris Aziz, Felix Brandt, Hans Georg Seedig |
| Coalitional Voting Manipulation: A Game-Theoretic Perspective | |
| Yoram Bachrach, Edith Elkind, Piotr Faliszewski |
| Unweighted Coalitional Manipulation Under the Borda Rule Is NP-Hard | |
| Nadja Betzler, Rolf Niedermeier, Gerhard J. Woeginger |
| Simulating the Emergence of Grammatical Agreement in Multi-Agent Language Games | |
| Katrien Beuls, Sebastian Höfer |
| Approximately Strategy-Proof Voting | |
| Eleanor Birrell, Rafael Pass |
| A General Elicitation-Free Protocol for Allocating Indivisible Goods | |
| Sylvain Bouveret, Jérôme Lang |
| Group-Strategyproof Irresolute Social Choice Functions | |
| Felix Brandt |
| On the Fixed-Parameter Tractability of Composition-Consistent Tournament Solutions | |
| Felix Brandt, Markus Brill, Hans Georg Seedig |
| Social Distance Games | |
| Simina Brânzei, Kate Larson |
| Modeling the Emergence and Convergence of Norms | |
| Logan Conrad Brooks, Wayne Iba, Sandip Sen |
| Verifying Normative Behaviour via Normative Mechanism Design | |
| Nils Bulling, Mehdi Dastani |
| Alternating Epistemic Mu-Calculus | |
| Nils Bulling, Wojciech Jamroga |
| Trust Decision-Making in Multi-Agent Systems | |
| Chris Burnett, Timothy J. Norman, Katia Sycara |
| Manipulation in Group Argument Evaluation | |
| Martin Caminada, Gabriella Pigozzi, Mikołaj Podlaszewski |
| Towards More Expressive Cake Cutting | |
| Ioannis Caragiannis, John K. Lai, Ariel D. Procaccia |
| Efficient Mechanisms with Risky Participation | |
| Ruggiero Cavallo |
| Using Incentive Mechanisms for an Adaptive Regulation of Open Multi-Agent Systems | |
| Roberto Centeno, Holger Billhardt |
| AstonCAT-Plus: An Efficient Specialist for the TAC Market Design Tournament | |
| Meng Chang, Minghua He, Xudong Luo |
| A Market Clearing Solution for Social Lending | |
| Ning Chen, Arpita Ghosh |
| Hypercubewise Preference Aggregation in Multi-Issue Domains | |
| Vincent Conitzer, Jérôme Lang, Lirong Xia |
| Changing One's Mind: Erase or Rewind? Possibilistic Belief Revision with Fuzzy Argumentation Based on Trust | |
| Célia da Costa Pereira, Andrea G. B. Tettamanzi, Serena Villata |
| Multi-Agent Soft Constraint Aggregation via Sequential Voting | |
| Giorgio Dalla Pozza, Maria Silvia Pini, Francesca Rossi, K. Brent Venable |
| Human-Agent Auction Interactions: Adaptive-Aggressive Agents Dominate | |
| Marco De Luca, Dave Cliff |
| Choosing Collectively Optimal Sets of Alternatives Based on the Condorcet Criterion | |
| Edith Elkind, Jérôme Lang, Abdallah Saffidine |
| Action Selection via Learning Behavior Patterns in Multi-Robot Systems | |
| Can Erdogan, Manuela Veloso |
| Assumption-Based Argumentation Dialogues | |
| Xiuyi Fan, Francesca Toni |
| Binary Aggregation with Integrity Constraints | |
| Umberto Grandi, Ulle Endriss |
| Manipulating Boolean Games Through Communication | |
| John Grant, Sarit Kraus, Michael John Wooldridge, Inon Zuckerman |
| On the Complexity of the Core over Coalition Structures | |
| Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello |
| Max-Prob: An Unbiased Rational Decision Making Procedure for Multiple-Adversary Environments | |
| Anat Hashavit, Shaul Markovitch |
| A Dynamic Logic of Normative Systems | |
| Andreas Herzig, Emiliano Lorini, Frederic Moisan, Nicolas Troquard |
| Considerate Equilibrium | |
| Martin Hoefer, Michal Penn, Maria Polukarov, Alexander Skopalik, Berthold Vöcking |
| Model Checking Knowledge in Pursuit Evasion Games | |
| Xiaowei Huang, Patrick Maupin, Ron van der Meyden |
| The Complexity of Safe Manipulation under Scoring Rules | |
| Egor Ianovski, Lan Yu, Edith Elkind, Mark C. Wilson |
| Comparing Variants of Strategic Ability | |
| Wojciech Jamroga, Nils Bulling |
| Accelerating Best Response Calculation in Large Extensive Games | |
| Michael Johanson, Kevin Waugh, Michael Bowling, Martin Zinkevich |
| A Mechanism for Dynamic Ride Sharing Based on Parallel Auctions | |
| Alexander Kleiner, Bernhard Nebel, Vittorio Amos Ziparo |
| Security Games with Multiple Attacker Resources | |
| Dmytro Korzhyk, Vincent Conitzer, Ronald Parr |
| Budgeted Social Choice: From Consensus to Personalized Decision Making | |
| Tyler Lu, Craig Boutilier |
| Robust Approximation and Incremental Elicitation in Voting Protocols | |
| Tyler Lu, Craig Boutilier |
| Push and Swap: Fast Cooperative Path-Finding with Completeness Guarantees | |
| Ryan J. Luna, Kostas E. Bekris |
| Subsidies, Stability, and Restricted Cooperation in Coalitional Games | |
| Reshef Meir, Jeffrey S. Rosenschein, Enrico Malizia |
| Using Experience to Generate New Regulations | |
| Javier Morales, Maite López-Sánchez, Marc Esteva |
| Agents, Actions and Goals in Dynamic Environments | |
| Peter Novák, Wojciech Jamroga |
| On the Complexity of Voting Manipulation under Randomized Tie-Breaking | |
| Svetlana Obraztsova, Edith Elkind |
| Efficient Planning for Factored Infinite-Horizon DEC-POMDPs | |
| Joni Kristian Pajarinen, Jaakko Tapani Peltonen |
| An Interaction-Oriented Model for Multi-Scale Simulation | |
| Sébastien Picault, Philippe Mathieu |
| Minimum Search To Establish Worst-Case Guarantees in Coalition Structure Generation | |
| Talal Rahwan, Tomasz P Michalak, Nicholas R Jennings |
| On Combining Decisions from Multiple Expert Imitators for Performance | |
| Jonathan Rubin, Ian Watson |
| An Empirical Study of Seeding Manipulations and Their Prevention | |
| Tyrel Russell, Peter van Beek |
| Rigging Tournament Brackets for Weaker Players | |
| Isabelle Stanton, Virginia Vassilevska Williams |
| Learning Where You Are Going and From Whence You Came: h- and g-Cost Learning in Real-Time Heuristic Search | |
| Nathan R. Sturtevant, Vadim Bulitko |
| Emergence and Stability of Social Conventions in Conflict Situations | |
| Toshiharu Sugawara |
| Approximating Optimal Combinatorial Auctions for Complements Using Restricted Welfare Maximization | |
| Pingzhong Tang, Tuomas Sandholm |
| Generalizing Envy-Freeness Toward Group of Agents | |
| Taiki Todo, Runcong Li, Xuemei Hu, Takayuki Mouri, Atsushi Iwasaki, Makoto Yokoo |
| Concise Characteristic Function Representations in Coalitional Games Based on Agent Types | |
| Suguru Ueda, Makoto Kitaki, Atsushi Iwasaki, Makoto Yokoo |
| Facing Openness with Socio Cognitive Trust and Categories | |
| Matteo Venanzi, Michele Piunti, Rino Falcone, Cristiano Castelfranchi |
| Attack Semantics for Abstract Argumentation | |
| Serena Villata, Guido Boella, Leendert van der Torre |
| Dynamic Sanctioning for Robust and Cost-Efficient Norm Compliance | |
| Daniel Villatoro, Giulia Andrighetto, Jordi Sabater-Mir, Rosaria Conte |
| Social Instruments for Robust Convention Emergence | |
| Daniel Villatoro, Jordi Sabater-Mir, Sandip Sen |
| Reasoning About Preferences in Intelligent Agent Systems | |
| Simeon Visser, John Thangarajah, James Harland |
| Using Gaussian Processes to Optimise Concession in Complex Negotiations against Unknown Opponents | |
| Colin Richard Williams, Valentin Robu, Enrico Harm Gerding, Nicholas Robert Jennings |
| Online Planning for Ad Hoc Autonomous Agent Teams | |
| Feng Wu, Shlomo Zilberstein, Xiaoping Chen |
| A Maximum Likelihood Approach Towards Aggregating Partial Orders | |
| Lirong Xia, Vincent Conitzer |
| An Efficient Monte-Carlo Algorithm for Pricing Combinatorial Prediction Markets for Tournaments | |
| Lirong Xia, David M. Pennock |
| Improving Resource Allocation Strategy Against Human Adversaries in Security Games | |
| Rong Yang, Christopher Kiekintveld, Fernando Ordonez, Milind Tambe, Richard John |
| Continuous Time Planning for Multiagent Teams with Temporal Constraints | |
| Zhengyu Yin, Milind Tambe |
| Mechanism Design for Double Auctions with Temporal Constraints | |
| Dengji Zhao, Dongmo Zhang, Laurent Perrussel |
| Generalized Reaction Functions for Solving Complex-Task Allocation Problems | |
| Xiaoming Zheng, Sven Koenig |
| Multi-Agent Plan Recognition with Partial Team Traces and Plan Libraries | |
| Hankz Hankui Zhuo, Lei Li |
Constraints, Satisfiability, and Search
| Tackling the Partner Units Configuration Problem | |
| Markus Aschinger, Conrad Drescher, Georg Gottlob, Peter Jeavons, Evgenij Thorstensen |
| Depth-Driven Circuit-Level Stochastic Local Search for SAT | |
| Anton Belov, Matti Järvisalo, Zbigniew Stachniak |
| Tractable Set Constraints | |
| Manuel Bodirsky, Martin Hils, Alex Krimkevich |
| Symmetries and Lazy Clause Generation | |
| Geoffrey Chu, Maria Garcia de la Banda, Chris Mears, Peter J. Stuckey |
| Constraint Satisfaction Problems: Convexity Makes AllDifferent Constraints Tractable | |
| Michael Fellows, Tobias Friedrich, Danny Hermelin, Nina Narodytska, Frances Rosamond |
| Probabilistic Satisfiability: Logic-Based Algorithms and Phase Transition | |
| Marcelo Finger, Glauber De Bona |
| Using Payoff-Similarity to Speed Up Search | |
| Timothy Furtak, Michael Buro |
| Kernels for Global Constraints | |
| Serge Gaspers, Stefan Szeider |
| A Uniform Approach for Generating Proofs and Strategies for both True and False QBF Formulas | |
| Alexandra Goultiaeva, Allen Van Gelder, Fahiem Bacchus |
| Generalizing ADOPT and BnB-ADOPT | |
| Patricia Gutierrez, Pedro Meseguer, William Yeoh |
| Dynamic SAT with Decision Change Costs: Formalization and Solutions | |
| Daisuke Hatano, Katsutoshi Hirayama |
| Minimization for Generalized Boolean Formulas | |
| Edith Hemaspaandra, Henning Schnoor |
| Read-Once Resolution for Unsatisfiability-Based Max-SAT Algorithms | |
| Federico Heras, Joao Marques-Silva |
| Real-Time Heuristic Search with Depression Avoidance | |
| Carlos Hernandez, Jorge A Baier |
| Evaluations of Hash Distributed A* in Optimal Sequence Alignment | |
| Yoshikazu Kobayashi, Akihiro Kishimoto, Osamu Watanabe |
| A Hybrid Recursive Multi-Way Number Partitioning Algorithm | |
| Richard Earl Korf |
| Constraint Programming on Infinite Data Streams | |
| A. Lallouet, Y. C. Law, J. H. M. Lee, C. F. K. Siu |
| Minimum Satisfiability and Its Applications | |
| Chu-Min Li, Zhu Zhu, Felip Manya, Laurent Simon |
| Large Hinge Width on Sparse Random Hypergraphs | |
| Tian Liu, Xiaxiang Lin, Chaoyi Wang, Kaile Su, Ke Xu |
| Real-Time Opponent Modelling in Trick-Taking Card Games | |
| Jeffrey Richard Long, Michael Buro |
| Exploiting Short Supports for Generalised Arc Consistency for Arbitrary Constraints | |
| Peter Nightingale, Ian Philip Gent, Chris Jefferson, Ian Miguel |
| The Multi-Inter-Distance Constraint | |
| Pierre Ouellet, Claude-Guy Quimper |
| Finite-Length Markov Processes with Constraints | |
| Francois Pachet, Pierre Roy, Gabriele Barbieri |
| A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints | |
| Thierry Petit, Nicolas Beldiceanu, Xavier Lorca |
| Nested Rollout Policy Adaptation for Monte Carlo Tree Search | |
| Christopher D. Rosin |
| Real-Time Solving of Quantified CSPs Based on Monte-Carlo Game Tree Search | |
| Baba Satomi, Yongjoon Joe, Atsushi Iwasaki, Makoto Yokoo |
| The Increasing Cost Tree Search for Optimal Multi-Agent Pathfinding | |
| Guni Sharon, Roni Stern, Meir Goldenberg, Ariel Felner |
| Complete Algorithms for Cooperative Pathfinding Problems | |
| Trevor Scott Standley, Richard Korf |
| Bounded Suboptimal Search: A Direct Approach Using Inadmissible Estimates | |
| Jordan Tyler Thayer, Wheeler Ruml |
| Rational Deployment of CSP Heuristics | |
| David Tolpin, Solomon Eyal Shimony |
| Symmetry Breaking Via LexLeader Feasibility Checkers | |
| Justin Yip, Pascal Van Hentenryck |
| Heuristic Algorithms for Balanced Multi-Way Number Partitioning | |
| Jilian Zhang, Kyriakos Mouratidis, HweeHwa Pang |
| Space Defragmentation Heuristic for 2D and 3D Bin Packing Problems | |
| Zhaoyi Zhang, Songshan Guo, Wenbin Zhu, Wee-Chong Oon, Andrew Lim |
Knowledge Representation, Reasoning, and Logic
| What Is an Ideal Logic for Reasoning with Inconsistency? | |
| Ofer Arieli, Arnon Avron, Anna Zamansky |
| Walking the Complexity Lines for Generalized Guarded Existential Rules | |
| Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph, Michaël Thomazo |
| Query Reasoning on Trees with Types, Interleaving, and Counting | |
| Everardo Barcenas, Pierre Geneves, Nabil Layaida, Alan Schmitt |
| First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription | |
| Michael Bartholomew, Joohyung Lee, Yunsong Meng |
| A Theory of Meta-Diagnosis: Reasoning About Diagnostic Systems | |
| Nuno Belard, Yannick Pencolé, Michel Combacau |
| A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results | |
| Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi |
| On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols | |
| Vaishak Belle, Gerhard Lakemeyer |
| Interval-Based Possibilistic Logic | |
| Salem Benferhat, Julien Hué, Sylvain Lagrue, Julien Rossit |
| RCC8 Is Polynomial on Networks of Bounded Treewidth | |
| Manuel Bodirsky, Stefan Wölfl |
| On the Complexity of EL with Defeasible Inclusions | |
| Piero A. Bonatti, Marco Faella, Luigi Sauro |
| Description Logics over Lattices with Multi-valued Ontologies | |
| Stefan Borgwardt, Rafael Peñaloza |
| Finite-Valued Lukasiewicz Modal Logic Is PSPACE-Complete | |
| Félix Bou, Marco Cerami, Francesc Esteva |
| Relating the Semantics of Abstract Dialectical Frameworks and Standard AFs | |
| Gerd Brewka, Paul Edward Dunne, Stefan Woltran |
| Managed Multi-Context Systems | |
| Gerhard Brewka, Thomas Eiter, Michael Fink, Antonius Weinzierl |
| Modeling Attempt and Action Failure in Probabilistic Stit Logic | |
| Jan Broersen |
| A Practical Automata-Based Technique for Reasoning in Expressive Description Logics | |
| Diego Calvanese, Domenico Carbotta, Magdalena Ortiz |
| Containment of Regular Path Queries under Description Logic Constraints | |
| Diego Calvanese, Magdalena Ortiz, Mantas Simkus |
| Defeasible Inheritance-Based Description Logics | |
| Umberto Straccia, Giovanni Casini |
| SDD: A New Canonical Representation of Propositional Knowledge Bases | |
| Adnan Darwiche |
| Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals | |
| Giuseppe De Giacomo, Yves Lesperance, Hector J. Levesque |
| Revising by an Inconsistent Set of Formulas | |
| James Delgrande |
| Revising Horn Theories | |
| James P. Delgrande, Pavlos Peppas |
| Expressiveness of the Interval Logics of Allen's Relations on the Class of all Linear Orders: Complete Classification | |
| Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
| Parametric Properties of Ideal Semantics | |
| Wolfgang Dvorak, Paul Edward Dunne, Stefan Woltran |
| Tangled Modal Logic for Spatial Reasoning | |
| David Fernández Duque |
| Backdoors to Tractable Answer-Set Programming | |
| Johannes Klaus Fichte, Stefan Szeider |
| Refutation in Dummett Logic Using a Sign to Express the Truth at the Next Possible World | |
| Guido Fiorino |
| Fixpoints in Temporal Description Logics | |
| Enrico Franconi, David Toman |
| Succinctness of Epistemic Languages | |
| Tim French, Wiebe van der Hoek, Petar Iliev, Barteld Kooi |
| Repairing Incorrect Knowledge with Model Formulation and Metareasoning | |
| Scott Friedman, Kenneth Forbus |
| Reasoning About Typicality in Low Complexity DLs: the Logics EL⊥Tmin and DL-LitecTmin | |
| Laura Giordano, Valentina Gliozzi, Nicola Olivetti, GianLuca Pozzato |
| Belief Management for High-Level Robot Programs | |
| Stephan Gspandl, Ingo Pill, Michael Reip, Gerald Steinbauer, Alexander Ferrein |
| Multidimensional Mereotopology with Betweenness | |
| Torsten Hahmann, Michael Gruninger |
| Generalising the Interaction Rules in Probabilistic Logic | |
| Arjen Hommersom, Peter J. F. Lucas |
| Generalized Planning: Synthesizing Plans that Work for Multiple Environments | |
| Yuxiao Hu, Giuseppe De Giacomo |
| Logic Programming for Boolean Networks | |
| Katsumi Inoue |
| Discrete-Time Temporal Reasoning with Horn DLRs | |
| Peter Jonsson, Tomas Lööw |
| A Constructive Approach to Independent and Evidence Retaining Belief Revision by General Information Sets | |
| Gabriele Kern-Isberner, Patrick Kruempelmann |
| A Logic for Causal Inference in Time Series with Discrete and Continuous Variables | |
| Samantha Kleinberg |
| Belief Base Rationalization for Propositional Merging | |
| Sébastien Konieczny, Pierre Marquis, Nicolas Schwind |
| On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces | |
| Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev |
| Extending Decidable Existential Rules by Joining Acyclicity and Guardedness | |
| Markus Krötzsch, Sebastian Rudolph |
| Context-Sensitive Diagnosis of Discrete-Event Systems | |
| Gianfranco Lamperti, Marina Zanella |
| On the Progression of Knowledge in the Situation Calculus | |
| Yongmei Liu, Ximing Wen |
| Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability | |
| Carsten Lutz, Robert Piro, Frank Wolter |
| Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics | |
| Carsten Lutz, Frank Wolter |
| Existential Closures for Knowledge Compilation | |
| Pierre Marquis |
| Lost in Translation: Language Independence in Propositional Logic — Application to Belief Revision and Belief Merging | |
| Pierre Marquis, Nicolas Schwind |
| Reasoning about Fuzzy Belief and Common Belief: With Emphasis on Incomparable Beliefs | |
| Yoshihiro Maruyama |
| Causal Learnability | |
| Loizos Michael |
| Revisiting Preferences and Argumentation | |
| Sanjay Modgil, Henry Prakken |
| Reasoning-Supported Interactive Revision of Knowledge Bases | |
| Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm |
| Augmenting Tractable Fragments of Abstract Argumentation | |
| Sebastian Ordyniak, Stefan Szeider |
| Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ | |
| Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus |
| An Approach to Minimal Belief Via Objective Belief | |
| David Pearce, Levan Uridia |
| An Assertion Retrieval Algebra for Object Queries over Knowledge Bases | |
| Jeffrey Pound, David Toman, Grant Weddell, Jiewen Wu |
| On the Complexity of Dealing with Inconsistency in Description Logic Ontologies | |
| Riccardo Rosati |
| Dishonest Reasoning by Abduction | |
| Chiaki Sakama |
| A Logical Formulation for Negotiation Among Dishonest Agents | |
| Chiaki Sakama, Son Cao Tran, Enrico Pontelli |
| Description Logics and Fuzzy Probability | |
| Lutz Schröder, Dirk Pattinson |
| Well-Supported Semantics for Description Logic Programs | |
| Yi-Dong Shen |
| Computing Minimum-Cardinality Diagnoses by Model Relaxation | |
| Sajjad Ahmed Siddiqi |
| Consequence-Based Reasoning beyond Horn Ontologies | |
| František Simančík, Yevgeny Kazakov, Ian Horrocks |
| Beth Definability in Expressive Description Logics | |
| Balder ten Cate, Enrico Franconi, İnanç Seylan |
| The General Game Playing Description Language Is Universal | |
| Michael Thielscher |
| Relating Carneades with Abstract Argumentation | |
| Bas Martijn van Gijzel, Henry Prakken |
| On Qualitative Route Descriptions: Representation and Computational Complexity | |
| Matthias Westphal, Stefan Wölfl, Bernhard Nebel, Jochen Renz |
| Translating First-Order Theories into Logic Programs | |
| Heng Zhang, Yan Zhang, Mingsheng Ying, Yi Zhou |
| Transitively Relational Partial Meet Horn Contraction | |
| Zhiqiang Zhuang, Maurice Pagnucco |
Machine Learning
| Discerning Linkage-Based Algorithms Among Hierarchical Clustering Methods | |
| Margareta Ackerman, Shai Ben-David |
| A Competitive Strategy for Function Approximation in Q-Learning | |
| Alejandro Gabriel Agostini, Enric Celaya |
| Multi-Evidence Lifted Message Passing, with Application to PageRank and the Kalman Filter | |
| Babak Ahmadi, Kristian Kersting, Scott Sanner |
| An Efficient Framework for Constructing Generalized Locally-Induced Text Metrics | |
| Saeed Amizadeh, Shuguang Wang, Milos Hauskrecht |
| Semi-Supervised Learning from a Translation Model Between Data Distributions | |
| Henry Anaya-Sánchez, José Martínez-Sotoca, Adolfo Martínez-Usó |
| A Framework for Incorporating General Domain Knowledge into Latent Dirichlet Allocation Using First-Order Logic | |
| David Andrzejewski, Xiaojin Zhu, Mark Craven, Benjamin Recht |
| Improving Performance of Topic Models by Variable Grouping | |
| Evgeniy Bart |
| Learning a Distance Metric by Empirical Loss Minimization | |
| Wei Bian, Dacheng Tao |
| A Hidden Markov Model Variant for Sequence Classification | |
| Sam Blasiak, Huzefa Rangwala |
| Approximation-Guided Evolutionary Multi-Objective Optimization | |
| Karl Bringmann, Tobias Friedrich, Frank Neumann, Markus Wagner |
| Distance Metric Learning under Covariate Shift | |
| Bin Cao, Xiaochuan Ni, Jian-Tao Sun, Gang Wang, Qiang Yang |
| Using Cases as Heuristics in Reinforcement Learning: A Transfer Learning Application | |
| Luiz A. Celiberto Jr., Jackson P. Matsuura, Ramon Lopez de Mantaras, Reinaldo A. C. Bianchi |
| Increasing the Scalability of the Fitting of Generalised Block Models for Social Networks | |
| Jeffrey Chan, Samantha Lam, Conor Hayes |
| Concept Labeling: Building Text Classifiers with Minimal Supervision | |
| Vijil Chenthamarakshan, Prem Melville, Vikas Sindhwani, Richard D Lawrence |
| Unsupervised Learning of Patterns in Data Streams Using Compression and Edit Distance | |
| Sook-Ling Chua, Stephen Marsland, Hans W. Guesgen |
| Flexible, High Performance Convolutional Neural Networks for Image Classification | |
| Dan Claudiu Ciresan, Ueli Meier, Jonathan Masci, Luca Maria Gambardella, Jürgen Schmidhuber |
| Automatic State Abstraction from Demonstration | |
| Luis Carlos Cobo, Peng Zang, Charles Lee Isbell Jr., Andrea Lockerd Thomaz |
| Generative Structure Learning for Markov Logic Networks Based on Graph of Predicates | |
| Quang-Thang Dinh, Matthieu Exbrayat, Christel Vrain |
| Learning Decision Rules from Data Streams | |
| João Gama, Petr Kosina |
| Constituent Grammatical Evolution | |
| Loukas Georgiou, William J. Teahan |
| Continuous Correlated Beta Processes | |
| Robby Goetschalckx, Pascal Poupart, Jesse Hoey |
| A Fast Dual Projected Newton Method for L1-Regularized Least Squares | |
| Pinghua Gong, Changshui Zhang |
| Kernel-Based Selective Ensemble Learning for Streams of Trees | |
| Valerio Grossi, Alessandro Sperduti |
| On Trivial Solution and Scale Transfer Problems in Graph Regularized NMF | |
| Quanquan Gu, Chris Ding, Jiawei Han |
| Joint Feature Selection and Subspace Learning | |
| Quanquan Gu, Zhenhui Li, Jiawei Han |
| Multi-Label Classification Using Conditional Dependency Networks | |
| Yuhong Guo, Suicheng Gu |
| Extracting Temporal Patterns from Interval-Based Sequences | |
| Thomas Guyet, René Quiniou |
| Fast Approximate Nearest-Neighbor Search with k-Nearest Neighbor Graph | |
| Kiana Hajebi, Yasin Abbasi-Yadkori, Hossein Shahbazi, Hong Zhang |
| Gaussianity Measures for Detecting the Direction of Causal Time Series | |
| José Miguel Hernández-Lobato, Pablo Morales-Mombiela, Alberto Suárez |
| Feature Selection Via Joint Embedding Learning and Sparse Regression | |
| Chenping Hou, Feiping Nie, Dongyun Yi, Yi Wu |
| Heuristic Rule-Based Regression Via Dynamic Reduction to Classification | |
| Frederik Janssen, Johannes Fürnkranz |
| Adaptation of a Mixture of Multivariate Bernoulli Distributions | |
| Ankur Kamthe, Miguel Angel Carreira-Perpinan, Alberto E. Cerpa |
| Revisiting Numerical Pattern Mining with Formal Concept Analysis | |
| Mehdi Kaytoue, Sergei O. Kuznetsov, Amedeo Napoli |
| Activity Recognition with Finite State Machines | |
| Wesley Kerr, Anh Tran, Paul Cohen |
| Incremental Slow Feature Analysis | |
| Varun Raj Kompella, Matthew Luciw, Juergen Schmidhuber |
| Learning Hash Functions for Cross-View Similarity Search | |
| Shaishav Kumar, Raghavendra Udupa |
| Modular Community Detection in Networks | |
| Wenye Li, Dale Schuurmans |
| Probit Classifiers with a Generalized Gaussian Scale Mixture Prior | |
| Guoqing Liu, Jianxin Wu, Suiping Zhou |
| Locality-Constrained Concept Factorization | |
| Haifeng Liu, Zheng Yang, Zhaohui Wu |
| Cluster Indicator Decomposition for Efficient Matrix Factorization | |
| Dijun Luo, Chris Ding, Heng Huang |
| Ball Ranking Machines for Content-Based Multimedia Retrieval | |
| Dijun Luo, Heng Huang |
| Combining Supervised and Unsupervised Models Via Unconstrained Probabilistic Embedding | |
| Xudong Ma, Ping Luo, Fuzhen Zhuang, Qing He, Zhongzhi Shi, Zhiyong Shen |
| Agent-Oriented Incremental Team and Activity Recognition | |
| Daniele Masato, Timothy J. Norman, Wamberto W. Vasconcelos, Katia Sycara |
| Multi-Kernel Gaussian Processes | |
| Arman Melkumyan, Fabio Ramos |
| Imitation Learning in Relational Domains: A Functional-Gradient Boosting Approach | |
| Sriraam Natarajan, Saket Joshi, Prasad Tadepalli, Kristian Kersting, Jude Shavlik |
| Positive Unlabeled Learning for Time Series Classification | |
| Minh Nhut Nguyen, Xiao-Li Li, See-Kiong Ng |
| Distribution-Aware Online Classifiers | |
| Tam T. Nguyen, Kuiyu Chang, Cheung Siu Hui |
| Robust Principal Component Analysis with Non-Greedy ℓ1-Norm Maximization | |
| Feiping Nie, Heng Huang, Chris Ding, Dijun Luo, Hua Wang |
| Biclustering-Driven Ensemble of Bayesian Belief Network Classifiers for Underdetermined Problems | |
| Tatdow Pansombut, William Hendrix, Zekai J. Gao, Brent E. Harrison, Nagiza F. Samatova |
| Strategy Learning for Autonomous Agents in Smart Grid Markets | |
| Prashant P. Reddy, Manuela M. Veloso |
| Q-Error as a Selection Mechanism in Modular Reinforcement-Learning Systems | |
| Mark B. Ring, Tom Schaul |
| Domain Adaptation with Ensemble of Feature Groups | |
| Rajhans Yih Samdani, Wen-tau Yih |
| Discovering Deformable Motifs in Continuous Time Series Data | |
| Suchi Saria, Andrew Duchi, Daphne Koller |
| A General MCMC Method for Bayesian Inference in Logic-Based Probabilistic Modeling | |
| Taisuke Sato |
| Classification of Emerging Extreme Event Tracks in Multivariate Spatio-Temporal Physical Systems Using Dynamic Network Structures: Application to Hurricane Track Prediction | |
| Huseyin Sencan, Zhengzhang Chen, William Hendrix, Tatdow Pansombut, Frederick Semazzi, Alok Choudhary, Vipin Kumar, Anatoli V. Melechko, Nagiza F. Samatova |
| Active Surveying: A Probabilistic Approach for Identifying Key Opinion Leaders | |
| Hossam Sharara, Lise Getoor, Myra Norton |
| Consistency Measures for Feature Selection: A Formal Definition, Relative Sensitivity Comparison and a Fast Algorithm | |
| Kilho Shin, Danny Fernandes, Seiya Miyazaki |
| Active Online Classification Via Information Maximization | |
| Noam Slonim, Elad Yom-Tov, Koby Crammer |
| Angular Decomposition | |
| Dengdi Sun, Chris H.Q. Ding, Bin Luo, Jin Tang |
| Fast Anomaly Detection for Streaming Data | |
| Swee Chuan Tan, Kai Ming Ting, Tony Fei Liu |
| Utility-Based Fraud Detection | |
| Luis Torgo, Elsa Lopes |
| On the Utility of Curricula in Unsupervised Learning of Probabilistic Grammars | |
| Kewei Tu, Vasant Honavar |
| Learning Driving Behavior by Timed Syntactic Pattern Recognition | |
| Sicco Verwer, Mathijs de Weerdt, Cees Witteveen |
| Bi-Weighting Domain Adaptation for Cross-Language Text Classification | |
| Chang Wan, Rong Pan, Jiefei Li |
| Heterogeneous Domain Adaptation using Manifold Alignment | |
| Chang Wang, Sridhar Mahadevan |
| Jointly Learning Data-Dependent Label and Locality-Preserving Projections | |
| Chang Wang, Sridhar Mahadevan |
| Fast Nonnegative Matrix Tri-Factorization for Large-Scale Data Co-Clustering | |
| Hua Wang, Feiping Nie, Heng Huang, Fillia Makedon |
| Local and Structural Consistency for Multi-Manifold Clustering | |
| Yong Wang, Yuan Jiang, Yi Wu, Zhi-Hua Zhou |
| Bayesian Policy Search with Policy Priors | |
| David Wingate, Noah D. Goodman, Daniel M. Roy, Leslie P. Kaelbling, Joshua B. Tenenbaum |
| Learning to Rank Under Multiple Annotators | |
| Ou Wu, Weiming Hu, Jun Gao |
| Similarity-Based Approach for Positive and Unlabelled Learning | |
| Yanshan Xiao, Bo Liu, Jie Yin, Longbing Cao, Chengqi Zhang, Zhifeng Hao |
| Dealing with Concept Drift and Class Imbalance in Multi-Label Stream Classification | |
| Eleftherios Spyromitros-Xioufis, Myra Spiliopoulou, Grigorios Tsoumakas, Ioannis Vlahavas |
| L2,1-Norm Regularized Discriminative Feature Selection for Unsupervised | |
| Yi Yang, Heng Tao Shen, Zhigang Ma, Zi Huang, Xiaofang Zhou |
| Matrix Co-Factorization on Compressed Sensing | |
| Seungjin Choi, Jiho Yoo |
| Diversity Regularized Machine | |
| Yang Yu, Yu-Feng Li, Zhi-Hua Zhou |
| LIFT: Multi-Label Learning with Label-Specific Features | |
| Min-Ling Zhang |
| Multi-Kernel Multi-Label Learning with Max-Margin Concept Network | |
| Wei Zhang, Xiangyang Xue, Jianping Fan, Xiaojing Huang, Bin Wu, Mingjie Liu |
| Pattern Field Classification with Style Normalized Transformation | |
| Xu-Yao Zhang, Kaizhu Huang, Cheng-Lin Liu |
Multidisciplinary Topics And Applications
| Finding "Unexplained" Activities in Video | |
| Massimiliano Albanese, Cristian Molinaro, Fabio Persia, Antonio Picariello, V.S. Subrahmanian |
| Explaining Genetic Knock-Out Effects Using Cost-Based Abduction | |
| Emad Abdel-Thalooth Andrews, Anthony Bonner |
| Just an Artifact: Why Machines are Perceived as Moral Agents | |
| Joanna J. Bryson, Philip P. Kime |
| A Hierarchical Architecture for Adaptive Brain-Computer Interfacing | |
| Mike Chung, Willy Cheung, Reinhold Scherer, Rajesh P. N. Rao |
| A Neural-Symbolic Cognitive Agent for Online Learning and Reasoning | |
| H. Leo H. de Penning, Artur S. d'Avila Garcez, Luis C. Lamb, John-Jules C. Meyer |
| Verifying Fault Tolerance and Self-Diagnosability of an Autonomous Underwater Vehicle | |
| Jonathan Ezekiel, Alessio Lomuscio, Levente Molnar, Sandor Veres, Miles Pebody |
| OCS-14: You Can Get Occluded in Fourteen Ways | |
| Prithwijit Guha, Amitabha Mukerjee, K. S. Venkatesh |
| Effective and Efficient Microprocessor Design Space Exploration Using Unlabeled Design Configurations | |
| Qi Guo, Tianshi Chen, Yunji Chen, Zhi-Hua Zhou, Weiwu Hu, Zhiwei Xu |
| Visual Task Inference Using Hidden Markov Models | |
| Amin Haji Abolhassani, James J. Clark |
| The Role of Intention Recognition in the Evolution of Cooperative Behavior | |
| The Anh Han, Luis Moniz Pereira, Francisco C. Santos |
| Multi-Select Faceted Navigation Based on Minimum Description Length Principle | |
| Chao He, Xueqi Cheng, Jiafeng Guo, Huawei Shen |
| Modeling Situation Awareness in Human-Like Agents Using Mental Models | |
| Mark Hoogendoorn, Rianne Maaike van Lambalgen, Jan Treur |
| Generalized Latent Factor Models for Social Network Analysis | |
| Wu-Jun Li, Dit-Yan Yeung, Zhihua Zhang |
| Modeling Multivariate Spatio-Temporal Remote Sensing Data with Large Gaps | |
| Qiang Lou, Zoran Obradovic |
| On the Role of Domain Knowledge in Analogy-Based Story Generation | |
| Santiago Ontanon, Jichen Zhu |
| Using Multiple Models to Understand Data | |
| Kayur Patel, Steven M. Drucker, James Fogarty, Ashish Kapoor, Desney S. Tan |
| Feature Learning for Activity Recognition in Ubiquitous Computing | |
| Thomas Ploetz, Nils Y. Hammerla, Patrick L. Olivier |
| A Cognitive Agent Model Displaying and Regulating Different Social Response Patterns | |
| Jan Treur |
| A Cognitive Agent Model Incorporating Prior and Retrospective Ownership States for Actions | |
| Jan Treur |
| Active Graph Reachability Reduction for Network Security and Software Engineering | |
| Alice X. Zheng, John Dunagan, Ashish Kapoor |
Natural-Language Processing
| Learning Cause Identifiers from Annotator Rationales | |
| Muhammad Arshad Ul Abedin, Vincent Ng, Latifur Rahman Khan |
| Learning Bilingual Lexicons Using the Visual Similarity of Labeled Web Images | |
| Shane Bergsma, Benjamin Van Durme |
| Semantic Relationship Discovery with Wikipedia Structure | |
| Fan Bu, Yu Hao, Xiaoyan Zhu |
| Short Text Classification Improved by Learning Multi-Granularity Topics | |
| Mengen Chen, Xiaoming Jin, Dou Shen |
| Online Latent Structure Training for Language Acquisition | |
| Michael James Connor, Cynthia Fisher, Dan Roth |
| Predicting Globally-Coherent Temporal Structures from Texts Via Endpoint Inference and Graph Decomposition | |
| Pascal Denis, Philippe Muller |
| Learning from Natural Instructions | |
| Dan Goldwasser, Dan Roth |
| Automatic Discovery of Fuzzy Synsets from Dictionary Definitions | |
| Hugo Gonçalo Oliveira, Paulo Gomes |
| Unsupervised Modeling of Dialog Acts in Asynchronous Conversations | |
| Shafiq Rayhan Joty, Giuseppe Carenini, Chin-Yew Lin |
| Improve Tree Kernel-Based Event Pronoun Resolution with Competitive Information | |
| Fang Kong, Guodong Zhou |
| Incorporating Reviewer and Product Information for Review Rating Prediction | |
| Fangtao Li, Nathan Nan Liu, Hongwei Jin, Kai Zhao, Qiang Yang, Xiaoyan Zhu |
| Semi-Supervised Learning for Imbalanced Sentiment Classification | |
| Shoushan Li, Zhongqing Wang, Guodong Zhou, Sophia Yat Mei Lee |
| Collective Semantic Role Labeling for Tweets with Clustering | |
| Xiaohua Liu, Kuan Li, Ming Zhou, Zhongyang Xiong |
| SMT Versus AI Redux: How Semantic Frames Evaluate MT More Accurately | |
| Chi-kiu Lo, Dekai Wu |
| Constraint Optimization Approach to Context Based Word Selection | |
| Jun Matsuno, Toru Ishida |
| An Approach to Answer Selection in Question-Answering Based on Semantic Relations | |
| Ana Cristina Mendes, Luísa Coheur |
| Learning for Deep Language Understanding | |
| Smaranda Muresan |
| Improving Topic Evaluation Using Conceptual Knowledge | |
| Claudiu Cristian Musat, Julien Velcin, Stefan Trausan-Matu, Marian-Andrei Rizoiu |
| A Graph-Based Algorithm for Inducing Lexical Taxonomies from Scratch | |
| Roberto Navigli, Paola Velardi, Stefano Faralli |
| Sample Efficient On-Line Learning of Optimal Dialogue Policies with Kalman Temporal Differences | |
| Olivier Pietquin, Matthieu Geist, Senthilkumar Chandramohan |
| Ensemble-Based Coreference Resolution | |
| Altaf Rahman, Vincent Ng |
| Unsupervised Lexicon Acquisition for HPSG-Based Relation Extraction | |
| Benjamin Rozenfeld, Ronen Feldman |
| Interfacing Virtual Agents With Collaborative Knowledge: Open Domain Question Answering Using Wikipedia-Based Topic Models | |
| Ulli Waltinger, Alexa Breuing, Ipke Wachsmuth |
| Affect Sensing in Metaphorical Phenomena and Dramatic Interaction Context | |
| Li Zhang |
| Entity Linking with Effective Acronym Expansion, Instance Selection and Topic Modeling | |
| Wei Zhang, Yan-Chuan Sim, Jian Su, Chew-Lim Tan |
| Learning Inter-Related Statistical Query Translation Models for English-Chinese Bi-Directional CLIR | |
| Yuejie Zhang, Lei Cen, Cheng Jin, Xiangyang Xue, Jianping Fan |
| Fusion of Multiple Features and Supervised Learning for Chinese OOV Term Detection and POS Guessing | |
| Yuejie Zhang, Lei Cen, Wei Wu, Cheng Jin, Xiangyang Xue |
Planning and Scheduling
| DetH*: Approximate Hierarchical Solution of Large Markov Decision Processes | |
| Jennifer L. Barry, Leslie Pack Kaelbling, Tomas Lozano-Perez |
| Planning Under Partial Observability by Classical Replanning: Theory and Experiments | |
| Blai Bonet, Hector Geffner |
| Risk-Sensitive Policies for Sustainable Renewable Resource Allocation | |
| Stefano Ermon, Jon Conrad, Carla Gomes, Bart Selman |
| Simple and Fast Strong Cyclic Planning for Fully-Observable Nondeterministic Planning Problems | |
| Jicheng Fu, Vincent Ng, Farokh Bastani, I-Ling Yen |
| On the Decidability of HTN Planning with Task Insertion | |
| Thomas Geier, Pascal Bercher |
| Transfer Learning for Activity Recognition via Sensor Mapping | |
| Derek Hao Hu, Qiang Yang |
| Point-Based Value Iteration for Constrained POMDPs | |
| Dongho Kim, Jaesong Lee, Kee-Eung Kim, Pascal Poupart |
| Monitoring the Execution of Partial-Order Plans via Regression | |
| Christian Muise, Sheila A. McIlraith, J. Christopher Beck |
| Computing Perfect Heuristics in Polynomial Time: On Bisimulation and Merge-and-Shrink Abstraction in Optimal Planning | |
| Raz Nissim, Joerg Hoffmann, Malte Helmert |
| Iterative Flattening Search for the Flexible Job Shop Scheduling Problem | |
| Angelo Oddi, Riccardo Rasconi, Amedeo Cesta, Stephen F. Smith |
| Large Neighborhood Search and Adaptive Randomized Decompositions for Flexible Jobshop Scheduling | |
| Dario Pacino, Pascal Van Hentenryck |
| Computing Infinite Plans for LTL Goals Using a Classical Planner | |
| Fabio Patrizi, Nir Lipoveztky, Giuseppe De Giacomo, Hector Geffner |
| Goal Recognition over POMDPs: Inferring the Intention of a POMDP Agent | |
| Miquel Ramírez, Hector Geffner |
| Planning with SAT, Admissible Heuristics and A* | |
| Jussi Rintanen |
| Replanning in Domains with Partial Information and Sensing Actions | |
| Guy Shani, Ronen Brafman |
| Scaling Up Optimal Heuristic Search in Dec-POMDPs via Incremental Expansion | |
| Matthijs T. J. Spaan, Frans A. Oliehoek, Christopher Amato |
| On the Effectiveness of CNF and DNF Representations in Contingent Planning | |
| Son Thanh To, Enrico Pontelli, Tran Cao Son |
| Bounded Intention Planning | |
| Jason Wolfe, Stuart Russell |
| Probabilistic Goal Markov Decision Processes | |
| Huan Xu, Shie Mannor |
Robotics and Vision
| Capturing an Evader in a Polygonal Environment with Obstacles | |
| Deepak Bhadauria, Volkan Isler |
| Aesthetic Guideline Driven Photography by Robots | |
| Raghudeep Gadde, Kamalakar Karlapalem |
| Accommodating Human Variability in Human-Robot Teams through Theory of Mind | |
| Laura M. Hiatt, Anthony M. Harrison, J. Gregory Trafton |
| Robotic Object Detection: Learning to Improve the Classifiers using Sparse Graphs for Path Planning | |
| Zhaoyin Jia, Ashutosh Saxena, Tsuhan Chen |
| Conics With A Common Axis of Symmetry: Properties and Applications to Camera Calibration | |
| Zijian Zhao |
| User-Dependent Aspect Model for Collaborative Activity Recognition | |
| Vincent W. Zheng, Qiang Yang |
Uncertainty in AI
| Lifted Relational Kalman Filtering | |
| Jaesik Choi, Abner Guzman-Rivera, Eyal Amir |
| New Complexity Results for MAP in Bayesian Networks | |
| Cassio Polpo de Campos |
| Inference with Multinomial Data: Why to Weaken the Prior Strength | |
| Cassio Polpo de Campos, Alessio Benavoli |
| Motor Simulation via Coupled Internal Models Using Sequential Monte Carlo | |
| Haris Dindo, Daniele Zambuto, Giovanni Pezzulo |
| Resolute Choice in Sequential Decision Problems with Multiple Priors | |
| Hélène Fargier, Gildas Jeantet, Olivier Spanjaard |
| Pairwise Decomposition for Combinatorial Optimization in Graphical Models | |
| Aurélie Favier, Simon de Givry, Andrès Legarra, Thomas Schiex |
| Randomized Sensing in Adversarial Environments | |
| Andreas Krause, Alex Roper, Daniel Golovin |
| Scalable Multiagent Planning Using Probabilistic Inference | |
| Akshat Kumar, Shlomo Zilberstein, Marc Toussaint |
| A Trust Prediction Approach Capturing Agents' Dynamic Behavior | |
| Xin Liu, Anwitaman Datta |
| Log-Linear Description Logics | |
| Mathias Niepert, Jan Noessner, Heiner Stuckenschmidt |
| Eliciting Additive Reward Functions for Markov Decision Processes | |
| Kevin Regan, Craig Boutilier |
| Robust Online Optimization of Reward-Uncertain MDPs | |
| Kevin Regan, Craig Boutilier |
| Finding (α,ϑ)-Solutions Via Sampled SCSPs | |
| Roberto Rossi, Brahim Hnich, S. Armagan Tarim, Steven Prestwich |
| Lifted Probabilistic Inference by First-Order Knowledge Compilation | |
| Guy Van den Broeck, Nima Taghipour, Wannes Meert, Jesse Davis, Luc De Raedt |
| Learning Optimal Bayesian Networks Using A* Search | |
| Changhe Yuan, Brandon Malone, Xiaojian Wu |
| Bayesian Chain Classifiers for Multidimensional Classification | |
| Julio Cesar Zaragoza, Enrique Sucar, Eduardo Morales, Concha Bielza, Pedro Larrañaga |
Web and Knowledge-Based Information Systems
| CCR — A Content-Collaborative Reciprocal Recommender for Online Dating | |
| Joshua Akehurst, Irena Koprinska, Kalina Yacef, Luiz Pizzato, Judy Kay, Tomasz Rej |
| Relation Adaptation: Learning to Extract Novel Relations with Minimum Supervision | |
| Danushka Bollegala, Yutaka Matsuo, Mitsuru Ishizuka |
| Leveraging Unlabeled Data to Scale Blocking for Record Linkage | |
| Yunbo Cao, Zhiyuan Chen, Jiamin Zhu, Pei Yue, Chin-Yew Lin, Yong Yu |
| A Convex Formulation of Modularity Maximization for Community Detection | |
| Yun Kwan Chan, Dit-Yan Yeung |
| What to Ask to an Incomplete Semantic Web Reasoner? | |
| Bernardo Cuenca Grau, Giorgos Stoilos |
| The Modular Structure of an Ontology: Atomic Decomposition | |
| Chiara Del Vescovo, Bijan Parsia, Uli Sattler, Thomas Schneider |
| Fast Algorithm for Affinity Propagation | |
| Yasuhiro Fujiwara, Go Irie, Tomoe Kitahara |
| Mining the Web for the "Voice of the Herd" to Track Stock Market Bubbles | |
| Aaron Gerow, Mark T Keane |
| Relevance Feedback between Web Search and the Semantic Web | |
| Harry R. Halpin, Victor Lavrenko |
| Finding the Hidden Gems: Recommending Untagged Music | |
| Ben Horsburgh, Susan Craw, Stewart Massie, Robin Boswell |
| Fashion Coordinates Recommender System Using Photographs from Fashion Magazines | |
| Tomoharu Iwata, Shinji Watanabe, Hiroshi Sawada |
| Mining Longitudinal Network for Predicting Company Value | |
| Yingzi Jin, Ching-Yung Lin, Yutaka Matsuo, Mitsuru Ishizuka |
| Context Sensitive Topic Models for Author Influence in Document Networks | |
| Saurabh Kataria, Prasenjit Mitra, Cornelia Caragea, C. Lee Giles |
| Multi-Perspective Linking of News Articles within a Repository | |
| Arpit Khurdiya, Lipika Dey, Nidhi Raj, Sk. Mirajul Haque |
| Social Abstract Argumentation | |
| João Leite, João Martins |
| Cross-Domain Collaborative Filtering over Time | |
| Bin Li, Xingquan Zhu, Ruijiang Li, Chengqi Zhang, Xiangyang Xue, Xindong Wu |
| Minimally Complete Recommendations | |
| David McSherry |
| User Similarity from Linked Taxonomies: Subjective Assessments of Items | |
| Makoto Nakatsuji, Yasuhiro Fujiwara, Toshio Uchiyama, Ko Fujimura |
| LIMES — A Time-Efficient Approach for Large-Scale Link Discovery on the Web of Data | |
| Axel-Cyrille Ngonga Ngomo, Sören Auer |
| Transfer Learning to Predict Missing Ratings Via Heterogeneous User Feedbacks | |
| Weike Pan, Nathan N. Liu, Evan W. Xiang, Qiang Yang |
| Making Better Informed Trust Decisions with Generalized Fact-Finding | |
| Jeff Pasternack, Dan Roth |
| Short Text Conceptualization Using a Probabilistic Knowledgebase | |
| Yangqiu Song, Haixun Wang, Zhongyuan Wang, Hongsong Li, Weizhu Chen |
| A Wikipedia Based Semantic Graph Model for Topic Tracking in Blogosphere | |
| Jintao Tang, Ting Wang, Qin Lu, Ji Wang, Wenjie Li |
| Matching Large Ontologies Based on Reduction Anchors | |
| Peng Wang, Yuming Zhou, Baowen Xu |
| Line Orthogonality in Adjacency Eigenspace with Application to Community Partition | |
| Leting Wu, Xiaowei Ying, Xintao Wu, Zhi-Hua Zhou |
| Source-Selection-Free Transfer Learning | |
| Evan Wei Xiang, Sinno Jialin Pan, Weike Pan, Jian Su, Qiang Yang |
| Predicting Epidemic Tendency through Search Behavior Analysis | |
| Danqing Xu, Yiqun Liu, Min Zhang, Shaoping Ma, Anqi Cui, Liyun Ru |
| Mining User Dwell Time for Personalized Web Search Re-Ranking | |
| Songhua Xu, Hao Jiang, Francis Chi-Moon Lau |
| Efficient Searching Top-k Semantic Similar Words | |
| Zhenglu Yang, Masaru Kitsuregawa |
| Recommender Systems from "Words of Few Mouths" | |
| Richong Zhang, Thomas Tran, Yongyi Mao |
Special Track on Integrated and Embedded AI
| Integrating Task Planning and Interactive Learning for Robots to Work in Human Environments | |
| Alejandro Gabriel Agostini, Carme Torras, Florentin Wörgötter |
| Plan Recognition in Virtual Laboratories | |
| Ofra Amir, Ya'akov (Kobi) Gal |
| A Comprehensive Approach to On-Board Autonomy Verification and Validation | |
| Marco Bozzano, Alessandro Cimatti, Marco Roveri, Andrei Tchaltsev |
| Non-Linear Monte-Carlo Search in Civilization II | |
| S.R.K. Branavan, David Silver, Regina Barzilay |
| Buried Utility Pipeline Mapping Based on Multiple Spatial Data Sources: A Bayesian Data Fusion Approach | |
| Huanhuan Chen, Anthony G. Cohn |
| Enhancing Search Results with Semantic Annotation Using Augmented Browsing | |
| Hong-Jie Dai, Wei-Chi Tsai, Richard Tzong-Han Tsai, Wen-Lian Hsu |
| Simulation-Based Data Mining Solution to the Structure of Water Surrounding Proteins | |
| Bao Tu Ho, Chi Hieu Dam, Ayumu Sugiyama |
| A Natural Language Question Answering System as a Participant in Human Q&A Portals | |
| Tiansi Dong, Ulrich Furbach, Ingo Glöckner, Björn Pelzer |
| Sketch Recognition Algorithms for Comparing Complex and Unpredictable Shapes | |
| Martin Field, Stephanie Valentine, Julie Linsey, Tracy Hammond |
| Exploiting Probabilistic Knowledge under Uncertain Sensing for Efficient Robot Behaviour | |
| Marc Hanheide, Charles Gretton, Richard W Dearden, Nick A Hawes, Jeremy L Wyatt, Andrzej Pronobis, Alper Aydemir, Moritz Göbelbecker, Hendrik Zender |
| Integrated Learning for Goal-Driven Autonomy | |
| Ulit Jaidee, Hector Munoz-Avila, David W. Aha |
| Learning Compact Visual Descriptor for Low Bit Rate Mobile Landmark Search | |
| Rongrong Ji, Ling-Yu Duan, Jie Chen, Hongxun Yao, Tiejun Huang, Wen Gao |
| A New Search Engine Integrating Hierarchical Browsing and Keyword Search | |
| Da Kuang, Xiao Li, Charles X. Ling |
| Resource-Bounded Crowd-Sourcing of Commonsense Knowledge | |
| Yen-Ling Kuo, Jane Yung-jen Hsu |
| A Real-Time Opponent Modeling System for Rush Football | |
| Kennard Laviers, Gita Sukthankar |
| Coordinating Logistics Operations with Privacy Guarantees | |
| Thomas Léauté, Boi Faltings |
| Learning to Identify Review Spam | |
| Fangtao Huang Li, Minlie Huang, Yi Yang, Xiaoyan Zhu |
| A System for Providing Differentiated QoS in Retail Banking | |
| Sameep Mehta, Girish Chafle, Gyana Parija, Vikas Kedia |
| Learning 3D Geological Structure from Drill-Rig Sensors for Automated Mining | |
| Sildomar Takahashi Monteiro, Joop van de Ven, Fabio Ramos, Peter Hatherly |
| Interest Prediction on Multinomial, Time-Evolving Social Graph | |
| Nozomi Nori, Danushka Bollegala, Mitsuru Ishizuka |
| An Agent Architecture for Prognostic Reasoning Assistance | |
| Jean Oh, Felipe Meneguzzi, Katia Sycara, Timothy J Norman |
| Extending Computer Assisted Assessment Systems with Natural Language Processing, User Modeling and Recommendations Based on Human Computer Interaction and Data Mining | |
| Ismael Pascual-Nieto, Olga C. Santos, Diana Perez-Marin, Jesus G. Boticario |
| Integrating Learning into a BDI Agent for Environments with Changing Dynamics | |
| Dhirendra Singh, Sebastian Sardina, Lin Padgham, Geoff James |
| Embedding System Dynamics in Agent Based Models for Complex Adaptive Systems | |
| Maarika Teose, Kiyan Ahmadizadeh, Eoin O'Mahony, Rebecca L. Smith, Zhao Lu, Stephen P. Ellner, Carla Gomes, Yrjo Grohn |
| Kinship Verification Through Transfer Learning | |
| Siyu Xia, Ming Shao, Yun Fu |
| Cross-People Mobile-Phone Based Activity Recognition | |
| Zhongtang Zhao, Yiqiang Chen, Junfa Liu, Zhiqi Shen, Mingjie Liu |
| CHIME: An Efficient Error-Tolerant Chinese Pinyin Input Method | |
| Yabin Zheng, Chen Li, Maosong Sun |
Best Paper Track
| A Geometric View of Conjugate Priors | |
| Arvind Agarwal, Hal Daume III |
| Human-Guided Machine Learning for Fast and Accurate Network Alarm Triage | |
| Saleema Amershi, Bongshin Lee, Ashish Kapoor, Ratul Mahajan, Blaine Christian |
| Lower Bounds for Width-Restricted Clause Learning on Formulas of Small Width | |
| Eli Ben-Sasson, Jan Johannsen |
| Community Detection in Social Networks Through Community Formation Games | |
| Wei Chen, Zhenming Liu, Xiaorui Sun, Yajun Wang |
| An Algorithm for Adapting Cases Represented in ALC | |
| Julien Cojan, Jean Lieber |
| Exploring Protein Fragment Assembly Using CLP | |
| Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli |
| Translation-Based Constraint Answer Set Solving | |
| Christian Drescher, Toby Walsh |
| Incentive Engineering for Boolean Games | |
| Ulle Endriss, Sarit Kraus, Jerome Lang, Michael John Wooldridge |
| A Flat Histogram Method for Computing the Density of States of Combinatorial Problems | |
| Stefano Ermon, Carla Gomes, Bart Selman |
| picoTrans: Using Pictures as Input for Machine Translation on Mobile Devices | |
| Andrew Finch, Wei Song, Kumiko Tanaka-Ishii, Eiichiro Sumita |
| Automatic Construction of Efficient Multiple Battery Usage Policies | |
| Maria Fox, Derek Long, Daniele Magazzeni |
| Finite Model Computation via Answer Set Programming | |
| Martin Gebser, Orkunt Sabuncu, Torsten Schaub |
| Measuring the Good and the Bad in Inconsistent Information | |
| John Grant, Anthony Hunter |
| A Correctness Result for Reasoning about One-Dimensional Planning Problems | |
| Yuxiao Hu, Hector Levesque |
| A Transitivity Aware Matrix Factorization Model for Recommendation in Social Networks | |
| Mohsen Jamali, Martin Ester |
| Reinforcement Learning to Adjust Robot Movements to New Situations | |
| Jens Kober, Erhan Oztop, Jan Peters |
| The Combined Approach to Ontology-Based Data Access | |
| Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev |
| Reasoning and Proofing Services for Semantic Web Agents | |
| Kalliopi Kravari, Konstantinos Papatheodorou, Grigoris Antoniou, Nick Bassiliades |
| Efficient Rule-Based Inferencing for OWL EL | |
| Markus Krötzsch |
| Flexible Tree Matching | |
| Ranjitha Kumar, Jerry O. Talton, Salman Ahmad, Tim Roughgarden, Scott R. Klemmer |
| Enhancing Case Adaptation with Introspective Reasoning and Web Mining | |
| David Leake, Jay Powell |
| Recommender Systems: Missing Data and Statistical Model Estimation | |
| Benjamin M. Marlin, Richard S. Zemel, Sam T. Roweis, Malcolm Slaney |
| Mind the Eigen-Gap, or How to Accelerate Semi-Supervised Spectral Learning Algorithms | |
| Dimitrios Mavroeidis |
| Ties Matter: Complexity of Voting Manipulation Revisited | |
| Svetlana Obraztsova, Edith Elkind, Noam Hazon |
| An On-Line Algorithm for Semantic Forgetting | |
| Heather Stephanie Packer, Nicholas Gibbins, Nicholas R Jennings |
| GUARDS — Innovative Application of Game Theory for National Airport Security | |
| James Pita, Milind Tambe, Christopher Kiekintveld, Shane Cullen, Erin Steigerwald |
| Norm Compliance of Rule-Based Cognitive Agents | |
| Antonino Rotolo |
| Theoretical Justification of Popular Link Prediction Heuristics | |
| Purnamrita Sarkar, Deepayan Chakrabarti, Andrew W. Moore |
| Evaluation of Group Profiling Strategies | |
| Christophe Senot, Dimitre Kostadinov, Makram Bouzid, Jérôme Picault, Armen Aghasaryan |
| Connecting the Dots Between News Articles | |
| Dafna Shahaf, Carlos Guestrin |
| Learning Linear and Kernel Predictors with the 0-1 Loss Function | |
| Shai Shalev-Shwartz, Ohad Shamir, Karthik Sridharan |
| Adaptive Data Compression for Robot Perception | |
| Mike Smith, Ingmar Posner, Paul M Newman |
| Active Exploration for Robust Object Detection | |
| Javier Velez, Garrett Hemann, Albert S. Huang, Ingmar Posner, Nicholas Roy |
| A Framework for Longitudinal Influence Measurement between Communication Content and Social Networks | |
| Shenghui Wang, Paul Groth |
| Wsabie: Scaling Up to Large Vocabulary Image Annotation | |
| Jason Weston, Samy Bengio, Nicolas Usunier |
| Analysis of Adjective-Noun Word Pair Extraction Methods for Online Review Summarization | |
| Koji Yatani, Michael Novati, Andrew Trusty, Khai Truong |
| Large Linear Classification When Data Cannot Fit in Memory | |
| Hsiang-Fu Yu, Cho-Jui Hsieh, Kai-Wei Chang, Chih-Jen Lin |
Doctoral Consortium
| Solving the Multiagent Selection and Scheduling Problem | |
| James Calvin Boerkoel Jr. |
| Decision Support through Argumentation-Based Practical Reasoning | |
| Federico Cerutti |
| Behaviour Recognition in Smart Homes | |
| Sook-Ling Chua, Stephen Marsland, Hans W. Guesgen |
| Statement of Thesis Research: Multi-Robot Sampling Strategies for Large-Scale Oceanographic Experiments | |
| Jnaneshwar Das |
| Control of Robotic Systems for Safe Interaction with Human Operators | |
| Hao Ding |
| Combining Machine Learning and Optimization Techniques to Determine 3-D Structures of Polypeptides | |
| Marcio Dorn, Luciana Salete Buriol, Luis da Cunha Lamb |
| An Agent-Oriented Software Engineering Methodology to Develop Adaptive Virtual Organizations | |
| Sergio Esparcia, Estefania Argente, Vicente Botti |
| Towards Social Problem-Solving with Human Subjects | |
| Daniel Scain Farenzena, Luis da Cunha Lamb, Ricardo Matsumura de Araújo |
| Towards Spatial Methods for Socially Assistive Robotics: Validation with Children with Autism Spectrum Disorders | |
| David Feil-Seifer |
| Regret Minimization in Multiplayer Extensive Games | |
| Richard Geoffrey Gibson, Duane Szafron |
| Combinatorial Aggregation | |
| Umberto Grandi |
| Combining Spatial and Temporal Aspects of Prediction Problems to Improve Prediction Performance | |
| William Groves |
| A Decision-Theoretic Academic Advisor | |
| Joshua T. Guerin |
| Belief Revision on Computation Tree Logic | |
| Paulo T. Guerra, Renata Wassermann |
| Distributed Constraint Optimization Problems Related with Soft Arc Consistency | |
| Patricia Gutierrez, Pedro Meseguer |
| A Trust and Reputation Model for Supply Chain Mangement | |
| Yasaman Haghpanah |
| Graph Pruning and Symmetry Breaking On Grid Maps | |
| Daniel Damir Harabor |
| Towards Scalable MDP Algorithms | |
| Andrey Kolobov |
| Talking about Trust in Heterogeneous Multi-Agent Systems | |
| Andrew Koster, Marco Schorlemmer, Jordi Sabater-Mir |
| An Analysis of Multiobjective Search Algorithms and Heuristics | |
| Enrique Machuca, Lawrence Mandow |
| On Temporal Regulations and Commitment Protocols | |
| Elisa Marengo, Matteo Baldoni, Cristina Baroglio |
| Contributions to Personalizable Knowledge Integration | |
| Maria Vanina Martinez |
| Decision Making Under Uncertainty: Social Choice and Manipulation | |
| Nicholas Scott Mattei |
| RDFKB: A Semantic Web Knowledge Base | |
| James P. McGlothlin, Latifur Khan, Bhavani Thuraisingham |
| Research Proposal: Cooperation among Self Interested Agents | |
| Reshef Meir |
| Temporal Defeasible Argumentation in Multi-Agent Planning | |
| Sergio Pajares Ferrando, Eva Onaindia |
| Human Behavior Analysis from Video Data Using Bag-of-Gestures | |
| Víctor Ponce López, Mario Gorga López, Xavier Baró Solé, Sergio Escalera Guerrero |
| Multi-Agent Coordination: DCOPs and Beyond | |
| Marc Pujol-Gonzalez |
| Bayesian Abductive Logic Programs: A Probabilistic Logic for Abductive Reasoning | |
| Sindhu V. Raghavan |
| From an Agent Logic to an Agent Programming Language for Partially Observable Stochastic Domains | |
| Gavin Brian Rens |
| Agent-Based Negotiation Teams | |
| Victor Sanchez-Anguix, Vicente Julian, Ana Garcia-Fornes |
| A Method for Evaluating and Standardizing Ontologies | |
| Ali Patrice Seyed |
| Towards a Model-Centric Cognitive Architecture for Service Robots | |
| Andreas Steck |
| Sensorimotor Models of Space and Object Geometry | |
| Jeremy Stober |
| Multiagent Hierarchical Learning from Demonstration | |
| Keith Sullivan |
| Heuristic Search Under Quality and Time Bounds | |
| Jordan Tyler Thayer |
| On the Impact of Belief State Representation in Planning Under Uncertainty | |
| Son Thanh To |
| Autonomous Object Manipulation: A Semantic-Driven Approach | |
| Nicola Vitucci |
| Tractable Massively Multi-Agent Pathfinding with Solution Quality and Completeness Guarantees | |
| Ko-Hsin Cindy Wang |
| Input Parameter Calibration in Forest Fire Spread Prediction: Taking the Intelligent Way | |
| Kerstin Wendt, Ana Cortés |
| Transfer Learning in Spatial Reasoning Puzzles | |
| Baylor Wetzel |
| Trust Mechanisms for Online Systems | |
| Jens Witkowski |
| Mechanism Design for Dynamic Environments: Online Double Auctions | |
| Dengji Zhao |