22. IJCAI 2011: Barcelona, Catalonia, Spain
Toby Walsh:
IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011. IJCAI/AAAI 2011, ISBN 978-1-57735-516-8
Preface.
Conference Organization.
Program Committee.
Conference Sponsorship.
Awards and Distinguished Papers.
Keynote and Invited Speakers.
IJCAI Organization.
Past IJCAI Conferences.
Invited Talk and Research Excellence Paper
Oren Etzioni, Anthony Fader, Janara Christensen, Stephen Soderland, Mausam:
Open Information Extraction: The Second Generation. 3-10
Technical Papers and Posters
Agent-Based and Multiagent Systems
Stéphane Airiau, Ulle Endriss, Umberto Grandi, Daniele Porello, Joel Uckelman:
Aggregating Dependency Graphs into Voting Agendas in Multi-Issue Elections. 18-23
Christopher Archibald, Yoav Shoham:
Hustling in Repeated Zero-Sum Games with Imperfect Execution. 31-36
John Augustine, Ning Chen, Edith Elkind, Angelo Fanelli, Nick Gravin, Dmitry Shiryaev:
Dynamics of Profit-Sharing Games. 37-42
Haris Aziz, Felix Brandt, Hans Georg Seedig:
Optimal Partitions in Additively Separable Hedonic Games. 43-48
Yoram Bachrach, Edith Elkind, Piotr Faliszewski:
Coalitional Voting Manipulation: A Game-Theoretic Perspective. 49-54
Nadja Betzler, Rolf Niedermeier, Gerhard J. Woeginger:
Unweighted Coalitional Manipulation under the Borda Rule Is NP-Hard. 55-60
Katrien Beuls, Sebastian Höfer:
Simulating the Emergence of Grammatical Agreement in Multi-Agent Language Games. 61-66
Sylvain Bouveret, Jérôme Lang:
A General Elicitation-Free Protocol for Allocating Indivisible Goods. 73-78
Felix Brandt, Markus Brill, Hans Georg Seedig:
On the Fixed-Parameter Tractability of Composition-Consistent Tournament Solutions. 85-90



Chris Burnett, Timothy J. Norman, Katia P. Sycara:
Trust Decision-Making in Multi-Agent Systems. 115-120
Martin Caminada, Gabriella Pigozzi, Mikolaj Podlaszewski:
Manipulation in Group Argument Evaluation. 121-126

Roberto Centeno, Holger Billhardt:
Using Incentive Mechanisms for an Adaptive Regulation of Open Multi-Agent Systems. 139-145
Meng Chang, Minghua He, Xudong Luo:
AstonCAT-Plus: An Efficient Specialist for the TAC Market Design Tournament. 146-151
Vincent Conitzer, Jérôme Lang, Lirong Xia:
Hypercubewise Preference Aggregation in Multi-Issue Domains. 158-163
Célia da Costa Pereira, Andrea Tettamanzi, Serena Villata:
Changing One's Mind: Erase or Rewind? 164-171
Giorgio Dalla Pozza, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable:
Multi-Agent Soft Constraint Aggregation via Sequential Voting. 172-177
Marco De Luca, Dave Cliff:
Human-Agent Auction Interactions: Adaptive-Aggressive Agents Dominate. 178-185
Edith Elkind, Jérôme Lang, Abdallah Saffidine:
Choosing Collectively Optimal Sets of Alternatives Based on the Condorcet Criterion. 186-191
Can Erdogan, Manuela M. Veloso:
Action Selection via Learning Behavior Patterns in Multi-Robot Systems. 192-197

John Grant, Sarit Kraus, Michael Wooldridge, Inon Zuckerman:
Manipulating Boolean Games through Communication. 210-215
Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello:
On the Complexity of the Core over Coalition Structures. 216-221
Anat Hashavit, Shaul Markovitch:
Max-Prob: An Unbiased Rational Decision Making Procedure for Multiple-Adversary Environments. 222-227
Andreas Herzig, Emiliano Lorini, Frédéric Moisan, Nicolas Troquard:
A Dynamic Logic of Normative Systems. 228-233
Martin Hoefer, Michal Penn, Maria Polukarov, Alexander Skopalik, Berthold Vöcking:
Considerate Equilibrium. 234-239
Xiaowei Huang, Patrick Maupin, Ron van der Meyden:
Model Checking Knowledge in Pursuit Evasion Games. 240-245
Egor Ianovski, Lan Yu, Edith Elkind, Mark C. Wilson:
The Complexity of Safe Manipulation under Scoring Rules. 246-251
Michael Johanson, Kevin Waugh, Michael H. Bowling, Martin Zinkevich:
Accelerating Best Response Calculation in Large Extensive Games. 258-265
Alexander Kleiner, Bernhard Nebel, Vittorio A. Ziparo:
A Mechanism for Dynamic Ride Sharing Based on Parallel Auctions. 266-272
Dmytro Korzhyk, Vincent Conitzer, Ronald Parr:
Security Games with Multiple Attacker Resources. 273-279
Tyler Lu, Craig Boutilier:
Budgeted Social Choice: From Consensus to Personalized Decision Making. 280-286
Tyler Lu, Craig Boutilier:
Robust Approximation and Incremental Elicitation in Voting Protocols. 287-293
Ryan Luna, Kostas E. Bekris:
Push and Swap: Fast Cooperative Path-Finding with Completeness Guarantees. 294-300
Reshef Meir, Jeffrey S. Rosenschein, Enrico Malizia:
Subsidies, Stability, and Restricted Cooperation in Coalitional Games. 301-306
Javier Morales, Maite López-Sánchez, Marc Esteva:
Using Experience to Generate New Regulations. 307-312
Svetlana Obraztsova, Edith Elkind:
On the Complexity of Voting Manipulation under Randomized Tie-Breaking. 319-324
Joni Pajarinen, Jaakko Peltonen:
Efficient Planning for Factored Infinite-Horizon DEC-POMDPs. 325-331
Sébastien Picault, Philippe Mathieu:
An Interaction-Oriented Model for Multi-Scale Simulation. 332-337
Talal Rahwan, Tomasz P. Michalak, Nicholas R. Jennings:
Minimum Search to Establish Worst-Case Guarantees in Coalition Structure Generation. 338-343
Jonathan Rubin, Ian D. Watson:
On Combining Decisions from Multiple Expert Imitators for Performance. 344-349
Tyrel Russell, Peter van Beek:
An Empirical Study of Seeding Manipulations and Their Prevention. 350-356
Isabelle Stanton, Virginia Vassilevska Williams:
Rigging Tournament Brackets for Weaker Players. 357-364
Nathan R. Sturtevant, Vadim Bulitko:
Learning Where You Are Going and from Whence You Came: h- and g-Cost Learning in Real-Time Heuristic Search. 365-370
Pingzhong Tang, Tuomas Sandholm:
Approximating Optimal Combinatorial Auctions for Complements Using Restricted Welfare Maximization. 379-385
Taiki Todo, Runcong Li, Xuemei Hu, Takayuki Mouri, Atsushi Iwasaki, Makoto Yokoo:
Generalizing Envy-Freeness toward Group of Agents. 386-392
Suguru Ueda, Makoto Kitaki, Atsushi Iwasaki, Makoto Yokoo:
Concise Characteristic Function Representations in Coalitional Games Based on Agent Types. 393-399
Matteo Venanzi, Michele Piunti, Rino Falcone, Cristiano Castelfranchi:
Facing Openness with Socio-Cognitive Trust and Categories. 400-405
Serena Villata, Guido Boella, Leendert W. N. van der Torre:
Attack Semantics for Abstract Argumentation. 406-413
Daniel Villatoro, Giulia Andrighetto, Jordi Sabater-Mir, Rosaria Conte:
Dynamic Sanctioning for Robust and Cost-Efficient Norm Compliance. 414-419
Daniel Villatoro, Jordi Sabater-Mir, Sandip Sen:
Social Instruments for Robust Convention Emergence. 420-425
Simeon Visser, John Thangarajah, James Harland:
Reasoning about Preferences in Intelligent Agent Systems. 426-431
Colin R. Williams, Valentin Robu, Enrico H. Gerding, Nicholas R. Jennings:
Using Gaussian Processes to Optimise Concession in Complex Negotiations against Unknown Opponents. 432-438
Feng Wu, Shlomo Zilberstein, Xiaoping Chen:
Online Planning for Ad Hoc Autonomous Agent Teams. 439-445
Lirong Xia, Vincent Conitzer:
A Maximum Likelihood Approach towards Aggregating Partial Orders. 446-451
Lirong Xia, David M. Pennock:
An Efficient Monte-Carlo Algorithm for Pricing Combinatorial Prediction Markets for Tournaments. 452-457
Rong Yang, Christopher Kiekintveld, Fernando Ordóñez, Milind Tambe, Richard John:
Improving Resource Allocation Strategy against Human Adversaries in Security Games. 458-464
Zhengyu Yin, Milind Tambe:
Continuous Time Planning for Multiagent Teams with Temporal Constraints. 465-471
Dengji Zhao, Dongmo Zhang, Laurent Perrussel:
Mechanism Design for Double Auctions with Temporal Constraints. 472-477
Xiaoming Zheng, Sven Koenig:
Generalized Reaction Functions for Solving Complex-Task Allocation Problems. 478-483
Hankz Hankui Zhuo, Lei Li:
Multi-Agent Plan Recognition with Partial Team Traces and Plan Libraries. 484-489
Yair Zick, Alexander Skopalik, Edith Elkind:
The Shapley Value as a Function of the Quota in Weighted Voting Games. 490-496
Constraints, Satisfiability, and Search
Markus Aschinger, Conrad Drescher, Georg Gottlob, Peter Jeavons, Evgenij Thorstensen:
Tackling the Partner Units Configuration Problem. 497-503
Anton Belov, Matti Järvisalo, Zbigniew Stachniak:
Depth-Driven Circuit-Level Stochastic Local Search for SAT. 504-509
Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda, Christopher Mears:
Symmetries and Lazy Clause Generation. 516-521
Michael R. Fellows, Tobias Friedrich, Danny Hermelin, Nina Narodytska, Frances A. Rosamond:
Constraint Satisfaction Problems: Convexity Makes AllDifferent Constraints Tractable. 522-527
Marcelo Finger, Glauber De Bona:
Probabilistic Satisfiability: Logic-Based Algorithms and Phase Transition. 528-533

Alexandra Goultiaeva, Allen Van Gelder, Fahiem Bacchus:
A Uniform Approach for Generating Proofs and Strategies for Both True and False QBF Formulas. 546-553
Daisuke Hatano, Katsutoshi Hirayama:
Dynamic SAT with Decision Change Costs: Formalization and Solutions. 560-565
Federico Heras, João Marques-Silva:
Read-Once Resolution for Unsatisfiability-Based Max-SAT Algorithms. 572-577
Yoshikazu Kobayashi, Akihiro Kishimoto, Osamu Watanabe:
Evaluations of Hash Distributed A* in Optimal Sequence Alignment. 584-590
Arnaud Lallouet, Yat Chiu Law, Jimmy Ho-Man Lee, Charles F. K. Siu:
Constraint Programming on Infinite Data Streams. 597-604
Chu Min Li, Zhu Zhu, Felip Manyà, Laurent Simon:
Minimum Satisfiability and Its Applications. 605-610
Tian Liu, Xiaxiang Lin, Chaoyi Wang, Kaile Su, Ke Xu:
Large Hinge Width on Sparse Random Hypergraphs. 611-616
Peter Nightingale, Ian P. Gent, Christopher Jefferson, Ian Miguel:
Exploiting Short Supports for Generalised Arc Consistency for Arbitrary Constraints. 623-628
François Pachet, Pierre Roy, Gabriele Barbieri:
Finite-Length Markov Processes with Constraints. 635-642
Thierry Petit, Nicolas Beldiceanu, Xavier Lorca:
A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints. 643-648
Satomi Baba, Yongjoon Joe, Atsushi Iwasaki, Makoto Yokoo:
Real-Time Solving of Quantified CSPs Based on Monte-Carlo Game Tree Search. 655-661
Guni Sharon, Roni Stern, Meir Goldenberg, Ariel Felner:
The Increasing Cost Tree Search for Optimal Multi-Agent Pathfinding. 662-667
Trevor Scott Standley, Richard E. Korf:
Complete Algorithms for Cooperative Pathfinding Problems. 668-673
Jordan Tyler Thayer, Wheeler Ruml:
Bounded Suboptimal Search: A Direct Approach Using Inadmissible Estimates. 674-679

Jilian Zhang, Kyriakos Mouratidis, HweeHwa Pang:
Heuristic Algorithms for Balanced Multi-Way Number Partitioning. 693-698
Zhaoyi Zhang, Songshan Guo, Wenbin Zhu, Wee-Chong Oon, Andrew Lim:
Space Defragmentation Heuristic for 2D and 3D Bin Packing Problems. 699-704
Knowledge Representation, Reasoning, and Logic
Ofer Arieli, Arnon Avron, Anna Zamansky:
What Is an Ideal Logic for Reasoning with Inconsistency?. 706-711
Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph, Michaël Thomazo:
Walking the Complexity Lines for Generalized Guarded Existential Rules. 712-717
Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt:
Query Reasoning on Trees with Types, Interleaving, and Counting. 718-723
Michael Bartholomew, Joohyung Lee, Yunsong Meng:
First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription. 724-730
Nuno Belard, Yannick Pencolé, Michel Combacau:
A Theory of Meta-Diagnosis: Reasoning about Diagnostic Systems. 731-737
Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi:
A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results. 738-743
Vaishak Belle, Gerhard Lakemeyer:
On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols. 744-749
Salem Benferhat, Julien Hué, Sylvain Lagrue, Julien Rossit:
Interval-Based Possibilistic Logic. 750-755
Piero A. Bonatti, Marco Faella, Luigi Sauro:
On the Complexity of EL with Defeasible Inclusions. 762-767
Stefan Borgwardt, Rafael Peñaloza:
Description Logics over Lattices with Multi-Valued Ontologies. 768-773
Félix Bou, Marco Cerami, Francesc Esteva:
Finite-Valued Lukasiewicz Modal Logic Is PSPACE-Complete. 774-779
Gerhard Brewka, Paul E. Dunne, Stefan Woltran:
Relating the Semantics of Abstract Dialectical Frameworks and Standard AFs. 780-785
Gerhard Brewka, Thomas Eiter, Michael Fink, Antonius Weinzierl:
Managed Multi-Context Systems. 786-791
Diego Calvanese, Domenico Carbotta, Magdalena Ortiz:
A Practical Automata-Based Technique for Reasoning in Expressive Description Logics. 798-804
Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
Containment of Regular Path Queries under Description Logic Constraints. 805-812

Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque:
Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals. 827-832

Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco:
Expressiveness of the Interval Logics of Allen's Relations on the Class of All Linear Orders: Complete Classification. 845-850


Guido Fiorino:
Refutation in Dummett Logic Using a Sign to Express the Truth at the Next Possible World. 869-874
Tim French, Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi:
Succinctness of Epistemic Languages. 881-886
Scott E. Friedman, Kenneth D. Forbus:
Repairing Incorrect Knowledge with Model Formulation and Metareasoning. 887-893
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Reasoning about Typicality in Low Complexity DLs: The Logics EL⊥Tmin and DL-Litec Tmin. 894-899
Stephan Gspandl, Ingo Pill, Michael Reip, Gerald Steinbauer, Alexander Ferrein:
Belief Management for High-Level Robot Programs. 900-905
Arjen Hommersom, Peter J. F. Lucas:
Generalising the Interaction Rules in Probabilistic Logic. 912-917
Yuxiao Hu, Giuseppe De Giacomo:
Generalized Planning: Synthesizing Plans that Work for Multiple Environments. 918-923

Gabriele Kern-Isberner, Patrick Krümpelmann:
A Constructive Approach to Independent and Evidence Retaining Belief Revision by General Information Sets. 937-942
Samantha Kleinberg:
A Logic for Causal Inference in Time Series with Discrete and Continuous Variables. 943-950
Sébastien Konieczny, Pierre Marquis, Nicolas Schwind:
Belief Base Rationalization for Propositional Merging. 951-956
Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev:
On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces. 957-962
Markus Krötzsch, Sebastian Rudolph:
Extending Decidable Existential Rules by Joining Acyclicity and Guardedness. 963-968

Carsten Lutz, Robert Piro, Frank Wolter:
Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability. 983-988
Carsten Lutz, Frank Wolter:
Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics. 989-995
Pierre Marquis, Nicolas Schwind:
Lost in Translation: Language Independence in Propositional Logic - Application to Belief Revision and Belief Merging. 1002-1007
Yoshihiro Maruyama:
Reasoning about Fuzzy Belief and Common Belief: With Emphasis on Incomparable Beliefs. 1008-1013

Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm:
Reasoning-Supported Interactive Revision of Knowledge Bases. 1027-1032
Sebastian Ordyniak, Stefan Szeider:
Augmenting Tractable Fragments of Abstract Argumentation. 1033-1038
Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus:
Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ. 1039-1044
Jeffrey Pound, David Toman, Grant E. Weddell, Jiewen Wu:
An Assertion Retrieval Algebra for Object Queries over Knowledge Bases. 1051-1056
Riccardo Rosati:
On the Complexity of Dealing with Inconsistency in Description Logic Ontologies. 1057-1062
Chiaki Sakama, Tran Cao Son, Enrico Pontelli:
A Logical Formulation for Negotiation among Dishonest Agents. 1069-1074


Frantisek Simancik, Yevgeny Kazakov, Ian Horrocks:
Consequence-Based Reasoning beyond Horn Ontologies. 1093-1098
Balder ten Cate, Enrico Franconi, Inanç Seylan:
Beth Definability in Expressive Description Logics. 1099-1106

Matthias Westphal, Stefan Wölfl, Bernhard Nebel, Jochen Renz:
On Qualitative Route Descriptions: Representation and Computational Complexity. 1120-1125
Heng Zhang, Yan Zhang, Mingsheng Ying, Yi Zhou:
Translating First-Order Theories into Logic Programs. 1126-1131
Zhi Qiang Zhuang, Maurice Pagnucco:
Transitively Relational Partial Meet Horn Contraction. 1132-1138
Machine Learning
Margareta Ackerman, Shai Ben-David:
Discerning Linkage-Based Algorithms among Hierarchical Clustering Methods. 1140-1145
Alejandro Agostini, Enric Celaya:
A Competitive Strategy for Function Approximation in Q-Learning. 1146-1151
Babak Ahmadi, Kristian Kersting, Scott Sanner:
Multi-Evidence Lifted Message Passing, with Application to PageRank and the Kalman Filter. 1152-1158
Saeed Amizadeh, Shuguang Wang, Milos Hauskrecht:
An Efficient Framework for Constructing Generalized Locally-Induced Text Metrics. 1159-1164
Henry Anaya-Sánchez, José Martínez Sotoca, Adolfo Martínez Usó:
Semi-Supervised Learning from a Translation Model between Data Distributions. 1165-1170
David Andrzejewski, Xiaojin Zhu, Mark Craven, Benjamin Recht:
A Framework for Incorporating General Domain Knowledge into Latent Dirichlet Allocation Using First-Order Logic. 1171-1177


Karl Bringmann, Tobias Friedrich, Frank Neumann, Markus Wagner:
Approximation-Guided Evolutionary Multi-Objective Optimization. 1198-1203
Bin Cao, Xiaochuan Ni, Jian-Tao Sun, Gang Wang, Qiang Yang:
Distance Metric Learning under Covariate Shift. 1204-1210
Luiz A. Celiberto, Jackson Paul Matsuura, Ramón López de Mántaras, Reinaldo A. C. Bianchi:
Using Cases as Heuristics in Reinforcement Learning: A Transfer Learning Application. 1211-1217
Jeffrey Chan, Samantha Lam, Conor Hayes:
Increasing the Scalability of the Fitting of Generalised Block Models for Social Networks. 1218-1224
Vijil Chenthamarakshan, Prem Melville, Vikas Sindhwani, Richard D. Lawrence:
Concept Labeling: Building Text Classifiers with Minimal Supervision. 1225-1230
Sook-Ling Chua, Stephen Marsland, Hans W. Guesgen:
Unsupervised Learning of Patterns in Data Streams Using Compression and Edit Distance. 1231-1236
Dan Claudiu Ciresan, Ueli Meier, Jonathan Masci, Luca Maria Gambardella, Jürgen Schmidhuber:
Flexible, High Performance Convolutional Neural Networks for Image Classification. 1237-1242
Luis C. Cobo, Peng Zang, Charles Lee Isbell Jr., Andrea Lockerd Thomaz:
Automatic State Abstraction from Demonstration. 1243-1248
Quang-Thang Dinh, Matthieu Exbrayat, Christel Vrain:
Generative Structure Learning for Markov Logic Networks Based on Graph of Predicates. 1249-1254


Pinghua Gong, Changshui Zhang:
A Fast Dual Projected Newton Method for l1-Regularized Least Squares. 1275-1280
Valerio Grossi, Alessandro Sperduti:
Kernel-Based Selective Ensemble Learning for Streams of Trees. 1281-1287
Quanquan Gu, Chris H. Q. Ding, Jiawei Han:
On Trivial Solution and Scale Transfer Problems in Graph Regularized NMF. 1288-1293
Yuhong Guo, Suicheng Gu:
Multi-Label Classification Using Conditional Dependency Networks. 1300-1305
Kiana Hajebi, Yasin Abbasi-Yadkori, Hossein Shahbazi, Hong Zhang:
Fast Approximate Nearest-Neighbor Search with k-Nearest Neighbor Graph. 1312-1317
José Miguel Hernández-Lobato, Pablo Morales-Mombiela, Alberto Suárez:
Gaussianity Measures for Detecting the Direction of Causal Time Series. 1318-1323
Chenping Hou, Feiping Nie, Dongyun Yi, Yi Wu:
Feature Selection via Joint Embedding Learning and Sparse Regression. 1324-1329
Frederik Janssen, Johannes Fürnkranz:
Heuristic Rule-Based Regression via Dynamic Reduction to Classification. 1330-1335
Ankur Kamthe, Miguel Á. Carreira-Perpiñán, Alberto Cerpa:
Adaptation of a Mixture of Multivariate Bernoulli Distributions. 1336-1341
Mehdi Kaytoue, Sergei O. Kuznetsov, Amedeo Napoli:
Revisiting Numerical Pattern Mining with Formal Concept Analysis. 1342-1347
Varun Raj Kompella, Matthew D. Luciw, Jürgen Schmidhuber:
Incremental Slow Feature Analysis. 1354-1359
Shaishav Kumar, Raghavendra Udupa:
Learning Hash Functions for Cross-View Similarity Search. 1360-1365
Guoqing Liu, Jianxin Wu, Suiping Zhou:
Probit Classifiers with a Generalized Gaussian Scale Mixture Prior. 1372-1377
Dijun Luo, Chris H. Q. Ding, Heng Huang:
Cluster Indicator Decomposition for Efficient Matrix Factorization. 1384-1389
Xudong Ma, Ping Luo, Fuzhen Zhuang, Qing He, Zhongzhi Shi, Zhiyong Shen:
Combining Supervised and Unsupervised Models via Unconstrained Probabilistic Embedding. 1396-1401
Daniele Masato, Timothy J. Norman, Wamberto Weber Vasconcelos, Katia P. Sycara:
Agent-Oriented Incremental Team and Activity Recognition. 1402-1407
Sriraam Natarajan, Saket Joshi, Prasad Tadepalli, Kristian Kersting, Jude W. Shavlik:
Imitation Learning in Relational Domains: A Functional-Gradient Boosting Approach. 1414-1420
Minh Nhut Nguyen, Xiaoli Li, See-Kiong Ng:
Positive Unlabeled Leaning for Time Series Classification. 1421-1426
Feiping Nie, Heng Huang, Chris H. Q. Ding, Dijun Luo, Hua Wang:
Robust Principal Component Analysis with Non-Greedy l1-Norm Maximization. 1433-1438
Tatdow Pansombut, William Hendrix, Zekai Jacob Gao, Brent E. Harrison, Nagiza F. Samatova:
Biclustering-Driven Ensemble of Bayesian Belief Network Classifiers for Underdetermined Problems. 1439-1445
Prashant P. Reddy, Manuela M. Veloso:
Strategy Learning for Autonomous Agents in Smart Grid Markets. 1446-1451
Mark B. Ring, Tom Schaul:
Q-Error as a Selection Mechanism in Modular Reinforcement-Learning Systems. 1452-1457
Suchi Saria, Andrew Duchi, Daphne Koller:
Discovering Deformable Motifs in Continuous Time Series Data. 1465-1471
Taisuke Sato:
A General MCMC Method for Bayesian Inference in Logic-Based Probabilistic Modeling. 1472-1477
Huseyin Sencan, Zhengzhang Chen, William Hendrix, Tatdow Pansombut, Fredrick H. M. Semazzi, Alok N. Choudhary, Vipin Kumar, Anatoli V. Melechko, Nagiza F. Samatova:
Classification of Emerging Extreme Event Tracks in Multivariate Spatio-Temporal Physical Systems Using Dynamic Network Structures: Application to Hurricane Track Prediction. 1478-1484
Hossam Sharara, Lise Getoor, Myra Norton:
Active Surveying: A Probabilistic Approach for Identifying Key Opinion Leaders. 1485-1490
Kilho Shin, Danny Fernandes, Seiya Miyazaki:
Consistency Measures for Feature Selection: A Formal Definition, Relative Sensitivity Comparison, and a Fast Algorithm. 1491-1497
Noam Slonim, Elad Yom-Tov, Koby Crammer:
Active Online Classification via Information Maximization. 1498-1504


Kewei Tu, Vasant G. Honavar:
On the Utility of Curricula in Unsupervised Learning of Probabilistic Grammars. 1523-1528
Sicco Verwer, Mathijs de Weerdt, Cees Witteveen:
Learning Driving Behavior by Timed Syntactic Pattern Recognition. 1529-1534

Chang Wang, Sridhar Mahadevan:
Jointly Learning Data-Dependent Label and Locality-Preserving Projections. 1547-1552
Hua Wang, Feiping Nie, Heng Huang, Fillia Makedon:
Fast Nonnegative Matrix Tri-Factorization for Large-Scale Data Co-Clustering. 1553-1558
Yong Wang, Yuan Jiang, Yi Wu, Zhi-Hua Zhou:
Local and Structural Consistency for Multi-Manifold Clustering. 1559-1564
David Wingate, Noah D. Goodman, Daniel M. Roy, Leslie Pack Kaelbling, Joshua B. Tenenbaum:
Bayesian Policy Search with Policy Priors. 1565-1570
Yanshan Xiao, Bo Liu, Jie Yin, Longbing Cao, Chengqi Zhang, Zhifeng Hao:
Similarity-Based Approach for Positive and Unlabeled Learning. 1577-1582
Eleftherios Spyromitros Xioufis, Myra Spiliopoulou, Grigorios Tsoumakas, Ioannis P. Vlahavas:
Dealing with Concept Drift and Class Imbalance in Multi-Label Stream Classification. 1583-1588
Yi Yang, Heng Tao Shen, Zhigang Ma, Zi Huang, Xiaofang Zhou:
l2, 1-Norm Regularized Discriminative Feature Selection for Unsupervised Learning. 1589-1594


Wei Zhang, Xiangyang Xue, Jianping Fan, Xiaojing Huang, Bin Wu, Mingjie Liu:
Multi-Kernel Multi-Label Learning with Max-Margin Concept Network. 1615-1620
Xu-Yao Zhang, Kaizhu Huang, Cheng-Lin Liu:
Pattern Field Classification with Style Normalized Transformation. 1621-1626
Multidisciplinary Topics and Applications
Massimiliano Albanese, Cristian Molinaro, Fabio Persia, Antonio Picariello, V. S. Subrahmanian:
Finding "Unexplained" Activities in Video. 1628-1634
Emad A. M. Andrews, Anthony J. Bonner:
Explaining Genetic Knock-Out Effects Using Cost-Based Abduction. 1635-1640
Joanna Bryson, Philip P. Kime:
Just an Artifact: Why Machines Are Perceived as Moral Agents. 1641-1646
Mike Chung, Willy Cheung, Reinhold Scherer, Rajesh P. N. Rao:
A Hierarchical Architecture for Adaptive Brain-Computer Interfacing. 1647-1652
Leo de Penning, Artur S. d'Avila Garcez, Luís C. Lamb, John-Jules Ch. Meyer:
A Neural-Symbolic Cognitive Agent for Online Learning and Reasoning. 1653-1658
Jonathan Ezekiel, Alessio Lomuscio, Levente Molnar, Sandor M. Veres:
Verifying Fault Tolerance and Self-Diagnosability of an Autonomous Underwater Vehicle. 1659-1664
Prithwijit Guha, Amitabha Mukerjee, K. S. Venkatesh:
OCS-14 : You Can Get Occluded in Fourteen Ways. 1665-1670
Qi Guo, Tianshi Chen, Yunji Chen, Zhi-Hua Zhou, Weiwu Hu, Zhiwei Xu:
Effective and Efficient Microprocessor Design Space Exploration Using Unlabeled Design Configurations. 1671-1677
Han The Anh, Luís Moniz Pereira, Francisco C. Santos:
The Role of Intention Recognition in the Evolution of Cooperative Behavior. 1684-1689
Chao He, Xueqi Cheng, Jiafeng Guo, Huawei Shen:
Multi-Select Faceted Navigation Based on Minimum Description Length Principle. 1690-1696
Mark Hoogendoorn, Rianne van Lambalgen, Jan Treur:
Modeling Situation Awareness in Human-Like Agents Using Mental Models. 1697-1704
Wu-Jun Li, Dit-Yan Yeung, Zhihua Zhang:
Generalized Latent Factor Models for Social Network Analysis. 1705-1710
Qiang Lou, Zoran Obradovic:
Modeling Multivariate Spatio-Temporal Remote Sensing Data with Large Gaps. 1711-1716
Santiago Ontañón, Jichen Zhu:
On the Role of Domain Knowledge in Analogy-Based Story Generation. 1717-1722
Kayur Patel, Steven M. Drucker, James Fogarty, Ashish Kapoor, Desney S. Tan:
Using Multiple Models to Understand Data. 1723-1728
Thomas Plötz, Nils Y. Hammerla, Patrick Olivier:
Feature Learning for Activity Recognition in Ubiquitous Computing. 1729-1734
Jan Treur:
A Cognitive Agent Model Displaying and Regulating Different Social Response Patterns. 1735-1742
Jan Treur:
A Cognitive Agent Model Incorporating Prior and Retrospective Ownership States for Actions. 1743-1749
Alice X. Zheng, John Dunagan, Ashish Kapoor:
Active Graph Reachability Reduction for Network Security and Software Engineering. 1750-1756
Natural Language Processing
Muhammad Arshad Ul Abedin, Vincent Ng, Latifur Khan:
Learning Cause Identifiers from Annotator Rationales. 1758-1763
Shane Bergsma, Benjamin Van Durme:
Learning Bilingual Lexicons Using the Visual Similarity of Labeled Web Images. 1764-1769
Mengen Chen, Xiaoming Jin, Dou Shen:
Short Text Classification Improved by Learning Multi-Granularity Topics. 1776-1781
Michael Connor, Cynthia Fisher, Dan Roth:
Online Latent Structure Training for Language Acquisition. 1782-1787
Pascal Denis, Philippe Muller:
Predicting Globally-Coherent Temporal Structures from Texts via Endpoint Inference and Graph Decomposition. 1788-1793
Hugo Gonçalo Oliveira, Paulo Gomes:
Automatic Discovery of Fuzzy Synsets from Dictionary Definitions. 1801-1806
Shafiq R. Joty, Giuseppe Carenini, Chin-Yew Lin:
Unsupervised Modeling of Dialog Acts in Asynchronous Conversations. 1807-1813
Fang Kong, Guodong Zhou:
Improve Tree Kernel-Based Event Pronoun Resolution with Competitive Information. 1814-1819
Fangtao Li, Nathan Nan Liu, Hongwei Jin, Kai Zhao, Qiang Yang, Xiaoyan Zhu:
Incorporating Reviewer and Product Information for Review Rating Prediction. 1820-1825
Shoushan Li, Zhongqing Wang, Guodong Zhou, Sophia Yat Mei Lee:
Semi-Supervised Learning for Imbalanced Sentiment Classification. 1826-1831
Xiaohua Liu, Kuan Li, Ming Zhou, Zhongyang Xiong:
Collective Semantic Role Labeling for Tweets with Clustering. 1832-1837
Chi-kiu Lo, Dekai Wu:
SMT Versus AI Redux: How Semantic Frames Evaluate MT More Accurately. 1838-1845
Jun Matsuno, Toru Ishida:
Constraint Optimization Approach to Context Based Word Selection. 1846-1851
Ana Cristina Mendes, Luísa Coheur:
An Approach to Answer Selection in Question-Answering Based on Semantic Relations. 1852-1857
Claudiu Cristian Musat, Julien Velcin, Stefan Trausan-Matu, Marian-Andrei Rizoiu:
Improving Topic Evaluation Using Conceptual Knowledge. 1866-1871
Olivier Pietquin, Matthieu Geist, Senthilkumar Chandramohan:
Sample Efficient On-Line Learning of Optimal Dialogue Policies with Kalman Temporal Differences. 1878-1883
Benjamin Rozenfeld, Ronen Feldman:
Unsupervised Lexicon Acquisition for HPSG-Based Relation Extraction. 1890-1895
Ulli Waltinger, Alexa Breuing, Ipke Wachsmuth:
Interfacing Virtual Agents with Collaborative Knowledge: Open Domain Question Answering Using Wikipedia-Based Topic Models. 1896-1902
Wei Zhang, Yan Chuan Sim, Jian Su, Chew Lim Tan:
Entity Linking with Effective Acronym Expansion, Instance Selection, and Topic Modeling. 1909-1914
Yuejie Zhang, Lei Cen, Cheng Jin, Xiangyang Xue, Jianping Fan:
Learning Inter-Related Statistical Query Translation Models for English-Chinese Bi-Directional CLIR. 1915-1920
Yuejie Zhang, Lei Cen, Wei Wu, Cheng Jin, Xiangyang Xue:
Fusion of Multiple Features and Supervised Learning for Chinese OOV Term Detection and POS Guessing. 1921-1926
Planning and Scheduling
Jennifer L. Barry, Leslie Pack Kaelbling, Tomás Lozano-Pérez:
DetH*: Approximate Hierarchical Solution of Large Markov Decision Processes. 1928-1935
Blai Bonet, Hector Geffner:
Planning under Partial Observability by Classical Replanning: Theory and Experiments. 1936-1941
Stefano Ermon, Jon Conrad, Carla P. Gomes, Bart Selman:
Risk-Sensitive Policies for Sustainable Renewable Resource Allocation. 1942-1948
Jicheng Fu, Vincent Ng, Farokh B. Bastani, I-Ling Yen:
Simple and Fast Strong Cyclic Planning for Fully-Observable Nondeterministic Planning Problems. 1949-1954

Dongho Kim, Jaesong Lee, Kee-Eung Kim, Pascal Poupart:
Point-Based Value Iteration for Constrained POMDPs. 1968-1974
Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck:
Monitoring the Execution of Partial-Order Plans via Regression. 1975-1982
Raz Nissim, Jörg Hoffmann, Malte Helmert:
Computing Perfect Heuristics in Polynomial Time: On Bisimulation and Merge-and-Shrink Abstraction in Optimal Planning. 1983-1990
Angelo Oddi, Riccardo Rasconi, Amedeo Cesta, Stephen F. Smith:
Iterative Flattening Search for the Flexible Job Shop Scheduling Problem. 1991-1996
Dario Pacino, Pascal Van Hentenryck:
Large Neighborhood Search and Adaptive Randomized Decompositions for Flexible Jobshop Scheduling. 1997-2002
Fabio Patrizi, Nir Lipovetzky, Giuseppe De Giacomo, Hector Geffner:
Computing Infinite Plans for LTL Goals Using a Classical Planner. 2003-2008
Miquel Ramírez, Hector Geffner:
Goal Recognition over POMDPs: Inferring the Intention of a POMDP Agent. 2009-2014
Guy Shani, Ronen I. Brafman:
Replanning in Domains with Partial Information and Sensing Actions. 2021-2026
Matthijs T. J. Spaan, Frans A. Oliehoek, Christopher Amato:
Scaling Up Optimal Heuristic Search in Dec-POMDPs via Incremental Expansion. 2027-2032
Son Thanh To, Enrico Pontelli, Tran Cao Son:
On the Effectiveness of CNF and DNF Representations in Contingent Planning. 2033-2038

Robotics and Vision
Deepak Bhadauria, Volkan Isler:
Capturing an Evader in a Polygonal Environment with Obstacles. 2054-2059
Laura M. Hiatt, Anthony M. Harrison, J. Gregory Trafton:
Accommodating Human Variability in Human-Robot Teams through Theory of Mind. 2066-2071
Zhaoyin Jia, Ashutosh Saxena, Tsuhan Chen:
Robotic Object Detection: Learning to Improve the Classifiers Using Sparse Graphs for Path Planning. 2072-2078
Zijian Zhao:
Conics with a Common Axis of Symmetry: Properties and Applications to Camera Calibration. 2079-1084
Vincent Wenchen Zheng, Qiang Yang:
User-Dependent Aspect Model for Collaborative Activity Recognition. 2085-2090
Uncertainty in AI


Cassio Polpo de Campos, Alessio Benavoli:
Inference with Multinomial Data: Why to Weaken the Prior Strength. 2107-2112
Haris Dindo, Daniele Zambuto, Giovanni Pezzulo:
Motor Simulation via Coupled Internal Models Using Sequential Monte Carlo. 2113-2119
Hélène Fargier, Gildas Jeantet, Olivier Spanjaard:
Resolute Choice in Sequential Decision Problems with Multiple Priors. 2120-2125
Aurélie Favier, Simon de Givry, Andrés Legarra, Thomas Schiex:
Pairwise Decomposition for Combinatorial Optimization in Graphical Models. 2126-2132
Andreas Krause, Alex Roper, Daniel Golovin:
Randomized Sensing in Adversarial Environments. 2133-2139
Akshat Kumar, Shlomo Zilberstein, Marc Toussaint:
Scalable Multiagent Planning Using Probabilistic Inference. 2140-2146

Kevin Regan, Craig Boutilier:
Eliciting Additive Reward Functions for Markov Decision Processes. 2159-2164
Roberto Rossi, Brahim Hnich, S. Armagan Tarim, Steven David Prestwich:
Finding (α, ϑ)-Solutions via Sampled SCSPs. 2172-2177
Guy Van den Broeck, Nima Taghipour, Wannes Meert, Jesse Davis, Luc De Raedt:
Lifted Probabilistic Inference by First-Order Knowledge Compilation. 2178-2185
Changhe Yuan, Brandon M. Malone, XiaoJian Wu:
Learning Optimal Bayesian Networks Using A* Search. 2186-2191
Julio H. Zaragoza, Luis Enrique Sucar, Eduardo F. Morales, Concha Bielza, Pedro Larrañaga:
Bayesian Chain Classifiers for Multidimensional Classification. 2192-2197
Web and Knowledge-Based Information Systems
Joshua Akehurst, Irena Koprinska, Kalina Yacef, Luiz Augusto Sangoi Pizzato, Judy Kay, Tomasz Rej:
CCR - A Content-Collaborative Reciprocal Recommender for Online Dating. 2199-2204
Danushka Bollegala, Yutaka Matsuo, Mitsuru Ishizuka:
Relation Adaptation: Learning to Extract Novel Relations with Minimum Supervision. 2205-2210
Yunbo Cao, Zhiyuan Chen, Jiamin Zhu, Pei Yue, Chin-Yew Lin, Yong Yu:
Leveraging Unlabeled Data to Scale Blocking for Record Linkage. 2211-2217
Emprise Y. K. Chan, Dit-Yan Yeung:
A Convex Formulation of Modularity Maximization for Community Detection. 2218-2225
Bernardo Cuenca Grau, Giorgos Stoilos:
What to Ask to an Incomplete Semantic Web Reasoner?. 2226-2231
Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider:
The Modular Structure of an Ontology: Atomic Decomposition. 2232-2237
Aaron Gerow, Mark T. Keane:
Mining the Web for the "Voice of the Herd" to Track Stock Market Bubbles. 2244-2249
Harry Halpin, Victor Lavrenko:
Relevance Feedback between Web Search and the Semantic Web. 2250-2255
Ben Horsburgh, Susan Craw, Stewart Massie, Robin Boswell:
Finding the Hidden Gems: Recommending Untagged Music. 2256-2261
Tomoharu Iwata, Shinji Wanatabe, Hiroshi Sawada:
Fashion Coordinates Recommender System Using Photographs from Fashion Magazines. 2262-2267
Yingzi Jin, Ching-Yung Lin, Yutaka Matsuo, Mitsuru Ishizuka:
Mining Longitudinal Network for Predicting Company Value. 2268-2273
Saurabh Kataria, Prasenjit Mitra, Cornelia Caragea, C. Lee Giles:
Context Sensitive Topic Models for Author Influence in Document Networks. 2274-2280
Arpit Khurdiya, Lipika Dey, Nidhi Raj, S. K. Mirajul Haque:
Multi-Perspective Linking of News Articles within a Repository. 2281-2286
Bin Li, Xingquan Zhu, Ruijiang Li, Chengqi Zhang, Xiangyang Xue, Xindong Wu:
Cross-Domain Collaborative Filtering over Time. 2293-2298
Makoto Nakatsuji, Yasuhiro Fujiwara, Toshio Uchiyama, Ko Fujimura:
User Similarity from Linked Taxonomies: Subjective Assessments of Items. 2305-2311
Axel-Cyrille Ngonga Ngomo, Sören Auer:
LIMES - A Time-Efficient Approach for Large-Scale Link Discovery on the Web of Data. 2312-2317
Weike Pan, Nathan Nan Liu, Evan Wei Xiang, Qiang Yang:
Transfer Learning to Predict Missing Ratings via Heterogeneous User Feedbacks. 2318-2323
Jeff Pasternack, Dan Roth:
Making Better Informed Trust Decisions with Generalized Fact-Finding. 2324-2329
Yangqiu Song, Haixun Wang, Zhongyuan Wang, Hongsong Li, Weizhu Chen:
Short Text Conceptualization Using a Probabilistic Knowledgebase. 2330-2336
Jintao Tang, Ting Wang, Qin Lu, Ji Wang, Wenjie Li:
A Wikipedia Based Semantic Graph Model for Topic Tracking in Blogsphere. 2337-2342
Leting Wu, Xiaowei Ying, Xintao Wu, Zhi-Hua Zhou:
Line Orthogonality in Adjacency Eigenspace with Application to Community Partition. 2349-2354
Evan Wei Xiang, Sinno Jialin Pan, Weike Pan, Jian Su, Qiang Yang:
Source-Selection-Free Transfer Learning. 2355-2360
Danqing Xu, Yiqun Liu, Min Zhang, Shaoping Ma, Anqi Cui, Liyun Ru:
Predicting Epidemic Tendency through Search Behavior Analysis. 2361-2366
Songhua Xu, Hao Jiang, Francis Chi-Moon Lau:
Mining User Dwell Time for Personalized Web Search Re-Ranking. 2367-2372
Richong Zhang, Thomas T. Tran, Yongyi Mao:
Recommender Systems from "Words of Few Mouths". 2379-2384
Special Track on Integrated and Embedded Artificial Intelligence
Alejandro Agostini, Carme Torras, Florentin Wörgötter:
Integrating Task Planning and Interactive Learning for Robots to Work in Human Environments. 2386-2391
Marco Bozzano, Alessandro Cimatti, Marco Roveri, Andrei Tchaltsev:
A Comprehensive Approach to On-Board Autonomy Verification and Validation. 2398-2403
Huanhuan Chen, Anthony G. Cohn:
Buried Utility Pipeline Mapping Based on Multiple Spatial Data Sources: A Bayesian Data Fusion Approach. 2411-2417
Hong-Jie Dai, Wei-Chi Tsai, Richard Tzong-Han Tsai, Wen-Lian Hsu:
Enhancing Search Results with Semantic Annotation Using Augmented Browsing. 2418-2423
Hieu-Chi Dam, Tu Bao Ho, Ayumu Sugiyama:
Simulation-Based Data Mining Solution to the Structure of Water Surrounding Proteins. 2424-2429
Tiansi Dong, Ulrich Furbach, Ingo Glöckner, Björn Pelzer:
A Natural Language Question Answering System as a Participant in Human Q&A Portals. 2430-2435
Martin Field, Stephanie Valentine, Julie Linsey, Tracy Hammond:
Sketch Recognition Algorithms for Comparing Complex and Unpredictable Shapes. 2436-2441
Marc Hanheide, Charles Gretton, Richard Dearden, Nick Hawes, Jeremy L. Wyatt, Andrzej Pronobis, Alper Aydemir, Moritz Göbelbecker, Hendrik Zender:
Exploiting Probabilistic Knowledge under Uncertain Sensing for Efficient Robot Behaviour. 2442-2449
Ulit Jaidee, Héctor Muñoz-Avila, David W. Aha:
Integrated Learning for Goal-Driven Autonomy. 2450-2455
Rongrong Ji, Ling-Yu Duan, Jie Chen, Hongxun Yao, Tiejun Huang, Wen Gao:
Learning Compact Visual Descriptor for Low Bit Rate Mobile Landmark Search. 2456-2463
Da Kuang, Xiao Li, Charles X. Ling:
A New Search Engine Integrating Hierarchical Browsing and Keyword Search. 2464-2469
Yen-Ling Kuo, Jane Yung-jen Hsu:
Resource-Bounded Crowd-Sourcing of Commonsense Knowledge. 2470-2475


Sameep Mehta, Girish Chafle, Gyana R. Parija, Vikas Kedia:
A System for Providing Differentiated QoS in Retail Banking. 2494-2499
Sildomar T. Monteiro, Joop van de Ven, Fabio Ramos, Peter Hatherly:
Learning 3D Geological Structure from Drill-Rig Sensors for Automated Mining. 2500-2506
Nozomi Nori, Danushka Bollegala, Mitsuru Ishizuka:
Interest Prediction on Multinomial, Time-Evolving Social Graph. 2507-2512
Jean Oh, Felipe Meneguzzi, Katia P. Sycara, Timothy J. Norman:
An Agent Architecture for Prognostic Reasoning Assistance. 2513-2518
Ismael Pascual-Nieto, Olga C. Santos, Diana Pérez-Marín, Jesus Boticario:
Extending Computer Assisted Assessment Systems with Natural Language Processing, User Modeling, and Recommendations Based on Human Computer Interaction and Data Mining. 2519-2524
Dhirendra Singh, Sebastian Sardiña, Lin Padgham, Geoff James:
Integrating Learning into a BDI Agent for Environments with Changing Dynamics. 2525-2530
Maarika Teose, Kiyan Ahmadizadeh, Eoin O'Mahony, Rebecca L. Smith, Zhao Lu, Stephen P. Ellner, Carla P. Gomes, Yrjo Grohn:
Embedding System Dynamics in Agent Based Models for Complex Adaptive Systems. 2531-2538
Zhongtang Zhao, Yiqiang Chen, Junfa Liu, Zhiqi Shen, Mingjie Liu:
Cross-People Mobile-Phone Based Activity Recognition. 2545-2550
Yabin Zheng, Chen Li, Maosong Sun:
CHIME: An Efficient Error-Tolerant Chinese Pinyin Input Method. 2551-2556
Best Paper Track

Saleema Amershi, Bongshin Lee, Ashish Kapoor, Ratul Mahajan, Blaine Christian:
Human-Guided Machine Learning for Fast and Accurate Network Alarm Triage. 2564-2569
Eli Ben-Sasson, Jan Johannsen:
Lower Bounds for Width-Restricted Clause Learning on Formulas of Small Width. 2570-2575
Wei Chen, Zhenming Liu, Xiaorui Sun, Yajun Wang:
Community Detection in Social Networks through Community Formation Games. 2576-2581
Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli:
Exploring Protein Fragment Assembly Using CLP. 2590-2595
Ulle Endriss, Sarit Kraus, Jérôme Lang, Michael Wooldridge:
Incentive Engineering for Boolean Games. 2602-2607
Stefano Ermon, Carla P. Gomes, Bart Selman:
A Flat Histogram Method for Computing the Density of States of Combinatorial Problems. 2608-2613
Andrew M. Finch, Wei Song, Kumiko Tanaka-Ishii, Eiichiro Sumita:
picoTrans: Using Pictures as Input for Machine Translation on Mobile Devices. 2614-2619
Maria Fox, Derek Long, Daniele Magazzeni:
Automatic Construction of Efficient Multiple Battery Usage Policies. 2620-2625
Martin Gebser, Orkunt Sabuncu, Torsten Schaub:
Finite Model Computation via Answer Set Programming. 2626-2631
Yuxiao Hu, Hector J. Levesque:
A Correctness Result for Reasoning about One-Dimensional Planning Problems. 2638-2643
Mohsen Jamali, Martin Ester:
A Transitivity Aware Matrix Factorization Model for Recommendation in Social Networks. 2644-2649
Jens Kober, Erhan Öztop, Jan Peters:
Reinforcement Learning to Adjust Robot Movements to New Situations. 2650-2655
Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev:
The Combined Approach to Ontology-Based Data Access. 2656-2661
Kalliopi Kravari, Constantinos Papatheodorou, Grigoris Antoniou, Nick Bassiliades:
Reasoning and Proofing Services for Semantic Web Agents. 2662-2667
Ranjitha Kumar, Jerry O. Talton, Salman Ahmad, Tim Roughgarden, Scott R. Klemmer:
Flexible Tree Matching. 2674-2679
David B. Leake, Jay H. Powell:
Enhancing Case Adaptation with Introspective Reasoning and Web Mining. 2680-2685
Benjamin M. Marlin, Richard S. Zemel, Sam T. Roweis, Malcolm Slaney:
Recommender Systems, Missing Data and Statistical Model Estimation. 2686-2691
Dimitrios Mavroeidis:
Mind the Eigen-Gap, or How to Accelerate Semi-Supervised Spectral Learning Algorithms. 2692-2697
Svetlana Obraztsova, Edith Elkind, Noam Hazon:
Ties Matter: Complexity of Voting Manipulation Revisited. 2698-2703
Heather S. Packer, Nicholas Gibbins, Nicholas R. Jennings:
An On-Line Algorithm for Semantic Forgetting. 2704-2709
James Pita, Milind Tambe, Christopher Kiekintveld, Shane Cullen, Erin Steigerwald:
GUARDS - Innovative Application of Game Theory for National Airport Security. 2710-2715
Purnamrita Sarkar, Deepayan Chakrabarti, Andrew W. Moore:
Theoretical Justification of Popular Link Prediction Heuristics. 2722-2727
Christophe Senot, Dimitre Kostadinov, Makram Bouzid, Jérôme Picault, Armen Aghasaryan:
Evaluation of Group Profiling Strategies. 2728-2733
Shai Shalev-Shwartz, Ohad Shamir, Karthik Sridharan:
Learning Linear and Kernel Predictors with the 0-1 Loss Function. 2740-2745
Mike Smith, Ingmar Posner, Paul M. Newman:
Adaptive Data Compression for Robot Perception. 2746-2751
Javier Vélez, Garrett Hemann, Albert S. Huang, Ingmar Posner, Nicholas Roy:
Active Exploration for Robust Object Detection. 2752-2757
Shenghui Wang, Paul T. Groth:
A Framework for Longitudinal Influence Measurement between Communication Content and Social Networks. 2758-2763
Jason Weston, Samy Bengio, Nicolas Usunier:
WSABIE: Scaling Up to Large Vocabulary Image Annotation. 2764-2770
Koji Yatani, Michael Novati, Andrew Trusty, Khai N. Truong:
Analysis of Adjective-Noun Word Pair Extraction Methods for Online Review Summarization. 2771-2776
Hsiang-Fu Yu, Cho-Jui Hsieh, Kai-Wei Chang, Chih-Jen Lin:
Large Linear Classification When Data Cannot Fit in Memory. 2777-2782
Doctoral Consortium



Jnaneshwar Das:
Statement of Thesis Research: Multi-Robot Sampling Strategies for Large-Scale Oceanographic Experiments. 2790-2791
Márcio Dorn, Luciana S. Buriol, Luís C. Lamb:
Combining Machine Learning and Optimization Techniques to Determine 3-D Structures of Polypeptides. 2794-2795
Sergio Esparcia, Estefania Argente, Vicente J. Botti:
An Agent-Oriented Software Engineering Methodology to Develop Adaptive Virtual Organizations. 2796-2797
Daniel S. Farenzena, Ricardo M. Araujo, Luís C. Lamb:
Towards Social Problem-Solving with Human Subjects. 2798-2799
David Feil-Seifer:
Towards Spatial Methods for Socially Assistive Robotics: Validation with Children with Autism Spectrum Disorders. 2800-2801

William Groves:
Combining Spatial and Temporal Aspects of Prediction Problems to Improve Prediction Performance. 2806-2807

Patricia Gutierrez, Pedro Meseguer:
Distributed Constraint Optimization Problems Related with Soft Arc Consistency. 2812-2813


Andrew Koster, Jordi Sabater-Mir, W. Marco Schorlemmer:
Talking about Trust in Heterogeneous Multi-Agent Systems. 2820-2821
Elisa Marengo, Matteo Baldoni, Cristina Baroglio:
On Temporal Regulations and Commitment Protocols. 2824-2825

James P. McGlothlin, Latifur Khan, Bhavani M. Thuraisingham:
RDFKB: A Semantic Web Knowledge Base. 2830-2831

Víctor Ponce-López, Mario Gorga, Xavier Baró, Sergio Escalera:
Human Behavior Analysis from Video Data Using Bag-of-Gestures. 2836-2837
Sindhu V. Raghavan:
Bayesian Abductive Logic Programs: A Probabilistic Logic for Abductive Reasoning. 2840-2841
Gavin Rens:
From an Agent Logic to an Agent Programming Language for Partially Observable Stochastic Domains. 2842-2843







Ko-Hsin Cindy Wang:
Tractable Massively Multi-Agent Pathfinding with Solution Quality and Completeness Guarantees. 2860-2861
Kerstin Wendt, Ana Cortés:
Input Parameter Calibration in Forest Fire Spread Prediction: Taking the Intelligent Way. 2862-2863





Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
