IJCAI 2011 papers on the web

Agent-based and Multi-agent Systems

A dynamic logic of normative systems (PDF): Andreas Herzig, Emiliano Lorini, Frédéric Moisan and Nicolas Troquard
A general elicitation-free protocol for allocating indivisible goods (PDF): Sylvain Bouveret and Jérôme Lang
A Market Clearing Solution for Social Lending (PDF): Ning Chen and Arpita Ghosh
A Maximum Likelihood Approach towards Aggregating Partial Orders (PDF): Lirong Xia and Vincent Conitzer
A Mechanism for Dynamic Ride Sharing based on Parallel Auctions (PDF): Alexander Kleiner, Bernhard Nebel and Vittorio Amos Ziparo
Accelerating Best Response Calculation in Large Extensive Games: Michael Johanson, Kevin Waugh, Michael Bowling and Martin Zinkevich
Action Selection via Learning Behavior Patterns in Multi-Robot Systems (PDF): Can Erdogan and Manuela Veloso
Agents, Actions and Goals in Dynamic Environments (PDF): Peter Novak and Wojtek Jamroga
Aggregating Dependency Graphs into Voting Agendas in Multi-Issue Elections (PDF): Stéphane Airiau, Ulle Endriss, Umberto Grandi, Daniele Porello and Joel Uckelman
Alternating Epistemic Mu-Calculus: Nils Bulling and Wojtek Jamroga
An agent architecture for prognostic reasoning assistance: Jean Oh, Felipe Meneguzzi, Katia Sycara and Timothy Norman
An Efficient Monte-Carlo Algorithm for Pricing Combinatorial Prediction Markets for Tournaments (PDF): David Pennock and Lirong Xia
An Empirical Study of Seeding Manipulations and Their Prevention (PDF): Tyrel Russell and Peter van Beek
An Interaction-Oriented Model for Multi-Scale Simulation: Philippe Mathieu and Sebastien Picault
Approximately Strategy-Proof Voting: Eleanor Birrell and Rafael Pass
Approximating optimal combinatorial auctions for complements using restricted welfare maximization (PDF): Pingzhong Tang and Tuomas Sandholm
Assumption-based Argumentation Dialogues: Xiuyi Fan and Francesca Toni
AstonCAT-Plus: An Efficient Specialist for the TAC Market Design Tournament: Meng Chang and Minghua He
Attack Semantics for Abstract Argumentation: Guido Boella, Leon van der Torre and Serena Villata
Binary Aggregation with Integrity Constraints (PDF): Umberto Grandi and Ulle Endriss
Budgeted Social Choice: From Consensus to Personalized Decision Making (PDF): Tyler Lu and Craig Boutilier
Changing One's Mind: Erase or Rewind?: Celia da Costa Pereira, Andrea G. B. Tettamanzi and Serena Villata
Choosing collectively optimal sets of alternatives based on the Condorcet criterion (PDF): Edith Elkind, Jérôme Lang and Abdallah Saffidine
Coalitional Voting Manipulation: A Game-Theoretic Perspective (PDF): Yoram Bachrach, Edith Elkind and Piotr Faliszewski
Comparing Variants of Strategic Ability: Wojtek Jamroga and Nils Bulling
Concise Characteristic Function Representations in Coalitional Games Based on Agent Types: Suguru Ueda, Makoto Kitaki, Atsushi Iwasaki and Makoto Yokoo
Considerate Equilibrium: Martin Hoefer, Michal Penn, Maria Polukarov, Alexander Skopalik and Berthold Vöcking
Continuous Time Planning for Multiagent Teams with Temporal Constraints: Zhengyu Yin, Milind Tambe and Kanna Rajan
Coordinating Logistics Operations with Privacy Guarantees: Thomas Léauté and Boi Faltings
Dynamic Sanctioning for Robust and Cost-Efficient Norm Compliance: Daniel Villatoro, Giulia Andrighetto and Jordi Sabater-Mir
Dynamics of Profit-Sharing Games (PDF): John Augustine, Ning Chen, Edith Elkind, Angelo Fanelli, Nikolay Gravin and Dmitry Shiryaev
Efficient Mechanisms with Risky Participation: Ruggiero Cavallo
Efficient planning for factored infinite-horizon DEC-POMDPs: Joni Pajarinen and Jaakko Peltonen
Embedding System Dynamics in Agent Based Models for Complex Adaptive Systems: Kiyan Ahmadizadeh, Maarika Teose, Eoin O'Mahony and Carla Gomes
Emergence and Stability of Social Conventions in Conflict Situations: Toshiharu Sugawara
Evaluation of the "Adaptive-Aggressive" Trading-Agent Strategy Against Human Traders in CDA: AA Wins (PDF): Dave Cliff and Marco De Luca
Facing Openness with Socio Cognitive Trust and Categories (PDF): Michele Piunti, Venanzi Matteo, Rino Falcone and Cristiano Castelfranchi
Generalized Reaction Functions for Solving Complex-Task Allocation Problems: Xiaoming Zheng and Sven Koenig
Generalizing Envy-Freeness Toward Group of Agents: Taiki Todo, Runcong Li, Xuemei Hu, Takayuki Mouri, Atsushi Iwasaki and Makoto Yokoo
Group-Strategyproof Irresolute Social Choice Functions (PDF): Felix Brandt
Hustling in Repeated Zero-Sum Games with Imperfect Execution (PDF): Christopher Archibald and Yoav Shoham
Hypercubewise Preference Aggregation in Multi-issue Domains: Vincent Conitzer, Jérôme Lang and Lirong Xia
Improving Resource Allocation Strategy Against Human Adversaries in Security Games: Rong Yang, Milind Tambe, Christopher Kiekintveld, Fernando Ordonez and Richard John
Integrating Learning into a BDI Agent for Environments with Changing Dynamics: Dhirendra Singh, Sebastian Sardina, Lin Padgham and Geoff James
Learning where you are going and from whence you came: g- and h-cost learning in real-time heuristic search: Nathan Sturtevant and Vadim Bulitko
Manipulating Boolean Games Through Communication: Michael Wooldridge, Sarit Kraus, Inon Zuckerman and John Grant
Manipulation in group argument evaluation: Martin Caminada, Gabriella Pigozzi and Mikolaj Padlaszewski
Mechanism Design for Double Auctions with Temporal Constraints: Dengji Zhao, Dongmo Zhang and Laurent Perrussel
Minimum Search To Establish Worst-Case Guarantees in Coalition Structure Generation: Talal Rahwan, Tomasz Michalak and Nicholas R. Jennings
Model Checking Knowledge in Pursuit-Evasion Games: Xiaowei Huang and Ron van der Meyden
Modeling the Emergence and Convergence of Norms: Logan Brooks, Wayne Iba and Sandip Sen
Multi-agent Plan Recognition with Partial Team Traces and Plan Libraries: Hankz Hankui Zhuo
Multi-agent soft constraint aggregation via sequential voting: Giorgio Dalla Pozza, Maria Silvia Pini, Francesca Rossi and Brent Venable
On Combining Decisions from Multiple Expert Imitators for Performance: Jonathan Rubin and Ian Watson
On The Complexity of the Core over Coalition Structures: Gianluigi Greco, Enrico Malizia, Luigi Palopoli and Francesco Scarcello
On the Complexity of Voting Manipulation under Randomized Tie-Breaking (PDF): Svetlana Obraztsova and Edith Elkind
On the Fixed-Parameter Tractability of Composition-Consistent Tournament Solutions (PDF): Felix Brandt, Markus Brill and Hans Georg Seedig
Online Planning for Ad Hoc Autonomous Agent Teams: Feng Wu, Shlomo Zilberstein and Xiaoping Chen
Optimal Partitions in Additively Separable Hedonic Games: Haris Aziz, Felix Brandt and Hans Georg Seedig
Push and Swap: Fast Cooperative Path-Finding with Completeness Guarantees: Ryan Luna and Kostas Bekris
Rational decision making in a multiple-adversary environment: Anat Hashavit and Shaul Markovitch
Reasoning about Preferences in Intelligent Agents: John Thangarajah, James Harland and Simeon Visser
Rigging Tournament Brackets for Weaker Players: Isabelle Stanton and Virginia Vassilevska Williams
Robust Approximation and Incremental Elicitation in Voting Protocols: Tyler Lu and Craig Boutilier
Security Games with Multiple Attacker Resources: Dmytro Korzhyk, Vincent Conitzer and Ronald Parr
Simulating the Emergence of Grammatical Agreement in Multi-agent Language Games: Katrien Beuls and Sebastian Höfer
Social Distance Games: Simina Branzei and Kate Larson
Social Instruments for Robust Convention Emergence: Daniel Villatoro, Jordi Sabater-Mir and Sandip Sen
Subsidies, Stability, and Restricted Cooperation in Coalitional Games (PDF): Reshef Meir, Jeffrey S. Rosenschein and Enrico Malizia
The Complexity of Safe Manipulation under Scoring Rules: Egor Ianovski, Lan Yu, Edith Elkind and Mark Wilson
The Shapley Value as a Function of the Quota in Weighted Voting Games: Yair Zick, Alexander Skopalik and Edith Elkind
Towards More Expressive Cake Cutting (PDF): Ioannis Caragiannis, John Lai and Ariel Procaccia
Trust Decision-Making in Multi-agent Systems: Chris Burnett, Timothy Norman and Katia Sycara
Unweighted Coalitional Manipulation Under the Borda Rule is NP-Hard: Nadja Betzler, Rolf Niedermeier and Gerhard Woeginger
Using Emotions to Enhance Decision-Making: Dimitrios Antos and Avi Pfeffer
Using experience to generate new regulations: Javier Morales, Maite Lopez Sanchez and Marc Esteva
Using Gaussian Processes to Optimise Concession in Complex Negotiations against Unknown Opponents: Colin R. Williams, Valentin Robu, Enrico Gerding and Nicholas R. Jennings
Using Incentive Mechanisms for an Adaptive Regulation of Open Multi-Agent Systems: Roberto Centeno and Holger Billhardt
Verification and Implementation of Normative Behaviours in Multi-Agent Systems: Nils Bulling and Mehdi Dastani

Constraints, Satisfiability, and Search

A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints: Thierry Petit, Nicolas Beldiceanu and Xavier Lorca
A Hybrid Recursive Multi-Way Number Partitioning Algorithm: Richard Korf
A Uniform Approach for Generating Proofs and Strategies for both True and False QBF Formulas: Alexandra Goultiaeva, Allen Van Gelder and Fahiem Bacchus
Bounded Suboptimal Search: A Direct Approach Using Inadmissible Estimates: Jordan Thayer and Wheeler Ruml
Complete Approximation Algorithms for Cooperative Pathfinding Problems: Trevor Standley and Richard Korf
Constraint Programming on Infinite Data Streams: Arnaud Lallouet, Yat-Chiu Law, Jimmy Lee, Charles F.K. Siu and Charles F.K. Siu
Constraint Satisfaction Problems: Convexity Makes AllDifferent Constraints Tractable: Michael Fellows, Tobias Friedrich, Danny Hermelin, Nina Narodytska and Frances Rosamond
Depth-Driven Circuit-Level Stochastic Local Search for SAT: Anton Belov, Matti Järvisalo and Zbigniew Stachniak
Dynamic SAT with Decision Change Costs: Formalization and Solutions: Daisuke Hatano and Hirayama
Evaluations of Hash Distributed A* in Optimal Sequence Alignment: Yoshikazu Kobayashi, Akihiro Kishimoto and Osamu Watanabe
Exploiting Short Supports for Generalised Arc Consistency for Arbitrary Constraints: Peter Nightingale, Christopher Jefferson, Ian Miguel and Ian Gent
Finite-Length Markov Processes with Constraints: Francois Pachet, Pierre Roy and Gabriele Barbieri
Generalizing ADOPT and BnB-ADOPT: Patricia Gutierrez, Pedro Meseguer and William Yeoh
Heuristic Algorithms for Balanced Multi-way Number Partitioning: Jilian Zhang, Kyriakos Mouratidis and HweeHwa Pang
Kernels for Global Constraints (PDF): Serge Gaspers and Stefan Szeider
Large Hinge Width on Sparse Random Hypergraphs: Xiaxiang Lin, Tian Liu, Chaoyi Wang, Ke Xu and Yang Yuan
Minimization for Generalized Boolean Formulas: Edith Hemaspaandra and Henning Schnoor
Minimum Satisfiability and its Applications: Chumin Li, Zhu Zhu, Felip Manya and Laurent Simon
Nested Rollout Policy Adaptation for Monte Carlo Tree Search (PDF): Christopher Rosin
Probabilistic Satisfiability: Logic-based Algorithms and Phase Transition (PDF): Marcelo Finger and Glauber de Bona
Rational Deployment of CSP Heuristics (PDF): David Tolpin and Solomon Shimony
Read-Once Resolution for Unsatisfiability-Based Max-SAT Algorithms: Federico Heras and Joao Marques-Silva
Real-Time Heuristic Search with Depression Avoidance: Carlos Hernandez and Jorge Baier
Real-time Opponent Modeling in Trick-taking Card Games: Jeffrey Long and Michael Buro
Real-time Solving of Quantified CSPs based on Monte-Carlo Game Tree Search: Satomi Baba, Yongjoon Joe, Atsushi Iwasaki and Makoto Yokoo
Space Defragmentation Heuristic for 2D and 3D Bin Packing Problems: Zhaoyi Zhang, Wenbin Zhu, Wee-Chong Oon and Andrew Lim
Symmetries and Lazy Clause Generation: Geoffrey Chu, Maria Garcia de la Banda, Chris Mears and Peter Stuckey
Symmetry Breaking via LexLeader Feasibility Checkers: Pascal Van Hentenryck and Justin Yip
Tackling the Partner Units Configuration Problem: Conrad Drescher
The Increasing Cost Tree Search for Optimal Multi-agent Pathfinding: Guni Sharon, Ron Zvi Stern, Meir Goldenberg and Ariel Felner
The Multi-Inter-Distance Constraint: Pierre Ouellet and Claude-Guy Quimper
Tractable Set Constraints: Manuel Bodirsky, Martin Hils and Alex Krimkevitch
Using Payoff-Similarity to Speed Up Search: Timothy Furtak and Michael Buro

Knowledge Representation, Reasoning and Logic

A computationally grounded semantics for artifact centric systems and abstraction results.: Francesco Belardinelli, Alessio Lomuscio and Fabio Patrizi
A constructive approach to independent and evidence retaining belief revision by general information sets: Gabriele Kern-Isberner and Patrick Krümpelmann
A logic for causal inference in time series with discrete and continuous variables: Samantha Kleinberg
A Logical Formulation for Negotiation Among Dishonest Agents: Chiaki Sakama, Son Tran and Enrico Pontelli
A Practical Automata-Based Technique for Reasoning in Expressive Description Logics: Diego Calvanese, Domenico Carbotta and Magdalena Ortiz
A theory of meta-diagnosis: reasoning about diagnostic systems: Nuno Belard, Yannick Pencolé and Michel Combacau
An approach to minimal belief via objective belief: David Pearce and Levan Uridia
An Assertion Retrieval Algebra for Object Queries over Knowledge Bases: David Toman, Grant Weddell, Jeffrey Pound and Jiewen Wu
Augmenting Tractable Fragments of Abstract Argumentation: Sebastian Ordyniak and Stefan Szeider
Backdoors to Tractable Answer-Set Programming: Johannes Klaus Fichte and Stefan Szeider
Belief Base Rationalization for Propositional Merging: Sebastien Konieczny, Pierre Marquis and Nicolas Schwind
Belief Management for High-Level Robot Programs: Alexander Ferrein, Stephan Gspandl, Ingo Pill, Michael Reip, Gerald Steinbauer and Alexander Ferrein
Belief Revision: Revising Horn Clause Theories: James Delgrande and Pavlos Peppas
Beth Definability in Expressive Description Logics: Balder ten Cate, Enrico Franconi and Inanc Seylan
Causal Learnability: Loizos Michael
Computing Minimum-cardinality Diagnoses by Model Relaxation: Sajjad Siddiqi
Consequence-Based Reasoning beyond Horn Ontologies: Frantisek Simancik, Yevgeny Kazakov and Ian Horrocks
Containment of Regular Path Queries under Description Logic Constraints: Diego Calvanese, Magdalena Ortiz and Mantas Simkus
Defeasible Inheritance-based Description Logics: Umberto Straccia and Govanni Casini
Description Logic TBoxes: Model-theoretic Characterizations and Rewritability: Carsten Lutz, Robert Piro and Frank Wolter
Description Logics and Fuzzy Probability (PDF): Lutz Schröder and Dirk Pattinson
Description Logics over Lattices with Multi-valued Ontologies: Stefan Borgwardt and Rafael Penaloza
Discrete-time Temporal Reasoning with Horn DLRs: Peter Jonsson and Tomas Lööw
Dishonest Reasoning by Abduction: Chiaki Sakama
Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals: Giuseppe De Giacomo, Yves Lesperance and Hector Levesque
Existential Closures for Knowledge Compilation: Pierre Marquis
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 and Guido Sciavicco
Extending Decidable Existential Rules by Joining Acyclicity and Guardedness: Markus Krötzsch and Sebastian Rudolph
Finite-valued Modal Lukasiewicz Logic is PSPACE-complete: Félix Bou, Marco Cerami and Francesc Esteva
First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription: Michael Bartholomew, Joohyung Lee and Yunsong Meng
Fixpoints in Temporal Description Logics: Enrico Franconi and David Toman
Foundations of Uniform Interpolation and Forgetting in Expressive Description Logics: Carsten Lutz and Frank Wolter
From First-Order Theories to Logic Programs: Heng Zhang, Yan Zhang and Yi Zhou
Generalising the Interaction Rules in Probabilistic Logic: Arjen Hommersom and Peter Lucas
Generalized Planning: Synthesizing Plans that Work for Multiple Environments: Yuxiao Hu and Giuseppe De Giacomo
Integrated Learning for Goal-Driven Autonomy (PDF): ULIT JAIDEE, Hector Munoz-Avila and David Aha
Interval-Based Possibilistic Logic: Salem Benferhat, Julien Hué, Sylvain Lagrue and Julien Rossit
Logic Programming for Boolean Networks: Katsumi Inoue
Lost in Translation: Language Independence in Propositional Logic - Application to Belief Revision and Belief Merging: Pierre Marquis and Nicolas Schwind
Managed Multi-Context Systems: Gerhard Brewka, Thomas Eiter, Michael Fink and Antonius Weinzierl
Modeling Attempt and Action Failure in Probabilistic stit Logic: Jan Broersen
Multidimensional Mereotopology with Betweenness: Torsten Hahmann and Michael Gruninger
On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols: Vaishak Belle and Gerhard Lakemeyer
On Qualitative Route Descriptions: Matthias Westphal, Stefan Woelfl, Bernhard Nebel and Jochen Renz
On the Complexity of Dealing with Inconsistency in Description Logic Ontologies: Riccardo Rosati
On the complexity of EL with defeasible inclusions: Piero Bonatti, Marco Faella and Luigi Sauro
On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces: Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann and Michael Zakharyaschev
On the Progression of Knowledge in the Situation Calculus: Yongmei Liu and Ximing Wen
Paradoxical diagnosis of complex discrete-event systems: Gianfranco Lamperti and Marina Zanella
Parametric Properties of Ideal Semantics: Wolfgang Dvorak, Paul Dunne and Stefan Woltran
Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ: Magdalena Ortiz, Sebastian Rudolph and Mantas Simkus
Query reasoning on trees with types, interleaving and counting: Everardo Barcenas, Nabil Layaida and Alan Schmitt
RCC8 is polynomial on networks of bounded treewidth: Manuel Bodirsky and Stefan Woelfl
Reasoning about Fuzzy Belief and Common Belief: With Emphasis on Incomparable Beliefs: Yoshihiro Maruyama
Reasoning about typicality in low complexity DLs: the logics EL^bot T_min and DL-lite_R T_min: Laura Giordano, Valentina Gliozzi, Nicola Olivetti and Gian Luca Pozzato
Reasoning-Supported Interactive Revision of Knowledge Bases: Nadeschda Nikitina, Sebastian Rudolph and Birte Glimm
Refutation in Dummett Logic Using a Sign to Express the Truth at the Next Possible World: Guido Fiorino
Relating Carneades with abstract argumentation (PDF): Bas van Gijzel and Henry Prakken
Relating the Semantics of Abstract Dialectical Frameworks and Standard AFs: Gerhard Brewka, Paul Dunne and Stefan Woltran
Repairing Incorrect Knowledge with Model Formulation and Metareasoning: Scott Friedman and Kenneth Forbus
Revising by an Inconsistent Set of Formulas: James Delgrande
Revisiting Preferences and Argumentation (PDF): Sanjay Modgil and Henry Prakken
SDD: A new canonical representation of propositional knowledge bases: Adnan Darwiche
Succinctness of Epistemic Languages: Wiebe van der Hoek, Petar Iliev, Tim French and Barteld Kooi
Tangled Modal Logic for Spatial Reasoning: David Fernández
The General Game Playing Description Language Is Universal: Michael Thielscher
Transitively Relational Partial Meet Horn Contraction: Zhiqiang Zhuang and Maurice Pagnucco
Walking the Complexity Lines for Generalized Guarded Existential Rules: Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph and Michael Thomazo
Well-Supported Semantics for Description Logic Programs: Yi-Dong Shen
What is an Ideal Logic for Reasoning with Inconsistency?: Ofer Arieli, Arnon Avron and Anna Zamansky

Machine Learning

A Competitive Strategy for Function Approximation in Q-Learning: Alejandro Agostini and Enric Celaya
A Fast Dual Projected Newton Method for L1-Regularized Least Squares: Pinghua Gong and Changshui Zhang
A Framework for Incorporating General Domain Knowledge into Latent Dirichlet Allocation using First-Order Logic (PDF): David Andrzejewski, Xiaojin Zhu, Mark Craven and Benjamin Recht
A general MCMC method for Bayesian inference in logic-based probabilistic modeling: Taisuke Sato
A Hidden Markov Model variant for sequence classification: Sam Blasiak and Huzefa Rangwala
Active online classification via information maximization: Noam Slonim, Koby Crammer and Elad Yom-Tov
Active Surveying: A Probabilistic Approach for Identifying Key Opinion Leaders: Hossam Sharara, Myra Norton and Lise Getoor
Activity Recognition with Finite State Machines: Wesley Kerr, Anh Tran and Paul Cohen
Adaptation of a mixture of multivariate Bernoulli distributions: Ankur Kamthe, Miguel Carreira-Perpinan and Alberto Cerpa
Agent-oriented incremental activity recognition for human teams: Daniele Masato, Timothy Norman, Wamberto Vasconcelos and Katia Sycara
An Efficient Framework for Constructing Generalized Locally-Induced Text Metrics: Saeed Amizadeh, Shuguang Wang and Milos Hauskrecht
Angular Decomposition: Dengdi Sun, Chris Ding, Bin Luo and Jin Tang
Approximation-Guided Evolutionary Multi-Objective Optimization (PDF): Karl Bringmann, Tobias Friedrich, Frank Neumann and Markus Wagner
Automatic State Abstraction from Demonstration: Luis C. Cobo, Peng Zang, Charles L. Isbell and Andrea L. Thomaz
Ball Ranking Machine for Content-Based Multimedia Retrieval: Dijun Luo and Heng Huang
Bayesian Policy Search with Policy Priors: David Wingate, Leslie Kaelbling, Dan Roy, Noah Goodman and Joshua Tenenbaum
Bi-Weighting Domain Adaptation for Cross-Language Text Classification: Chang Wan, Rong Pan and Jiefei Li
Biclustering-Driven Ensemble of Bayesian Belief Network Classifiers for Underdetermined Problems: Tatdow Pansombut, William Hendrix, Jacob Gao, Brent Harrison and Nagiza Samatova
Classification of Emerging Extreme Event Tracks in Multi-Variate 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, Nagiza Samatova and Anatoli Melechko
Cluster Indicator Decomposition for Efficient Matrix Factorization: Dijun Luo, Chris Ding and Heng Huang
Combining Supervised and Unsupervised Models via Unconstrained Probabilistic Embedding: Xudong Ma, Ping Luo, Fuzhen Zhuang, Qing He, Zhongzhi Shi and Zhiyong Shen
Concept Labeling: Building Text Classifiers with Minimal Supervision: Vijil Chenthamarakshan, Prem Melville, Vikas Sindhwani and Rick Lawrence
Consistency Measures for Feature Selection: Kilho Shin and Danny Fernandes
Constituent Grammatical Evolution: Loukas Georgiou and William Teahan
Continuous Correlated Beta Processes: Robby Goetschalckx, Pascal Poupart and Jesse Hoey
Dealing with Concept Drift and Class Imbalance in Multi-label Stream Classification: Eleftherios Spyromitros Xioufis, Myra Spiliopoulou, Grigorios Tsoumakas and Ioannis Vlahavas
Discerning Linkage-Based Algorithms Among Hierarchical Clustering Methods (PDF): Margareta Ackerman and Shai Ben-David
Discovering deformable shape templates in continuous time-series data: Suchi Saria, Andrew Duchi and Daphne Koller
Distance Metric Learning Under Covariate Shift: Bin Cao
Distribution-Aware Online Classifiers: Tam Nguyen
Diversity Regularized Machine: Yang Yu, Yu-Feng Li and Zhi-Hua Zhou
Domain Adaptation with Ensemble of Feature Groups: Rajhans Samdani and Scott Wen-tau Yih
Extracting temporal patterns from interval-based sequences: Thomas Guyet and René Quiniou
Fast Anomaly Detection for Streaming Data: Swee Chuan Tan, Kai Ming Ting and Tony Fei Liu
Fast Approximate Nearest-Neighbor Search using k-Nearest Neighbor Graph: Kiana Hajebi, Yasin Abbasi-Yadkori, Hossein Shahbazi and Hong Zhang
Fast Nonnegative Matrix Tri-Factorization for Large-Scale Data Co-Clustering: Hua Wang, Feiping Nie, Heng Huang and Chris Ding
Feature Selection via Joint Embedding Learning and Sparse Regression: Chenping Hou, Feiping Nie, Dongyun Yi and Yi Wu
Flexible, High Performance Convolutional Neural Networks for Image Classification: Dan Ciresan, Ueli Meier, Jonathan Masci, Luca Maria-Gambardella and Juergen Schmidhuber
Gaussianity Measures for Detecting the Direction of Causal Time Series: José Miguel Hernández-Lobato, Pablo Morales-Mombiela and Alberto Suárez
Generative Structure Learning for Markov Logic Network Based on Graph of Predicates: Quang-Thang DINH, Christel Vrain and Matthieu Exbrayat
Heterogeneous Domain Adaptation using Manifold Alignment: Chang Wang and Sridhar Mahadevan
Heuristic Rule-Based Regression via Dynamic Reduction to Classification: Frederik Janssen and Johannes Fuernkranz
Imitation Learning in Relational Words: A Functional Gradient Boosting Approach: Sriraam Natarajan, Saket Joshi, Prasad Tadepelli, Kristian Kersting and Jude Shavlik
Improving performance of topic models by variable grouping: Evgeniy Bart
Increasing the Scalability of the Fitting of Generalised Block Models for Social Networks: Jeffrey Chan, Samantha Lam and Conor Hayes
Incremental Slow Feature Analysis: Varun Raj Kompella, Matthew Luciw and Juergen Schmidhuber
Integrating Task Planning and Interactive Learning for Robots to Work in Human Environments: Alejandro Agostini, Carme Torras and Florentin Woergoetter
Joint Feature Selection and Subspace Learning: Quanquan Gu, Zhenhui Li and Jiawei Han
Jointly Learning Data-Dependent Label and Locality-Preserving Projections: Chang Wang and Sridhar Mahadevan
Kernel-based Selective Ensemble Learning for Streams of Trees: Valerio Grossi and Alessandro Sperduti
Kinship Verification through Transfer Learning: Siyu Xia, Ming Shao and Yun Fu
L21-Norm Regularized Discriminative Feature Selection for Unsupervised Learning: Yi Yang, Heng Tao Shen, Zhigang Ma, Zi Huang and Xiaofang Zhou
Learning a Distance Metric by Empirical Loss Minimization: Dacheng Tao
Learning Decision Rules from Data Streams: Joao Gama and Petr Kosina
Learning Driving Behavior By Timed Syntactic Pattern Recognition: Sicco Verwer, Mathijs de Weerdt and Cees Witteveen
Learning Hash Functions for Cross-View Similarity Search: Shaishav Kumar and Raghavendra Udupa
Learning to Rank under Multiple Annotators: Ou Wu
LIFT: Multi-Label Learning with Label-Specific Features: Min-Ling Zhang
Local and Structured Consistency for Multi-manifold Clustering: Yong Wang, Yuan Jiang, Yi Wu and Zhi-Hua Zhou
Locality-constrained Concept Factorization: Haifeng Liu, Zheng Yang and Zhaohui Wu
Matrix Co-Factorization on Compressed Sensing: Jiho Yoo and Seungjin Choi
Modular Community Detection in Networks: Wenye Li and Dale Schuurmans
Multi-Evidence Lifted Message Passing: Babak Ahmadi, Kristian Kersting and Scott Sanner
Multi-Kernel Gaussian Processes: Arman Melkumyan and Fabio Ramos
Multi-kernel Multi-Label Learning with Max-Margin Concept Network: Wei Zhang, Xiangyang Xue and Jianping Fan
Multi-label Classification using Conditional Dependency Networks: Yuhong Guo
On Trivial Solution and Scale Transfer Problems in Graph Regularized NMF: Quanquan Gu, Chris Ding and Jiawei Han
Pattern Field Classification with Style Normalized Transformation: Xu-Yao Zhang, Kaizhu Huang and Cheng-Lin Liu
Positive Unlabeled Leaning for Time Series Classification: Minh Nhut Nguyen, Xiaoli Li and See-Kiong NG
Principal Component Analysis with Non-Greedy L1-Norm Maximization: Feiping Nie, Heng Huang, Ding and Dijun Luo
Probit Classifiers with a Generalized Gaussian Scale Mixture Prior: Guoqing Liu, Jianxin Wu and Suiping Zhou
Q-error as a Selection Mechanism in Modular Reinforcement-Learning Systems: Mark Ring and Tom Schaul
Revisiting Numerical Pattern Mining with Formal Concept Analysis: Mehdi Kaytoue, Sergei O. Kuznetsov and Amedeo Napoli
Semi-supervised learning from a translation model between data distributions: Henry Anaya-Sánchez, José Martínez-Sotoca and Adolfo Martínez-Usó
Similarity-Based Approach for Positive and Unlabeled learning: Yanshan Xiao, Bo Liu, Jie Yin, Longbing Cao and Chengqi Zhang
Simulation-based Data Mining Solution to the Structure of Water Surrounding Proteins: Hieu Chi Dam, Tu Bao Ho and Ayumu Sugiyama
Strategy Learning for Autonomous Agents in Smart Grid Markets: Prashant Reddy and Manuela Veloso
Unsupervised Grammar Learning with a Curriculum: Kewei Tu and Vasant Honavar
Unsupervised Learning of Patterns in Data Streams using Compression and Edit Distance: Sook-Ling Chua, Stephen Marsland and Hans Guesgen
Using Cases as Heuristics in Reinforcement Learning: a Transfer Learning application: Luiz Celiberto, Ramon Lopez de Mantaras and Reinaldo Bianchi
Utility-based Fraud Detection: Luis Torgo and Elsa Lopes

Multidisciplinary Topics And Applications

A Cognitive Agent Model Displaying and Regulating Different Social Response Patterns (PDF): Jan Treur
A Cognitive Agent Model Incorporating Prior and Retrospective Ownership States for Actions: Jan Treur
A Hierarchical Architecture for Adaptive Brain-Computer Interfacing: Mike Chung, Willy Cheung, Reinhold Scherer, Rajesh Rao and Rajesh Rao
A Neural-Symbolic Cognitive Agent for Online Learning and Reasoning: Leo de Penning, Artur Garcez, Luis Lamb and John-Jules Meyer
A Real-time Opponent Modeling System for Rush Football: Kennard Laviers and Gita Sukthankar
Active Graph Reachability Reduction for Network Security and Software Engineering: Alice Zheng, Ashish Kapoor and John Dunagan
Cross-People Motion Activity Recognition: Zhongtang Zhao, Yiqiang Chen, Junfa Liu and Mingjie Liu
Effective and Efficient Microprocessor Design Space Exploration Using Unlabeled Design Configurations: Qi Guo, Tianshi Chen, Yunji Chen, Zhi-Hua Zhou and Weiwu Hu
Embedding Automated Spatial Data Integration in Street Surveys: A Bayesian Data Fusion Approach: Huanhuan Chen and Anthony Cohn
Explaining Genetic Knock-out Effects Using Cost-Based Abduction: Emad Andrews and Anthony Bonner
Feature Learning for Activity Recognition in Ubiquitous Computing: Thomas Ploetz, Nils Hammerla and Patrick Olivier
Finding ``Unexplained'' Activities in Video: Massimiliano Albanese, Cristian Molinaro, Fabio Persia, Antonio Picariello and V.S. Subrahmanian
Generalized Latent Factor Models for Social Network Analysis: Wu-Jun Li, Dit-Yan Yeung and Zhihua Zhang
Just an Artifact: Why Machines are Perceived as Moral Agents: Joanna Bryson
Learning 3D Geological Structure from Drill-Rig Sensors for Automated Mining: Sildomar Monteiro, Joop van de Ven, Fabio Ramos and Peter Hatherly
Learning Compact Visual Signature towards Low Bit Rate Mobile Landmark Search: Rongrong Ji, Ling-Yu Duan, Hongxun Yao and Wen Gao
Modeling Multivariate Spatio-Temporal Remote Sensing Data with Large Gaps: Qiang Lou and Zoran Obradovic
Modeling Situation Awareness in Human-Like Agents using Mental Models (PDF): Mark Hoogendoorn, Rianne van Lambalgen and Jan Treur
Multi-Select Faceted Navigation based on Minimum Description Length Principle: Chao He, Xueqi Cheng and Jiafeng Guo
Non-Linear Monte-Carlo Search in Civilization II: S.R.K Branavan, David Silver and Regina Barzilay
OCS-14 : You can get Occluded in Fourteen Ways (PDF): Prithwijit Guha, Amitabha Mukerjee, Venkatesh Subramanian
On the Role of Domain Knowledge in Analogy-Based Story Generation: Santiago Ontanon and Jichen Zhu
Plan Recognition in Virtual Laboratories: Ofra Amir and Ya'akov (Kobi) Gal
Sketch Recognition Algorithms for Comparing Complex and Unpredictable Shapes: Martin Field, Stephanie Valentine and Tracy Hammond
The role of intention recognition in the evolution of cooperative behavior: The Anh Han, Luis Moniz Pereira and Francisco C. Santos
Using Multiple Models to Understand Data: Kayur Patel, Steven Drucker, Ashish Kapoor, James Fogarty and Desney Tan
Verifying fault tolerance and self-diagnosability of an autonomous underwater vehicle: Jonathan Ezekiel, Alessio Lomuscio, Levente Molnar and Sandor Veres
Visual Task Inference Using Hidden Markov Models: Amin Haji Abolhassani and James Clark

Natural-Language Processing

A Graph-based Algorithm for Inducing Lexical Taxonomies from Scratch: Roberto Navigli, Paola Velardi and Stefano Faralli
Affect Sensing in Metaphorical Phenomena and Dramatic Interaction Context: Li Zhang
An approach for answer selection in Question Answering based on semantic relations: Ana Mendes and Luísa Coheur
An Efficient Error-Tolerant Chinese Pinyin Input Method: Yabin Zheng, Chen Li and Maosong Sun
Automatic Discovery of Fuzzy Synsets from Dictionary Definitions: Hugo Gonçalo Oliveira and Paulo Gomes
Collective Semantic Role Labeling for Tweets with Clustering: Xiaohua Liu
Constraint Optimization Approach to Context Based Word Selection: Jun Matsuno and Toru Ishida
Enhancing PubMed Search Results with Semantic Annotation Using Augmented Browsing: Hong-Jie Dai, Po-Ting Lai, Richard Tzong-Han Tsai and Wen-Lian Hsu
Ensemble-based Coreference Resolution: Altaf Rahman and Vincent Ng
Entity Linking with Effective Acronym Expansion, Instance Selection and Topic Modeling: Wei Zhang, Yanchuan Sim, Jian Su and Chew-Lim Tan
Fusion of Multiple Features and Supervised Learning for Chinese OOV Term Detection and POS Guessing: Yuejie Zhang, Lei Cen, Cheng Jin and Xiangyang Xue
Improve Tree Kernel-based Event Pronoun Resolution with Competitive Information: Fang Kong and Guodong Zhou
Improving Topic Evaluation Using Conceptual Knowledge (PDF): Claudiu Musat, Julien Velcin, Stefan Trausan-Matu and Marian-Andrei Rizoiu
Incorporate Reviewer and Product Information for Review Rating Prediction: Fangtao Li, Nathan Liu, Hongwei Jin, Kai Zhao, Qiang Yang and Xiaoyan Zhu
Interfacing Virtual Agents With Collaborative Knowledge: Open Domain Question Answering Using Wikipedia-based Topic Models: Ulli Waltinger, Alexa Breuing and Ipke Wachsmuth
Learning Bilingual Lexicons using the Visual Similarity of Labeled Web Images: Shane Bergsma and Benjamin Van Durme
Learning Cause Identifiers with Fine-Grained Annotations: Muhammad Abedin, Vincent Ng and Latifur Khan
Learning for Deep Language Understanding: Smaranda Muresan
Learning From Natural Instructions: Dan Goldwasser and Dan Roth
Learning Inter-Related Statistical Query Translation Models for English-Chinese Bi-Directional CLIR: Yuejie Zhang, Lei Cen, Cheng Jin and Xiangyang Xue
Learning to Identify Review Spam: Fangtao Li, Minlie Huang, Yi Yang and Xiaoyan Zhu
Online Latent Structure Training for Language Acquisition: Michael Connor, Cynthia Fisher and Dan Roth
Predicting globally-coherent temporal structures via endpoint inference and graph decomposition: Pascal Denis and Philippe Muller
Sample Efficient On-line Learning of Optimal Dialogue Policies with Kalman Temporal Differences: Olivier Pietquin, Matthieu Geist and Senthilkumar Chandramohan
Semantic Relationship Discovery with Wikipedia Structure: Fan Bu, Yu Hao and Xiaoyan Zhu
Semi-supervised Learning for Imbalanced Sentiment Classification: Shoushan Li, Zhongqing Wang and Guodong Zhou
Short Text Classification Improved by Learning Multi-Granularity Topics: Mengen Chen and Shen
SMT vs. AI redux: How semantic frames evaluate MT more accurately: Chi-kiu Lo and Dekai Wu
Unsupervised Approaches for Dialog Act Modeling of Asynchronous Conversations: Shafiq Joty, Giuseppe Carenini and Chin-Yew Lin
Unsupervised Lexicon Acquisition for HPSG-based Relation Extraction: Benjamin Rozenfeld and Ronen Feldman

Planning and Scheduling

A Comprehensive Approach to On-Board Autonomy Verification and Validation: Marco Bozzano, Alessandro Cimatti, Marco Roveri and Andrei Tchaltsev
A System for providing Differentiated QoS in Retail Banking: Sameep Mehta
Bounded Intention Planning (PDF): Jason Wolfe and Stuart Russell
Computing Infinite Plans for LTL Goals Using a Classical Planner: Fabio Patrizi, Nir lipovetzky, Giuseppe De Giacomo and Hector Geffner
Computing Perfect Heuristics in Polynomial Time: On Bisimulation and Merge-and-Shrink Abstractions in Optimal Planning: Joerg Hoffmann, Raz Nissim and Malte Helmert
DetH*: Approximate Hierarchical Solution of Large Markov Decision Processes: Jennifer Barry, Leslie Kaelbling and Tomas Lozano-Perez
Goal Recognition over POMDPs: Inferring the Intention of a POMDP Agent: Miquel Ramirez and Hector Geffner
Iterative Flattening Search for the Flexible Job Shop Scheduling Problem: Angelo Oddi, Riccardo Rasconi, Amedeo Cesta and Stephen Smith
Large Neighborhood Search and Adaptive Randomized Decompositions for Flexible Jobshop Scheduling: Dario Pacino and Pascal Van Hentenryck
Monitoring the Execution of Partial Order Plans via Regression: Christian Muise, Sheila McIlraith and Chris Beck
On the Decidability of HTN Planning with Task Insertion: Thomas Geier and Pascal Bercher
On the Effectiveness of CNF and DNF Representations in Contingent Planning: Son To, Enrico Pontelli and Son Tran
Planning under Partial Observability by Classical Replanning: Theory and Experiments: Blai Bonet and Hector Geffner
Planning with SAT, Admissible Heuristics and A*: Jussi Rintanen
Point-Based Value Iteration for Constrained POMDPs: Dongho Kim, Jaesong Lee, Kee-Eung Kim and Pascal Poupart
Probabilistic Goal Markov Decision Processes: Huan Xu and Shie Mannor
Replanning in Domains with Partial Information and Sensing Actions: Guy Shani and Ronen Brafman
Risk-sensitive policies for (sustainable) renewable resource allocation: Stefano Ermon, carla gomes and Bart Selman
Scaling Up Optimal Heuristic Search in Dec-POMDPs via Incremental Expansion: Matthijs Spaan, Frans Oliehoek and Christopher Amato
Simple and Fast Strong Cyclic Planning for Fully-Observable Nondeterministic Planning Problems: Jicheng Fu, Vincent Ng, Farokh Bastani and I-Ling Yen
Transfer Learning for Activity Recognition: Derek Hao Hu

Robotics and Vision

Accommodating Human Variability in Human-Robot Teams through Theory of Mind: Laura Hiatt, Anthony Harrison, Greg Trafton
Aesthetic Guidelines Driven Photography By Robots: Raghudeep Gadde, Kamalakar Karlapalem
Capturing an Evader in a Polygonal Environment with Obstacles: Deepak Bhadauria, Volkan Isler
Conics With A Common Axis of Symmetry: Properties and Applications to Camera Calibration: Zijian Zhao
Exploiting Probabilistic Knowledge under Uncertain Sensing for Efficient Robot Behaviour: Marc Hanheide, Nick Hawes, Charles Gretton, Alper Aydemir, Hendrik Zender, Andrzej Pronobis, Jeremy Wyatt, Moritz Göbelbecker
Robotic Object Detection: Learning to Improve the Classifiers using Sparse Graphs for Path Planning: Zhaoyin Jia, Ashutosh Saxena, Tsuhan Chen
User-dependent Aspect Model for Collaborative Activity Recognition: Wenchen Zheng, Qiang Yang

Uncertainty in AI

A trust prediction approach capturing agents' dynamic behavior: Xin Liu and Anwitaman Datta
Bayesian Chain Classifiers for Multidimensional Classification: Julio Zaragoza, Enrique Sucar, Eduardo Morales, Pedro Larrañaga and Concha Bielza
Eliciting Additive Reward Functions for Markov Decision Processes: Kevin Regan and Craig Boutilier
Finding (_,_)-solutions via sampled SCSPs: Roberto Rossi, Brahim Hnich, S. Armagan Tarim and Steven Prestwich
Inference with multinomial data: why to weaken the prior strength: Cassio de Campos and Alessio Benavoli
Learning Optimal Bayesian Networks Using A* Search: Changhe Yuan, Brandon Malone and Xiaojian Wu
Lifted Probabilistic Inference by First-Order Knowledge Compilation: Guy Van den Broeck, Nima Taghipour, Wannes Meert, Jesse Davis and Luc de Raedt
Lifted Relational Kalman Filtering: Jaesik Choi, Abner Guzman and Eyal Amir
Log-Linear Description Logics: Mathias Niepert, Jan Noessner and Heiner Stuckenschmidt
Motor Simulation via Coupled Internal Models using Sequential Monte Carlo: Haris Dindo, Daniele Zambuto and Giovanni Pezzulo
New Complexity Results for MAP in Bayesian Networks: Cassio de Campos
Pairwise decomposition for combinatorial optimization in graphical models: Aurélie Favier and Simon de Givry
Randomized Sensing in Adversarial Environments: Andreas Krause, Alex Roper and Daniel Golovin
Resolute Choice in Sequential Decision Problems with Multiple Priors: Helene Fargier, Gildas Jeantet and Olivier Spanjaard
Robust Online Optimization of Reward-uncertain MDPs: Kevin Regan and Craig Boutilier
Scalable Multiagent Planning Using Probabilistic Inference: Akshat Kumar, Shlomo Zilberstein and Marc Toussaint

Web and Knowledge-based Information Systems

A Convex Formulation of Modularity Maximization for Community Detection: Emprise Y.K. Chan and Dit-Yan Yeung
A Hybrid Content-Collaborative Reciprocal Recommender for Online Dating: Joshua Akehurst, Irena Koprinska, Kalina Yacef, Luiz Pizzato, Judy Kay and Tomek Rej
A Natural Language Question Answering System as a Participant in Human Q&A Portals: Ingo Glöckner, Tiansi Dong, Ulrich Furbach and Björn Pelzer
A New Search Engine Integrating Hierarchical Browsing and Keyword Search: Charles Ling, Xiao Li and Da Kuang
A Wikipedia based Semantic Graph Model for Topic Tracking in Blogsphere: Jintao Tang, ting wang, Qin Lu and ji wang
Context Sensitive Topic Models for Author Influence in Document Networks: Saurabh Kataria, Prasenjit Mitra, Cornelia Caragea and C. Lee Giles
Cross-Domain Collaborative Filtering Over Time: Bin Li, Xingquan Zhu, Ruijiang Li and Chengqi Zhang
Efficient Searching Top-k Semantic Similar Words: Zhenglu Yang
Extending Computer Assisted Assessment systems with Natural Language Processing, User Modelling, and Recommendations based on Human Computer Interaction and Data Mining: Ismael Pascual, Olga C. Santos, Diana Perez Marin and Jesus G. Boticario
Fashion Coordinates Recommender System using Photographs from Fashion Magazines: Tomoharu Iwata, Shinji Wanatabe and Hiroshi Sawada
Fast Algorithm for Affinity Propagation: Yasuhiro Fujiwara, Go Irie and Tomoe Kitahara
Finding the Hidden Gems: Recommending Untagged Music: Ben Horsburgh, Susan Craw and Stewart Massie
Interest Prediction on Multinomial, Time-Evolving Social Graphs: Nozomi Nori, Danushka Bollegala and Mitsuru Ishizuka
Leveraging Unlabeled Data to Scale Blocking for Record Linkage: Yunbo Cao, Zhiyuan Chen, Jiamin Zhu, Pei Yue, Chin-Yew Lin and Yong Yu
Lifted Fact-Finding: Jeff Pasternack and Dan Roth
LIMES - A Time-Efficient Approach for Large-Scale Link Discovery on the Web of Data: Axel-Cyrille Ngonga Ngomo and Sören Auer
Line Orthogonality in Adjacency Eigenspace and with Application to Community Partition: Leting Wu, Xiaowei Ying, Xintao Wu and Zhi-Hua Zhou
Matching Large Ontologies Based on Reduction Anchors: Peng Wang
Minimally Complete Recommendations: David McSherry
Mining Longitudinal Network for Predicting Company Value: Yingzi Jin
Mining the Web for the "Voice of the Herd" to Spot Stock Market Bubbles: Aaron Gerow and Mark Keane
Mining User Dwell Time for PersonalizedWeb Search Re-Ranking: Hao Jiang
Multi-perspective linking of news articles within a repository: Arpit Khurdiya, Lipika Dey, Nidhi Raj and Mirajul Haque
Predicting Epidemic Tendency through Search Behavior Analysis: Danqing Xu
Recommender Systems from "Words of Few Mouths": Richong Zhang, Thomas Tran and Yongyi Mao
Relation Adaptation: Learning to Extract Novel Relations with Minimum Supervision: Danushka Bollegala, Yutaka Matsuo and Mitsuru Ishizuka
Relevance Feedback Between Web Search and the Semantic Web: Harry Halpin and Victor Lavrenko
Resource-bounded Crowd-sourcing of Commonsense Knowledge: Yen-Ling Kuo and Jane Hsu
Short Text Conceptualization using a Probabilistic Knowledgebase: Yangqiu Song
Social Abstract Argumentation (PDF): João Leite and João Martins
Source-Free Transfer Learning: Evan Xiang, Sinno Pan, Weike Pan, Jian Su and Qiang Yang
The modular structure of an ontology: atomic decomposition: Chiara Del Vescovo, Thomas Schneider, Bijan Parsia and Uli Sattler
Transfer Learning to Predict Missing Ratings in Recommender Systems: Weike Pan, Nathan Liu, Evan Xiang and Qiang Yang
User Similarity from Linked Taxonomies: Subjective Assessments of Items: Makoto Nakatsuji, Yasuhiro Fujiwara, Toshio Uchiyama and Ko Fujimura
What to Ask to an Incomplete Semantic Web Reasoner?: Bernardo Cuenca Grau and Giorgos Stoilos

Special Track

A Comprehensive Approach to On-Board Autonomy Verification and Validation: Marco Bozzano, Alessandro Cimatti, Marco Roveri and Andrei Tchaltsev
A Natural Language Question Answering System as a Participant in Human Q&A Portals: Ingo Glöckner, Tiansi Dong, Ulrich Furbach and Björn Pelzer
A New Search Engine Integrating Hierarchical Browsing and Keyword Search: Charles Ling, Xiao Li and Da Kuang
A Real-time Opponent Modeling System for Rush Football: Kennard Laviers and Gita Sukthankar
A System for providing Differentiated QoS in Retail Banking: Sameep Mehta
An agent architecture for prognostic reasoning assistance: Jean Oh, Felipe Meneguzzi, Katia Sycara and Timothy Norman
An Efficient Error-Tolerant Chinese Pinyin Input Method: Yabin Zheng, Chen Li and Maosong Sun
Bi-Weighting Domain Adaptation for Cross-Language Text Classification: Chang Wan, Rong Pan and Jiefei Li
Coordinating Logistics Operations with Privacy Guarantees: Thomas Léauté and Boi Faltings
Cross-People Motion Activity Recognition: Zhongtang Zhao, Yiqiang Chen, Junfa Liu and mingjie liu
Embedding Automated Spatial Data Integration in Street Surveys: A Bayesian Data Fusion Approach: Huanhuan Chen and Anthony Cohn
Embedding System Dynamics in Agent Based Models for Complex Adaptive Systems: Kiyan Ahmadizadeh, Maarika Teose, Eoin O'Mahony and Carla Gomes
Enhancing PubMed Search Results with Semantic Annotation Using Augmented Browsing: Hong-Jie Dai, Po-Ting Lai, Richard Tzong-Han Tsai and Wen-Lian Hsu
Exploiting Probabilistic Knowledge under Uncertain Sensing for Efficient Robot Behaviour: Marc Hanheide, Nick Hawes, Charles Gretton, Alper Aydemir, Hendrik Zender, Andrzej Pronobis, Jeremy Wyatt and Moritz Göbelbecker
Extending Computer Assisted Assessment systems with Natural Language Processing, User Modelling, and Recommendations based on Human Computer Interaction and Data Mining: Ismael Pascual, Olga C. Santos, Diana Perez Marin and Jesus G. Boticario
Feature Selection via Joint Embedding Learning and Sparse Regression: Chenping Hou, Feiping Nie, Dongyun Yi and Yi Wu
Integrated Learning for Goal-Driven Autonomy: Ulit Jaidee, Hector Munoz-Avila and David Aha
Integrating Learning into a BDI Agent for Environments with Changing Dynamics: Dhirendra Singh, Sebastian Sardina, Lin Padgham and Geoff James
Integrating Task Planning and Interactive Learning for Robots to Work in Human Environments: Alejandro Agostini, Carme Torras and Florentin Woergoetter
Interest Prediction on Multinomial, Time-Evolving Social Graphs: Nozomi Nori, Danushka Bollegala and Mitsuru Ishizuka
Kinship Verification through Transfer Learning: Siyu Xia, Ming Shao and Yun Fu
Learning 3D Geological Structure from Drill-Rig Sensors for Automated Mining: Sildomar Monteiro, Joop van de Ven, Fabio Ramos and Peter Hatherly
Learning Compact Visual Signature towards Low Bit Rate Mobile Landmark Search: Rongrong Ji, Ling-Yu Duan, Hongxun Yao and Wen Gao
Learning From Natural Instructions: Dan Goldwasser and Dan Roth
Learning to Identify Review Spam: Fangtao Li, Minlie Huang, Yi Yang and Xiaoyan Zhu
Mining Longitudinal Network for Predicting Company Value: Yingzi Jin
Non-Linear Monte-Carlo Search in Civilization II: S.R.K Branavan, David Silver and Regina Barzilay
Plan Recognition in Virtual Laboratories: Ofra Amir and Ya'akov (Kobi) Gal
Resource-bounded Crowd-sourcing of Commonsense Knowledge: Yen-Ling Kuo and Jane Hsu
Similarity-Based Approach for Positive and Unlabeled learning: Yanshan Xiao, Bo Liu, Jie Yin, Longbing Cao and Chengqi Zhang
Simulation-based Data Mining Solution to the Structure of Water Surrounding Proteins: Hieu Chi Dam, Tu Bao Ho and Ayumu Sugiyama
Sketch Recognition Algorithms for Comparing Complex and Unpredictable Shapes: Martin Field, Stephanie Valentine and Tracy Hammond