IJCAI 2013 533 papers
A Brain-Computer Interface to a Plan-Based Narrative
Stephen William Gilroy, Julie Porteous, Fred Charles, Marc Cavazza, Eyal Soreq, Gal Raz, Limor Ikar, Ayelet Or-Borichov, Udi Ben-Arie, Ilana Klovatch, Talma Hendler A Case-Based Solution to the Cold-Start Problem in Group Recommenders
Lara Quijano Sánchez, Derek G. Bridge, Belén Díaz-Agudo, Juan Antonio Recio-García A Computational Model for Corruption Assessment
Nidhi Rajshree, Nirmit Desai, Biplav Srivastava A Framework for Short-Term Activity-Aware Load Forecasting
Yong Ding, Martin Alexander Neumann, Per Goncalves da Silva, Michael Beigl A Probabilistic Approach to Latent Cluster Analysis
Zhipeng Xie, Rui Dong, Zhengheng Deng, Zhenying He, Weidong Yang Abstract Dialectical Frameworks Revisited
Gerhard Brewka, Hannes Strass, Stefan Ellmauthaler, Johannes Peter Wallner, Stefan Woltran Action Language BC: Preliminary Report
Joohyung Lee, Vladimir Lifschitz, Fangkai Yang Active Evaluation of Ranking Functions Based on Graded Relevance (Extended Abstract)
Christoph Sawade, Steffen Bickel, Timo von Oertzen, Tobias Scheffer, Niels Landwehr Active Learning Based on Local Representation
Yao Hu, Debing Zhang, Zhongming Jin, Deng Cai, Xiaofei He Cite
Active Learning for Level Set Estimation
Alkis Gotovos, Nathalie Casati, Gregory Hitz, Andreas Krause Active Learning from Relative Queries
Buyue Qian, Xiang Wang, Fei Wang, Hongfei Li, Jieping Ye, Ian Davidson Adaptive Management of Migratory Birds Under Sea Level Rise
Samuel Nicol, Olivier Buffet, Takuya Iwamura, Iadine Chades Agent Failures in All-Pay Auctions
Yoad Lewenberg, Omer Lev, Yoram Bachrach, Jeffrey S. Rosenschein Algorithm Portfolios Based on Cost-Sensitive Hierarchical Clustering
Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann An Efficient Vector-Based Representation for Coalitional Games
Long Tran-Thanh, Tri-Dung Nguyen, Talal Rahwan, Alex Rogers, Nicholas R. Jennings An Ensemble of Bayesian Networks for Multilabel Classification
Alessandro Antonucci, Giorgio Corani, Denis Deratani Mauá, Sandra Gabaglio An Epistemic Halpern-Shoham Logic
Alessio Lomuscio, Jakub Michaliszyn Analogico-Deductive Generation of Gödel's First Incompleteness Theorem from the Liar Paradox
John Licato, Naveen Sundar Govindarajulu, Selmer Bringsjord, Michael Pomeranz, Logan Gittelson Audit Games
Jeremiah Blocki, Nicolas Christin, Anupam Datta, Ariel D. Procaccia, Arunesh Sinha Automated Grading of DFA Constructions
Rajeev Alur, Loris D'Antoni, Sumit Gulwani, Dileep Kini, Mahesh Viswanathan Automatic Interface Optimization Through Random Exploration of Available Elements
Leonardo Anjoletto Ferreira, Andrey Araujo Masiero, Plinio Thomaz Aquino Jr., Reinaldo Augusto da Costa Bianchi Automatic Name-Face Alignment to Enable Cross-Media News Retrieval
Yuejie Zhang, Wei Wu, Yang Li, Cheng Jin, Xiangyang Xue, Jianping Fan Backdoors to Abduction
Andreas Pfandler, Stefan Rümmele, Stefan Szeider Bargaining for Revenue Shares on Tree Trading Networks
Arpita Ghosh, Satyen Kale, Kevin J. Lang, Benjamin Moseley Bayesian Joint Inversions for the Exploration of Earth Resources
Alistair Reid, Simon Timothy O'Callaghan, Edwin V. Bonilla, Lachlan McCalman, Tim Rawling, Fabio Ramos Bayesian Optimization in High Dimensions via Random Embeddings
Ziyu Wang, Masrour Zoghi, Frank Hutter, David Matheson, Nando de Freitas Bootstrap Learning via Modular Concept Discovery
Eyal Dechter, Jonathan Malmaud, Ryan P. Adams, Joshua B. Tenenbaum Bounded Epistemic Situation Calculus Theories
Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi Breaking Symmetries in Graph Representation
Michael Codish, Alice Miller, Patrick Prosser, Peter James Stuckey Case Adaptation with Qualitative Algebras
Valmi Dufour-Lussier, Florence Le Ber, Jean Lieber, Laura Martin Cicerone: Design of a Real-Time Area Knowledge-Enhanced Venue Recommender
Daniel Villatoro, Jordi Aranda, Marc Planagumà, Rafael Giménez, Marc Torrent-Moreno CLiMF: Collaborative Less-Is-More Filtering
Yue Shi, Alexandros Karatzoglou, Linas Baltrunas, Martha A. Larson, Nuria Oliver, Alan Hanjalic Coalitional Games via Network Flows
Talal Rahwan, Tri-Dung Nguyen, Tomasz P. Michalak, Maria Polukarov, Madalina Croitoru, Nicholas R. Jennings Communicating Open Systems: Extended Abstract
Mark d'Inverno, Michael Luck, Pablo Noriega, Juan A. Rodríguez-Aguilar, Carles Sierra Computational Analysis of Connectivity Games with Applications to the Investigation of Terrorist Networks
Tomasz P. Michalak, Talal Rahwan, Piotr L. Szczepanski, Oskar Skibski, Ramasuri Narayanam, Nicholas R. Jennings, Michael J. Wooldridge Computing Datalog Rewritings Beyond Horn Ontologies
Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks Concept Generation in Language Evolution
Martha Anne Flinders Lewis, Jonathan Lawry Constraint Acquisition via Partial Queries
Christian Bessiere, Remi Coletta, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Toby Walsh Context-Dependent Conceptualization
Dongwoo Kim, Haixun Wang, Alice Oh Controlling the Hypothesis Space in Probabilistic Plan Recognition
Froduald Kabanza, Julien Filion, Abder Rezak Benaskeur, Hengameh Irandoust Crowdsourcing Backdoor Identification for Combinatorial Optimization
Ronan LeBras, Richard Bernstein, Carla P. Gomes, Bart Selman, R. Bruce van Dover Data Repair of Inconsistent DL-Programs
Thomas Eiter, Michael Fink, Daria Stepanova Defender (Mis)coordination in Security Games
Albert Xin Jiang, Ariel D. Procaccia, Yundi Qian, Nisarg Shah, Milind Tambe Democratizing Mobile App Development for Disaster Management
Fuming Shih, Oshani Seneviratne, Ilaria Liccardi, Evan W. Patton, Patrick Meier, Carlos Castillo Detecting and Exploiting Subproblem Tractability
Christian Bessiere, Clément Carbonnel, Emmanuel Hebrard, George Katsirelos, Toby Walsh Discovering Alignments in Ontologies of Linked Data
Rahul Parundekar, Craig A. Knoblock, José Luis Ambite Double-Wheel Graphs Are Graceful
Ronan LeBras, Carla P. Gomes, Bart Selman Efficiently Solving Joint Activity Based Security Games
Eric Anyung Shieh, Manish Jain, Albert Xin Jiang, Milind Tambe Estimating Reference Evapotranspiration for Irrigation Management in the Texas High Plains
Daniel Ellis Holman, Mohan Sridharan, Prasanna Gowda, Dana Porter, Thomas H. Marek, Terry Howell, Jerry E. Moorhead Euler Clustering
Jian-Sheng Wu, Wei-Shi Zheng, Jian-Huang Lai Exact Recovery of Sparse-Used Dictionaries
Huan Wang, Daniel A. Spielman, John Wright Cite
Exchanging OWL 2 QL Knowledge Bases
Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov Externalities in Cake Cutting
Simina Brânzei, Ariel D. Procaccia, Jie Zhang Fault-Tolerant Planning Under Uncertainty
Luis Enrique Pineda, Yi Lu, Shlomo Zilberstein, Claudia V. Goldman Forecast Oriented Classification of Spatio-Temporal Extreme Events
Zhengzhang Chen, Yusheng Xie, Yu Cheng, Kunpeng Zhang, Ankit Agrawal, Wei-keng Liao, Nagiza F. Samatova, Alok N. Choudhary Forecasting Multi-Appliance Usage for Smart Home Energy Management
Ngoc Cuong Truong, James McInerney, Long Tran-Thanh, Enrico Costanza, Sarvapali D. Ramchurn Forward Perimeter Search with Controlled Use of Memory
Thorsten Schütt, Robert Döbbelin, Alexander Reinefeld Generalized Biwords for Bitext Compression and Translation Spotting: Extended Abstract
Felipe Sánchez-Martínez, Rafael C. Carrasco, Miguel A. Martínez-Prieto, Joaquín Adiego Handling Open Knowledge for Service Robots
Xiaoping Chen, Jian-Min Ji, Zhiqiang Sui, Jiongkun Xie Harmonious Hashing
Bin Xu, Jiajun Bu, Yue Lin, Chun Chen, Xiaofei He, Deng Cai Identifying Useful Human Correction Feedback from an On-Line Machine Translation Service
Alberto Barrón-Cedeño, Lluís Màrquez, Carlos A. Henríquez Q., Lluís Formiga, Enrique Romero, Jonathan May Improving the Effectiveness of Time-Based Display Advertising
Daniel Gray Goldstein, R. Preston McAfee, Siddharth Suri Cite
Improving Traffic Prediction with Tweet Semantics
Jingrui He, Wei Shen, Phani Divakaruni, Laura Wynter, Rick Lawrence Inference for a New Probabilistic Constraint Logic
Steffen Michels, Arjen Hommersom, Peter J. F. Lucas, Marina Velikova, Pieter W. M. Koopman Information Fusion Based Learning for Frugal Traffic State Sensing
Vikas Joshi, Nithya Rajamani, Takayuki Katsuki, Naveen Prathapaneni, L. Venkata Subramaniam Intention-Aware Routing to Minimise Delays at Electric Vehicle Charging Stations
Mathijs Michiel de Weerdt, Enrico H. Gerding, Sebastian Stein, Valentin Robu, Nicholas R. Jennings Iterated Boolean Games
Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge Just-in-Time Compilation of Knowledge Bases
Gilles Audemard, Jean-Marie Lagniez, Laurent Simon Knowledge Compilation for Model Counting: Affine Decision Trees
Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas Language-Based Games
Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass Large Scale Online Kernel Classification
Steven C. H. Hoi, Jialei Wang, Peilin Zhao, Jinfeng Zhuang, Zhiyong Liu Large-Scale Spectral Clustering on Graphs
Jialu Liu, Chi Wang, Marina Danilevsky, Jiawei Han Learning Model Rules from High-Speed Data Streams
Ezilda Almeida, Carlos Abreu Ferreira, João Gama Leveraging Multi-Domain Prior Knowledge in Topic Models
Zhiyuan Chen, Arjun Mukherjee, Bing Liu, Meichun Hsu, Malú Castellanos, Riddhiman Ghosh Linear Bayesian Reinforcement Learning
Nikolaos Tziortziotis, Christos Dimitrakakis, Konstantinos Blekas Link Label Prediction in Signed Social Networks
Priyanka Agrawal, Vikas K. Garg, Ramasuri Narayanam Machine Learning for Interactive Systems and Robots: A Brief Introduction
Heriberto Cuayáhuitl, Martijn van Otterlo, Nina Dethlefs, Lutz Frommberger Machine-Learning-Based Circuit Synthesis
Lior Rokach, Meir Kalech, Gregory M. Provan, Alexander Feldman Mining for Analogous Tuples from an Entity-Relation Graph
Danushka Bollegala, Mitsuru Kusumoto, Yuichi Yoshida, Ken-ichi Kawarabayashi MiningZinc: A Modeling Language for Constraint-Based Mining
Tias Guns, Anton Dries, Guido Tack, Siegfried Nijssen, Luc De Raedt Monte Carlo *-Minimax Search
Marc Lanctot, Abdallah Saffidine, Joel Veness, Christopher Archibald, Mark H. M. Winands Multi-Agent Subset Space Logic
Yi Nicholas Wang, Thomas Ågotnes Multi-Agent Team Formation: Diversity Beats Strength?
Leandro Soriano Marcolino, Albert Xin Jiang, Milind Tambe Multi-Dimensional Causal Discovery
Ulrich Schaechtle, Kostas Stathis, Stefano Bromuri Nominal Schema Absorption
Andreas Steigmiller, Birte Glimm, Thorsten Liebig Non-Negative Multiple Matrix Factorization
Koh Takeuchi, Katsuhiko Ishiguro, Akisato Kimura, Hiroshi Sawada On Computing Minimal Correction Subsets
João Marques-Silva, Federico Heras, Mikolás Janota, Alessandro Previti, Anton Belov On Recommending Urban Hotspots to Find Our Next Passenger
Luís Moreira-Matias, Ricardo Fernandes, João Gama, Michel Ferreira, João Mendes-Moreira, Luís Damas On the Challenges of Balancing Privacy and Utility of Open Health Data
Christian Guttmann, Xingzhi Sun, Chaitanya Rao, Carlos Queiroz, Benjamin I. P. Rubinstein On the Complexity of Trick-Taking Card Games
Edouard Bonnet, Florian Jamain, Abdallah Saffidine Online Group Feature Selection
Jing Wang, Zhong-Qiu Zhao, Xuegang Hu, Yiu-ming Cheung, Meng Wang, Xindong Wu Online Hashing
Long-Kai Huang, Qiang Yang, Wei-Shi Zheng Opponent Modelling in Persuasion Dialogues
Christos Hadjinikolis, Yiannis Siantos, Sanjay Modgil, Elizabeth Black, Peter McBurney Optimal Pricing for Improving Efficiency of Taxi Systems
Jiarui Gan, Bo An, Haizhong Wang, Xiaoming Sun, Zhongzhi Shi Optimal Valve Placement in Water Distribution Networks with CLP(FD)
Massimiliano Cattafi, Marco Gavanelli, Maddalena Nonato, Stefano Alvisi, Marco Franchini Optimally Solving Dec-POMDPs as Continuous-State MDPs
Jilles Steeve Dibangoye, Christopher Amato, Olivier Buffet, François Charpillet Optimizing Cepstral Features for Audio Classification
Zhouyu Fu, Guojun Lu, Kai Ming Ting, Dengsheng Zhang PageRank with Priors: An Influence Propagation Perspective
Biao Xiang, Qi Liu, Enhong Chen, Hui Xiong, Yi Zheng, Yu Yang Parameter Learning for Latent Network Diffusion
XiaoJian Wu, Akshat Kumar, Daniel Sheldon, Shlomo Zilberstein Parametric Local Multimodal Hashing for Cross-View Similarity Search
Deming Zhai, Hong Chang, Yi Zhen, Xianming Liu, Xilin Chen, Wen Gao Pareto-Based Multiobjective AI Planning
Mostepha Redouane Khouadjia, Marc Schoenauer, Vincent Vidal, Johann Dréo, Pierre Savéant Personalized Diagnosis for Over-Constrained Problems
Alexander Felfernig, Monika Schubert, Stefan Reiterer Preference-Based Query Answering in Datalog+/- Ontologies
Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo Ignacio Simari Protein Function Prediction by Integrating Multiple Kernels
Guo-Xian Yu, Huzefa Rangwala, Carlotta Domeniconi, Guoji Zhang, Zili Zhang Reasoning About Normative Update
Natasha Alechina, Mehdi Dastani, Brian Logan Recommendation Using Textual Opinions
Claudiu Cristian Musat, Yizhong Liang, Boi Faltings Revisiting Regression in Planning
Vidal Alcázar, Daniel Borrajo, Susana Fernández, Raquel Fuentetaja Robust Median Reversion Strategy for On-Line Portfolio Selection
Dingjiang Huang, Junlong Zhou, Bin Li, Steven C. H. Hoi, Shuigeng Zhou Robust Optimization for Hybrid MDPs with State-Dependent Noise
Zahra Zamani, Scott Sanner, Karina Valdivia Delgado, Leliane Nunes de Barros Robust Tensor Clustering with Non-Greedy Maximization
Xiaochun Cao, Xingxing Wei, Yahong Han, Yi Yang, Dongdai Lin Rolling Dispersion for Robot Teams
Elizabeth A. Jensen, Maria L. Gini SCMF: Sparse Covariance Matrix Factorization for Collaborative Filtering
Jianping Shi, Naiyan Wang, Yang Xia, Dit-Yan Yeung, Irwin King, Jiaya Jia Semi-Supervised Learning with Manifold Fitted Graphs
Tongtao Zhang, Rongrong Ji, Wei Liu, Dacheng Tao, Gang Hua Smart Hashing Update for Fast Response
Qiang Yang, Long-Kai Huang, Wei-Shi Zheng, Yingbiao Ling Smoothing for Bracketing Induction
Xiangyu Duan, Min Zhang, Wenliang Chen Social Collaborative Filtering by Trust
Bo Yang, Yu Lei, Dayou Liu, Jiming Liu Social Spammer Detection in Microblogging
Xia Hu, Jiliang Tang, Yanchao Zhang, Huan Liu Social Trust Prediction Using Rank-K Matrix Recovery
Jin Huang, Feiping Nie, Heng Huang, Yu Lei, Chris H. Q. Ding Sound, Complete, and Minimal Query Rewriting for Existential Rules
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo Strategic Interactions Among Agents with Bounded Rationality
Pablo Hernandez-Leal, Enrique Munoz de Cote, Luis Enrique Sucar Subset Selection of Search Heuristics
D. Chris Rayner, Nathan R. Sturtevant, Michael Bowling Symbolic Merge-and-Shrink for Cost-Optimal Planning
Álvaro Torralba Arias de Reyna, Carlos Linares López, Daniel Borrajo Syntactic Labelled Tableaux for Lukasiewicz Fuzzy ALC
Agnieszka Kulacka, Dirk Pattinson, Lutz Schröder Cite
Synthesizing Union Tables from the Web
Xiao Ling, Alon Y. Halevy, Fei Wu, Cong Yu Target-Value Search Revisited
Carlos Linares López, Roni Stern, Ariel Felner Temporal Description Logic for Ontology-Based Data Access
Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev The Complexity of One-Agent Refinement Modal Logic
Laura Bozzelli, Hans van Ditmarsch, Sophie Pinchinat Three Generalizations of the FOCUS Constraint
Nina Narodytska, Thierry Petit, Mohamed Siala, Toby Walsh Toward Rational Deployment of Multiple Heuristics in a
David Tolpin, Tal Beja, Solomon Eyal Shimony, Ariel Felner, Erez Karpas Cite
Towards Active Event Recognition
Dimitri Ognibene, Yiannis Demiris Towards Effective Prioritizing Water Pipe Replacement and Rehabilitation
Junchi Yan, Yu Wang, Ke Zhou, Jin Huang, Chunhua Tian, Hongyuan Zha, Weishan Dong Tractable Queries for Lightweight Description Logics
Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus, Guohui Xiao Trend Template: Mining Trends with a Semi-Formal Trend Model
Olga Streibel, Lars Wißler, Robert Tolksdorf, Danilo Montesi Ubiquitous Self-Organizing Maps
Bruno Silva, Nuno Cavalheiro Marques Unlearning from Demonstration
Keith Sullivan, Ahmed ElMolla, Bill Squires, Sean Luke Variable Elimination in Binary CSP via Forbidden Patterns
David A. Cohen, Martin C. Cooper, Guillaume Escamocher, Stanislav Zivný Verifiable Equilibria in Boolean Games
Thomas Ågotnes, Paul Harrenstein, Wiebe van der Hoek, Michael J. Wooldridge Verification of Inconsistency-Aware Knowledge and Action Bases
Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov Weighted Path as a Condensed Pattern in a Single Attributed DAG
Jérémy Sanhes, Frédéric Flouvat, Claude Pasquier, Nazha Selmaoui-Folcher, Jean-François Boulicaut What Users Care About: A Framework for Social Content Alignment
Lei Hou, Juanzi Li, Xiaoli Li, Jiangfeng Qu, Xiaofei Guo, Ou Hui, Jie Tang