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 |