IJCAI-11

<< Prev
>> Next

	Place	Session	Title	Author/Authors
09:00 - 10:00	Plenary video	Invited talk Session Chair: Tom Dietterich	Homo Heuristicus: Why Biased Minds Make Better Inferences	Gerd Gigerenzer
10:00 - 10:30	Coffee Best paper posters: AAMAS 2011, ECCAI 2011 Dissertation Award, ECSQARU 2011, ICAPS 2011, ICCBR 2010, ICLP 2010, IJCAI-JAIR Best Paper 2010, JELIA 2010, KR 2010, LPNMR 2011, RSS 2010, SOCS 2011, TARK 2011
10:30 - 12:10	Plenary video	Best Paper Session Chair: Pearl Pu	UMAP 2010: Evaluation of Group Profiling Strategies	Christophe Senot, Dimitre Kostadinov, Makram Bouzid, Jérôme Picault, Armen Aghasaryan
			IUI 2011: picoTrans: Using Pictures as Input for Machine Translation on Mobile Devices	Andrew Finch, Wei Song, Kumiko Tanaka-Ishii, Eiichiro Sumita
			CHI 2011: Human-Guided Machine Learning for Fast and Accurate Network Alarm Triage	Saleema Amershi, Bongshin Lee, Ashish Kapoor, Ratul Mahajan, Blaine Christian
			CHI 2011: Flexible Tree Matching	Ranjitha Kumar, Jerry O. Talton, Salman Ahmad, Tim Roughgarden, Scott R. Klemmer
			CHI 2011: Analysis of Adjective-Noun Word Pair Extraction Methods for Online Review Summarization	Koji Yatani, Michael Novati, Andrew Trusty, Khai N. Truong
	Rooms 120-121 video	Agents: game theory TALKS Session Chair: Ariel Procaccia	Dynamics of Profit-Sharing Games	John Augustine, Ning Chen, Edith Elkind, Angelo Fanelli, Nikolay Gravin and Dmitry Shiryaev
			Hustling in Repeated Zero-Sum Games with Imperfect Execution	Christopher Archibald and Yoav Shoham
			Accelerating Best Response Calculation in Large Extensive Games	Michael Johanson, Kevin Waugh, Michael Bowling and Martin Zinkevich
		Agents 5 POSTERS	Budgeted Social Choice: From Consensus to Personalized Decision Making	Tyler Lu and Craig Boutilier
			Hypercubewise Preference Aggregation in Multi-issue Domains	Vincent Conitzer, Jérôme Lang and Lirong Xia
			Manipulating Boolean Games Through Communication	Michael Wooldridge, Sarit Kraus, Inon Zuckerman and John Grant
			Mechanism Design for Double Auctions with Temporal Constraints	Dengji Zhao, Dongmo Zhang and Laurent Perrussel
			Multi-agent soft constraint aggregation via sequential voting	Giorgio Dalla Pozza, Maria Silvia Pini, Francesca Rossi and Brent Venable
			On The Complexity of the Core over Coalition Structures	Gianluigi Greco, Enrico Malizia, Luigi Palopoli and Francesco Scarcello
			Optimal Partitions in Additively Separable Hedonic Games	Haris Aziz, Felix Brandt and Hans Georg Seedig
			Towards More Expressive Cake Cutting	Ioannis Caragiannis, John Lai and Ariel Procaccia
	Rooms 122-123 video	Constraints: global constraints TALKS Session Chair: Nina Narodytska	The Multi-Inter-Distance Constraint	Pierre Ouellet and Claude-Guy Quimper
			A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints	Thierry Petit, Nicolas Beldiceanu and Xavier Lorca
			Exploiting Short Supports for Generalised Arc Consistency for Arbitrary Constraints	Peter Nightingale, Christopher Jefferson, Ian Miguel and Ian Gent
		Constraints 2 POSTERS	Constraint Satisfaction Problems: Convexity Makes AllDifferent Constraints Tractable	Michael Fellows, Tobias Friedrich, Danny Hermelin, Nina Narodytska and Frances Rosamond
			Kernels for Global Constraints	Serge Gaspers and Stefan Szeider
			Minimization for Generalized Boolean Formulas	Edith Hemaspaandra and Henning Schnoor
			Probabilistic Satisfiability: Logic-based Algorithms and Phase Transition	Marcelo Finger and Glauber de Bona
			Rational Deployment of CSP Heuristics	David Tolpin and Solomon Shimony
			Real-time Solving of Quantified CSPs based on Monte-Carlo Game Tree Search	Satomi Baba, Yongjoon Joe, Atsushi Iwasaki and Makoto Yokoo
			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	Markus Aschinger, Conrad Drescher, Georg Gottlob, Peter Jeavons, Evgenij Thorstensen
	Rooms 124-125 video	KR: beliefs TALKS Session Chair: Stefan Woltran	Belief Revision: Revising Horn Clause Theories	James Delgrande and Pavlos Peppas
			Transitively Relational Partial Meet Horn Contraction	Zhiqiang Zhuang and Maurice Pagnucco
			Lost in Translation: Language Independence in Propositional Logic - Application to Belief Revision and Belief Merging	Pierre Marquis and Nicolas Schwind
		KR 5 POSTERS	A Logical Formulation for Negotiation Among Dishonest Agents	Chiaki Sakama, Son Tran and Enrico Pontelli
			Dishonest Reasoning by Abduction	Chiaki Sakama
			Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals	Giuseppe De Giacomo, Yves Lesperance and Hector Levesque
			First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription	Michael Bartholomew, Joohyung Lee and Yunsong Meng
			From First-Order Theories to Logic Programs	Heng Zhang, Yan Zhang and Yi Zhou
			Logic Programming for Boolean Networks	Katsumi Inoue
			Query reasoning on trees with types, interleaving and counting	Everardo Barcenas, Pierre Geneves, Nabil Layaida and Alan Schmitt
			Reasoning-Supported Interactive Revision of Knowledge Bases	Nadeschda Nikitina, Sebastian Rudolph and Birte Glimm
	Rooms 127-128 video	KR: description logic TALKS Session Chair: Thomas Schneider	Foundations of Uniform Interpolation and Forgetting in Expressive Description Logics	Carsten Lutz and Frank Wolter
			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
		KR 6 POSTERS	A Practical Automata-Based Technique for Reasoning in Expressive Description Logics	Diego Calvanese, Domenico Carbotta and Magdalena Ortiz
			An Assertion Retrieval Algebra for Object Queries over Knowledge Bases	David Toman, Grant Weddell, Jeffrey Pound and Jiewen Wu
			Containment of Regular Path Queries under Description Logic Constraints	Diego Calvanese, Magdalena Ortiz and Mantas Simkus
			Description Logic TBoxes: Model-theoretic Characterizations and Rewritability	Carsten Lutz, Robert Piro and Frank Wolter
			Discrete-time Temporal Reasoning with Horn DLRs	Peter Jonsson and Tomas Lööw
			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
			Fixpoints in Temporal Description Logics	Enrico Franconi and David Toman
			Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ	Magdalena Ortiz, Sebastian Rudolph and Mantas Simkus
			Well-Supported Semantics for Description Logic Programs	Yi-Dong Shen
	Rooms 129-130 video	ML: feature selection TALKS Session Chair: José Miguel Hernández Lobato	Angular Decomposition	Dengdi Sun, Chris Ding, Bin Luo and Jin Tang
			Automatic State Abstraction from Demonstration	Luis C. Cobo, Peng Zang, Charles L. Isbell and Andrea L. Thomaz
			Incremental Slow Feature Analysis	Varun Raj Kompella, Matthew Luciw and Juergen Schmidhuber
		ML 5 POSTERS	Active online classification via information maximization	Noam Slonim, Koby Crammer and Elad Yom-Tov
			Adaptation of a mixture of multivariate Bernoulli distributions	Ankur Kamthe, Miguel Carreira-Perpinan and Alberto Cerpa
			Ball Ranking Machine for Content-Based Multimedia Retrieval	Dijun Luo and Heng Huang
			Concept Labeling: Building Text Classifiers with Minimal Supervision	Vijil Chenthamarakshan, Prem Melville, Vikas Sindhwani and Rick Lawrence
			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
			Fast Anomaly Detection for Streaming Data	Swee Chuan Tan, Kai Ming Ting and Tony Fei Liu
			Multi-Kernel Gaussian Processes	Arman Melkumyan and Fabio Ramos
			Probit Classifiers with a Generalized Gaussian Scale Mixture Prior	Guoqing Liu, Jianxin Wu and Suiping Zhou
			Semi-supervised learning from a translation model between data distributions	Henry Anaya-Sánchez, José Martínez-Sotoca and Adolfo Martínez-Usó
Rooms 131-132 video	UAI: probabilistic inference TALKS Session Chair: Cassio P. de Campos	Lifted Probabilistic Inference by First-Order Knowledge Compilation	Guy Van den Broeck, Nima Taghipour, Wannes Meert, Jesse Davis and Luc de Raedt
		Log-Linear Description Logics	Mathias Niepert, Jan Noessner and Heiner Stuckenschmidt
		Lifted Relational Kalman Filtering	Jaesik Choi, Abner Guzman and Eyal Amir
	UAI 2 POSTERS	Bayesian Chain Classifiers for Multidimensional Classification	Julio Zaragoza, Enrique Sucar, Eduardo Morales, Pedro Larrañaga and Concha Bielza
		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
		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
		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
		Randomized Sensing in Adversarial Environments	Andreas Krause, Alex Roper and Daniel Golovin
		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
Rooms 133-134 video	Planning: search TALKS Session Chair: Svem Koenig	Planning with SAT, Admissible Heuristics and A*	Jussi Rintanen
		Computing Perfect Heuristics in Polynomial Time: On Bisimulation and Merge-and-Shrink Abstractions in Optimal Planning	Joerg Hoffmann, Raz Nissim and Malte Helmert
		Large Neighborhood Search and Adaptive Randomized Decompositions for Flexible Jobshop Scheduling	Dario Pacino and Pascal Van Hentenryck
	Planning POSTERS	Bounded Intention Planning	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
		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
		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
		Risk-sensitive policies for (sustainable) renewable resource allocation	Stefano Ermon, carla gomes and Bart Selman
		Transfer Learning for Activity Recognition	Derek Hao Hu
		Continuous Time Planning for Multiagent Teams with Temporal Constraints	Zhengyu Yin, Milind Tambe and Kanna Rajan
Room 111	IJCAI Video Track
12:10 - 12:20	Break
12:20 - 13:00	Plenary video	Best Paper Session Chair: Pearl Pu	ACM Recommender 2009: A Transitivity Aware Matrix Factorization Model for Recommendation in Social Networks	Mohsen Jamali, Martin Ester
	Plenary video	Best Paper Session Chair: Pearl Pu	ACM Recommender 2009: Missing Data and Statistical Model Estimation	Benjamin M. Marlin, Richard S. Zemel, Sam T. Roweis, Malcolm Slaney
	Rooms 120-121 video	Agent: markets TALKS Session Chair: Edith Elkind	An Efficient Monte-Carlo Algorithm for Pricing Combinatorial Prediction Markets for Tournaments	David Pennock and Lirong Xia
	Rooms 120-121 video	Agent: markets TALKS Session Chair: Edith Elkind	A Market Clearing Solution for Social Lending	Ning Chen and Arpita Ghosh
	Rooms 122-123 video	Constraints: satisfiability TALKS Session Chair: Abdul Sattar	Minimum Satisfiability and its Applications	Chumin Li, Zhu Zhu, Felip Manya and Laurent Simon
	Rooms 122-123 video		Read-Once Resolution for Unsatisfiability-Based Max-SAT Algorithms	Federico Heras and Joao Marques-Silva
	Rooms 124-125 video	KR: systems TALKS Session Chair: Rachel Ben-Eliyahu-Zohary	Managed Multi-Context Systems	Gerhard Brewka, Thomas Eiter, Michael Fink and Antonius Weinzierl
	Rooms 124-125 video		A computationally grounded semantics for artifact centric systems and abstraction results.	Francesco Belardinelli, Alessio Lomuscio and Fabio Patrizi
	Rooms 127-128 video	KR: datalog TALKS Session Chair: Thomas Eiter	Walking the Complexity Lines for Generalized Guarded Existential Rules	Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph and Michael Thomazo
	Rooms 127-128 video	KR: datalog TALKS Session Chair: Thomas Eiter	Extending Decidable Existential Rules by Joining Acyclicity and Guardedness	Markus Krötzsch and Sebastian Rudolph
	Rooms 129-130 video	ML: text TALKS Session Chair: Ricard Gavalda	An Efficient Framework for Constructing Generalized Locally-Induced Text Metrics	Saeed Amizadeh, Shuguang Wang and Milos Hauskrecht
	Rooms 129-130 video	ML: text TALKS Session Chair: Ricard Gavalda	Domain Adaptation with Ensemble of Feature Groups	Rajhans Samdani and Scott Wen-tau Yih
	Rooms 131-132 video	UAI: graphical models TALKS Session Chair: Peter Lucas	Pairwise decomposition for combinatorial optimization in graphical models	Aurélie Favier and Simon de Givry
	Rooms 131-132 video	UAI: graphical models TALKS Session Chair: Peter Lucas	Learning Optimal Bayesian Networks Using A* Search	Changhe Yuan, Brandon Malone and Xiaojian Wu
	Rooms 133-134 video	Planning: uncertainty TALKS Session Chair: Matthijs Spaan	Replanning in Domains with Partial Information and Sensing Actions	Guy Shani and Ronen Brafman
	Rooms 133-134 video		Simple and Fast Strong Cyclic Planning for Fully-Observable Nondeterministic Planning Problems	Jicheng Fu, Vincent Ng, Farokh Bastani and I-Ling Yen
	Room 111	IJCAI Annual Business Meeting (13:00 to 13:45)
13:00 - 14:30	Lunch
14:30 - 15:30	Plenary video	Invited talk Session Chair: Pascal van Hentenryck	Adventures in Scheduling: Some Trends in Operations Research	Mike Trick
15:30 - 16:00	Coffee Best paper posters: AAMAS 2011, ECCAI 2011 Dissertation Award, ECSQARU 2011, ICAPS 2011, ICCBR 2010, ICLP 2010, IJCAI-JAIR Best Paper 2010, JELIA 2010, KR 2010, LPNMR 2011, RSS 2010, SOCS 2011, TARK 2011
16:00 - 17:20	Plenary video	Best Paper Session Chair: Jose Luis Balcazar	ECML PKDD 2010: A Geometric View of Conjugate Priors	Arvind Agarwal, Hal Daum
			ECML PKDD 2010: Mind the Eigen-Gap, or How to Accelerate Semi-Supervised Spectral Learning Algorithms	Dimitrios Mavroeidis
			ECML PKDD 2010: Community Detection in Social Networks through Community Formation Games	Wei Chen, Zhenming Liu, Xiaorui Sun, Yajun Wang
			ECML PKDD 2010: WSABIE: Scaling Up to Large Vocabulary Image Annotation	Jason Weston, Samy Bengio, Nicolas Usunier
	Rooms 120-121 video	Agents: social choice TALKS Session Chair: Ulle Endriss	A general elicitation-free protocol for allocating indivisible goods	Sylvain Bouveret and Jérôme Lang
		Agents: social choice TALKS Session Chair: Ulle Endriss	Budgeted Social Choice: From Consensus to Personalized Decision Making	Tyler Lu and Craig Boutilier
		Agents 6 POSTERS	Accelerating Best Response Calculation in Large Extensive Games	Michael Johanson, Kevin Waugh, Michael Bowling and Martin Zinkevich
			An Empirical Study of Seeding Manipulations and Their Prevention	Tyrel Russell and Peter van Beek
			Approximately Strategy-Proof Voting	Eleanor Birrell and Rafael Pass
			Choosing collectively optimal sets of alternatives based on the Condorcet criterion	Edith Elkind, Jérôme Lang and Abdallah Saffidine
			Comparing Variants of Strategic Ability	Wojtek Jamroga and Nils Bulling
			Group-Strategyproof Irresolute Social Choice Functions	Felix Brandt
			On the Complexity of Voting Manipulation under Randomized Tie-Breaking	Svetlana Obraztsova and Edith Elkind
			Rigging Tournament Brackets for Weaker Players	Isabelle Stanton and Virginia Vassilevska Williams
			The Complexity of Safe Manipulation under Scoring Rules	Egor Ianovski, Lan Yu, Edith Elkind and Mark Wilson
	Rooms 122-123 video	Constraints: symmetry TALKS Session Chair: Jimmy Lee	Symmetry Breaking via LexLeader Feasibility Checkers	Pascal Van Hentenryck and Justin Yip
		Constraints: symmetry TALKS Session Chair: Jimmy Lee	Symmetries and Lazy Clause Generation	Geoffrey Chu, Maria Garcia de la Banda, Chris Mears and Peter Stuckey
		Constraints & Search 3 POSTERS	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
			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 Katsutoshi Hirayama
			Generalizing ADOPT and BnB-ADOPT	Patricia Gutierrez, Pedro Meseguer and William Yeoh
			Large Neighborhood Search and Adaptive Randomized Decompositions for Flexible Jobshop Scheduling	Dario Pacino and Pascal Van Hentenryck
			Minimum Satisfiability and its Applications	Chumin Li, Zhu Zhu, Felip Manya and Laurent Simon
			Online Planning for Ad Hoc Autonomous Agent Teams	Feng Wu, Shlomo Zilberstein and Xiaoping Chen
			Read-Once Resolution for Unsatisfiability-Based Max-SAT Algorithms	Federico Heras and Joao Marques-Silva
			The Increasing Cost Tree Search for Optimal Multi-agent Pathfinding	Guni Sharon, Ron Zvi Stern, Meir Goldenberg and Ariel Felner
	Rooms 124-125 video	KR: knowledge bases TALKS Session Chair: Jim Delgrande	Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals	Giuseppe De Giacomo, Yves Lesperance and Hector Levesque
		KR: knowledge bases TALKS Session Chair: Jim Delgrande	Reasoning-Supported Interactive Revision of Knowledge Bases	Nadeschda Nikitina, Sebastian Rudolph and Birte Glimm
		KR 7 POSTERS	Consequence-Based Reasoning beyond Horn Ontologies	Frantisek Simancik, Yevgeny Kazakov and Ian Horrocks
			Defeasible Inheritance-based Description Logics	Umberto Straccia and Govanni Casini
			Description Logics and Fuzzy Probability	Lutz Schröder and Dirk Pattinson
			Description Logics over Lattices with Multi-valued Ontologies	Stefan Borgwardt and Rafael Penaloza
			Extending Decidable Existential Rules by Joining Acyclicity and Guardedness	Markus Krötzsch and Sebastian Rudolph
			Foundations of Uniform Interpolation and Forgetting in Expressive Description Logics	Carsten Lutz and Frank Wolter
			Managed Multi-Context Systems	Gerhard Brewka, Thomas Eiter, Michael Fink and Antonius Weinzierl
			On the Complexity of Dealing with Inconsistency in Description Logic Ontologies	Riccardo Rosati
			Walking the Complexity Lines for Generalized Guarded Existential Rules	Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph and Michael Thomazo
	Rooms 127-128 video	Multidisciplinary: activity recognition TALKS Session Chair: Arman Melkumyan	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
		Multidisciplinary 2 POSTERS	Active Graph Reachability Reduction for Network Security and Software Engineering	Alice Zheng, Ashish Kapoor and John Dunagan
			Effective and Efficient Microprocessor Design Space Exploration Using Unlabeled Design Configurations	Qi Guo, Tianshi Chen, Yunji Chen, Zhi-Hua Zhou and Weiwu Hu
			Explaining Genetic Knock-out Effects Using Cost-Based Abduction	Emad Andrews and Anthony Bonner
			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
			Multi-Select Faceted Navigation based on Minimum Description Length Principle	Chao He, Xueqi Cheng and Jiafeng Guo
			On the Role of Domain Knowledge in Analogy-Based Story Generation	Santiago Ontanon and Jichen Zhu
			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
	Rooms 129-130 video	ML: ensemble methods TALKS Session Chair: Zhi-Hua Zhou	Diversity Regularized Machine	Yang Yu, Yu-Feng Li and Zhi-Hua Zhou
		ML: ensemble methods TALKS Session Chair: Zhi-Hua Zhou	Biclustering-Driven Ensemble of Bayesian Belief Network Classifiers for Underdetermined Problems	Tatdow Pansombut, William Hendrix, Jacob Gao, Brent Harrison and Nagiza Samatova
		ML6 POSTERS	A Fast Dual Projected Newton Method for L1-Regularized Least Squares	Pinghua Gong and Changshui Zhang
			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
			Distance Metric Learning Under Covariate Shift	Bin Cao
			Kernel-based Selective Ensemble Learning for Streams of Trees	Valerio Grossi and Alessandro Sperduti
			Local and Structural Consistency for Multi-manifold Clustering	Yong Wang, Yuan Jiang, Yi Wu, Zhi-Hua Zhou
			Matrix Co-Factorization on Compressed Sensing	Jiho Yoo and Seungjin Choi
			Multi-kernel Multi-Label Learning with Max-Margin Concept Network	Wei Zhang, Xiangyang Xue, Jianping Fan, Xiaojing Huang, Bin Wu, Mingjie Liu
			Principal Component Analysis with Non-Greedy L1-Norm Maximization	Feiping Nie, Heng Huang, Ding and Dijun Luo
	Rooms 131-132 video	UAI: MDPs TALKS Session Chair: Ronen Brafman	Eliciting Additive Reward Functions for Markov Decision Processes	Kevin Regan and Craig Boutilier
		UAI: MDPs TALKS Session Chair: Ronen Brafman	Robust Online Optimization of Reward-uncertain MDPs	Kevin Regan and Craig Boutilier
		Agents 8 POSTERS	A Market Clearing Solution for Social Lending	Ning Chen and Arpita Ghosh
			A Maximum Likelihood Approach towards Aggregating Partial Orders	Lirong Xia and Vincent Conitzer
A Mechanism for Dynamic Ride Sharing based on Parallel Auctions			Alexander Kleiner, Bernhard Nebel and Vittorio Amos Ziparo
Aggregating Dependency Graphs into Voting Agendas in Multi-Issue Elections			Stéphane Airiau, Ulle Endriss, Umberto Grandi, Daniele Porello and Joel Uckelman
An Efficient Monte-Carlo Algorithm for Pricing Combinatorial Prediction Markets for Tournaments			David Pennock and Lirong Xia
Approximating optimal combinatorial auctions for complements using restricted welfare maximization			Pingzhong Tang and Tuomas Sandholm
Dynamics of Profit-Sharing Games			John Augustine, Ning Chen, Edith Elkind, Angelo Fanelli, Nikolay Gravin and Dmitry Shiryaev
Efficient Mechanisms with Risky Participation			Ruggiero Cavallo
Reasoning about Preferences in Intelligent Agents			John Thangarajah, James Harland and Simeon Visser
Rooms 133-134 video	Llull session TALKS	Llull's Contributions to Computer Science	John N. Crossley
		From De arte electionis to Social Choice Theory	Josep M. Colomer
		Llull session panel	(until 18:00)
Room 111	IJCAI Video Track
17:20 - 17:30	Break
17:30 - 18:10	Plenary video	Best Paper Session Chair: Qiang Yang	KDD 2010: Large Linear Classification When Data Cannot Fit in Memory	Hsiang-Fu Yu, Cho-Jui Hsieh, Kai-Wei Chang, Chih-Jen Lin
	Plenary video	Best Paper Session Chair: Qiang Yang	KDD 2010: Connecting the Dots between News Articles	Dafna Shahaf, Carlos Guestrin
	Rooms 120-121 video	Agents: social choice TALKS Session Chair: Piotr Faliszewski	Binary Aggregation with Integrity Constraints	Umberto Grandi and Ulle Endriss
	Rooms 120-121 video		Robust Approximation and Incremental Elicitation in Voting Protocols	Tyler Lu and Craig Boutilier
	Rooms 122-123 video	Constraints: phase transitions TALKS Session Chair: Nina Naroditsyka	Large Hinge Width on Sparse Random Hypergraphs	Xiaxiang Lin, Tian Liu, Chaoyi Wang, Ke Xu and Yang Yuan
	Rooms 122-123 video		Probabilistic Satisfiability: Logic-based Algorithms and Phase Transition	Marcelo Finger and Glauber de Bona
	Rooms 124-125 video	KR: query languages TALKS Session Chair: Ofer Arieli	Query reasoning on trees with types, interleaving and counting	Everardo Barcenas, Pierre Geneves, Nabil Layaida and Alan Schmitt
	Rooms 124-125 video	KR: query languages TALKS Session Chair: Ofer Arieli	An Assertion Retrieval Algebra for Object Queries over Knowledge Bases	David Toman, Grant Weddell, Jeffrey Pound and Jiewen Wu
	Rooms 127-128	Multidisciplinary: computer aided design TALKS Session Chair: Jaime Sichman	Effective and Efficient Microprocessor Design Space Exploration Using Unlabeled Design Configurations	Qi Guo, Tianshi Chen, Yunji Chen, Zhi-Hua Zhou and Weiwu Hu
	Rooms 129-130 video	ML: nearest neighbour TALKS Session Chair: Rong Pan	Fast Approximate Nearest-Neighbor Search using k-Nearest Neighbor Graph	Kiana Hajebi, Yasin Abbasi-Yadkori, Hossein Shahbazi and Hong Zhang
	Rooms 129-130 video	ML: nearest neighbour TALKS Session Chair: Rong Pan	Learning a Distance Metric by Empirical Loss Minimization	Wei Bian, Dacheng Tao
	Rooms 131-132 video	ML: evolutionary computing TALKS Session Chair: Holger Hoos	Increasing the Scalability of the Fitting of Generalised Block Models for Social Networks	Jeffrey Chan, Samantha Lam and Conor Hayes
	Rooms 131-132 video		Constituent Grammatical Evolution	Loukas Georgiou and William Teahan
	Rooms 133-134 video	Llull session panel (cont)
	Room 111	IJCAI Video Track
18:10 - 18:20	Break
18:20 - 19:20	Plenary video	Research Excelence Session Chair: Hiroaki Kitano	Artificial Intelligence and Human Thinking	Robert Kowalski
19:20 - 19:30	Break
19:30 - 20:30	Room 112	Student reception

PROGRAM

INVITED SPEAKERS