IJCAI 2011
482 papers
A Dynamic Logic of Normative Systems
Andreas Herzig, Emiliano Lorini, Frédéric Moisan, Nicolas Troquard A Neural-Symbolic Cognitive Agent for Online Learning and Reasoning
Leo de Penning, Artur S. d'Avila Garcez, Luís C. Lamb, John-Jules Ch. Meyer Accelerating Best Response Calculation in Large Extensive Games
Michael Johanson, Kevin Waugh, Michael H. Bowling, Martin Zinkevich Active Exploration for Robust Object Detection
Javier Vélez, Garrett Hemann, Albert S. Huang, Ingmar Posner, Nicholas Roy Agent-Based Negotiation Teams
Víctor Sánchez-Anguix, Vicente Julián, Ana García-Fornes Agent-Oriented Incremental Team and Activity Recognition
Daniele Masato, Timothy J. Norman, Wamberto Weber Vasconcelos, Katia P. Sycara Aggregating Dependency Graphs into Voting Agendas in Multi-Issue Elections
Stéphane Airiau, Ulle Endriss, Umberto Grandi, Daniele Porello, Joel Uckelman An Agent Architecture for Prognostic Reasoning Assistance
Jean Oh, Felipe Meneguzzi, Katia P. Sycara, Timothy J. Norman An On-Line Algorithm for Semantic Forgetting
Heather S. Packer, Nicholas Gibbins, Nicholas R. Jennings Angular Decomposition
Dengdi Sun, Chris H. Q. Ding, Bin Luo, Jin Tang Approximation-Guided Evolutionary Multi-Objective Optimization
Karl Bringmann, Tobias Friedrich, Frank Neumann, Markus Wagner Attack Semantics for Abstract Argumentation
Serena Villata, Guido Boella, Leendert W. N. van der Torre Automatic State Abstraction from Demonstration
Luis C. Cobo, Peng Zang, Charles Lee Isbell Jr., Andrea Lockerd Thomaz Bayesian Chain Classifiers for Multidimensional Classification
Julio H. Zaragoza, Luis Enrique Sucar, Eduardo F. Morales, Concha Bielza, Pedro Larrañaga Bayesian Policy Search with Policy Priors
David Wingate, Noah D. Goodman, Daniel M. Roy, Leslie Pack Kaelbling, Joshua B. Tenenbaum Behaviour Recognition in Smart Homes
Sook-Ling Chua, Stephen Marsland, Hans W. Guesgen Belief Base Rationalization for Propositional Merging
Sébastien Konieczny, Pierre Marquis, Nicolas Schwind Belief Management for High-Level Robot Programs
Stephan Gspandl, Ingo Pill, Michael Reip, Gerald Steinbauer, Alexander Ferrein Bounded Intention Planning
Jason Andrew Wolfe, Stuart Russell CCR - A Content-Collaborative Reciprocal Recommender for Online Dating
Joshua Akehurst, Irena Koprinska, Kalina Yacef, Luiz Augusto Sangoi Pizzato, Judy Kay, Tomasz Rej Changing One's Mind: Erase or Rewind?
Célia da Costa Pereira, Andrea Tettamanzi, Serena Villata Computing Infinite Plans for LTL Goals Using a Classical Planner
Fabio Patrizi, Nir Lipovetzky, Giuseppe De Giacomo, Hector Geffner Concept Labeling: Building Text Classifiers with Minimal Supervision
Vijil Chenthamarakshan, Prem Melville, Vikas Sindhwani, Richard D. Lawrence Consequence-Based Reasoning Beyond Horn Ontologies
Frantisek Simancik, Yevgeny Kazakov, Ian Horrocks Considerate Equilibrium
Martin Hoefer, Michal Penn, Maria Polukarov, Alexander Skopalik, Berthold Vöcking Constituent Grammatical Evolution
Loukas Georgiou, William John Teahan Constraint Programming on Infinite Data Streams
Arnaud Lallouet, Yat Chiu Law, Jimmy Ho-Man Lee, Charles F. K. Siu Constraint Satisfaction Problems: Convexity Makes AllDifferent Constraints Tractable
Michael R. Fellows, Tobias Friedrich, Danny Hermelin, Nina Narodytska, Frances A. Rosamond Continuous Correlated Beta Processes
Robby Goetschalckx, Pascal Poupart, Jesse Hoey Cross-Domain Collaborative Filtering over Time
Bin Li, Xingquan Zhu, Ruijiang Li, Chengqi Zhang, Xiangyang Xue, Xindong Wu Cross-People Mobile-Phone Based Activity Recognition
Zhongtang Zhao, Yiqiang Chen, Junfa Liu, Zhiqi Shen, Mingjie Liu Dealing with Concept Drift and Class Imbalance in Multi-Label Stream Classification
Eleftherios Spyromitros Xioufis, Myra Spiliopoulou, Grigorios Tsoumakas, Ioannis P. Vlahavas Distance Metric Learning Under Covariate Shift
Bin Cao, Xiaochuan Ni, Jian-Tao Sun, Gang Wang, Qiang Yang Distribution-Aware Online Classifiers
Tam T. Nguyen, Kuiyu Chang, Siu Cheung Hui Diversity Regularized Machine
Yang Yu, Yufeng Li, Zhi-Hua Zhou Dynamic Sanctioning for Robust and Cost-Efficient Norm Compliance
Daniel Villatoro, Giulia Andrighetto, Jordi Sabater-Mir, Rosaria Conte Dynamics of Profit-Sharing Games
John Augustine, Ning Chen, Edith Elkind, Angelo Fanelli, Nick Gravin, Dmitry Shiryaev Embedding System Dynamics in Agent Based Models for Complex Adaptive Systems
Maarika Teose, Kiyan Ahmadizadeh, Eoin O'Mahony, Rebecca L. Smith, Zhao Lu, Stephen P. Ellner, Carla P. Gomes, Yrjö T. Gröhn Evaluation of Group Profiling Strategies
Christophe Senot, Dimitre Kostadinov, Makram Bouzid, Jérôme Picault, Armen Aghasaryan Exploiting Probabilistic Knowledge Under Uncertain Sensing for Efficient Robot Behaviour
Marc Hanheide, Charles Gretton, Richard Dearden, Nick Hawes, Jeremy L. Wyatt, Andrzej Pronobis, Alper Aydemir, Moritz Göbelbecker, Hendrik Zender Exploring Protein Fragment Assembly Using CLP
Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli Facing Openness with Socio-Cognitive Trust and Categories
Matteo Venanzi, Michele Piunti, Rino Falcone, Cristiano Castelfranchi Fast Algorithm for Affinity Propagation
Yasuhiro Fujiwara, Go Irie, Tomoe Kitahara Fast Anomaly Detection for Streaming Data
Swee Chuan Tan, Kai Ming Ting, Fei Tony Liu Finding "Unexplained" Activities in Video
Massimiliano Albanese, Cristian Molinaro, Fabio Persia, Antonio Picariello, V. S. Subrahmanian Finding (α, Θ)-Solutions via Sampled SCSPs
Roberto Rossi, Brahim Hnich, S. Armagan Tarim, Steven D. Prestwich Finding the Hidden Gems: Recommending Untagged Music
Ben Horsburgh, Susan Craw, Stewart Massie, Robin Boswell Finite-Length Markov Processes with Constraints
François Pachet, Pierre Roy, Gabriele Barbieri Flexible Tree Matching
Ranjitha Kumar, Jerry O. Talton, Salman Ahmad, Tim Roughgarden, Scott R. Klemmer Flexible, High Performance Convolutional Neural Networks for Image Classification
Dan Claudiu Ciresan, Ueli Meier, Jonathan Masci, Luca Maria Gambardella, Jürgen Schmidhuber Generalizing ADOPT and BnB-ADOPT
Patricia Gutierrez, Pedro Meseguer, William Yeoh Generalizing Envy-Freeness Toward Group of Agents
Taiki Todo, Runcong Li, Xuemei Hu, Takayuki Mouri, Atsushi Iwasaki, Makoto Yokoo GUARDS - Innovative Application of Game Theory for National Airport Security
James Pita, Milind Tambe, Christopher Kiekintveld, Shane Cullen, Erin Steigerwald Human Behavior Analysis from Video Data Using Bag-of-Gestures
Víctor Ponce-López, Mario Gorga, Xavier Baró, Sergio Escalera Human-Guided Machine Learning for Fast and Accurate Network Alarm Triage
Saleema Amershi, Bongshin Lee, Ashish Kapoor, Ratul Mahajan, Blaine Christian Imitation Learning in Relational Domains: A Functional-Gradient Boosting Approach
Sriraam Natarajan, Saket Joshi, Prasad Tadepalli, Kristian Kersting, Jude W. Shavlik Improving Topic Evaluation Using Conceptual Knowledge
Claudiu Cristian Musat, Julien Velcin, Stefan Trausan-Matu, Marian-Andrei Rizoiu Incentive Engineering for Boolean Games
Ulle Endriss, Sarit Kraus, Jérôme Lang, Michael J. Wooldridge Incorporating Reviewer and Product Information for Review Rating Prediction
Fangtao Li, Nathan Nan Liu, Hongwei Jin, Kai Zhao, Qiang Yang, Xiaoyan Zhu Incremental Slow Feature Analysis
Varun Raj Kompella, Matthew D. Luciw, Jürgen Schmidhuber Integrated Learning for Goal-Driven Autonomy
Ulit Jaidee, Héctor Muñoz-Avila, David W. Aha Interval-Based Possibilistic Logic
Salem Benferhat, Julien Hué, Sylvain Lagrue, Julien Rossit Kernels for Global Constraints
Serge Gaspers, Stefan Szeider Large Hinge Width on Sparse Random Hypergraphs
Tian Liu, Xiaxiang Lin, Chaoyi Wang, Kaile Su, Ke Xu Learning Cause Identifiers from Annotator Rationales
Muhammad Arshad Ul Abedin, Vincent Ng, Latifur Khan Learning to Identify Review Spam
Fangtao Li, Minlie Huang, Yi Yang, Xiaoyan Zhu Leveraging Unlabeled Data to Scale Blocking for Record Linkage
Yunbo Cao, Zhiyuan Chen, Jiamin Zhu, Pei Yue, Chin-Yew Lin, Yong Yu Lifted Probabilistic Inference by First-Order Knowledge Compilation
Guy Van den Broeck, Nima Taghipour, Wannes Meert, Jesse Davis, Luc De Raedt Lifted Relational Kalman Filtering
Jaesik Choi, Abner Guzmán-Rivera, Eyal Amir Log-Linear Description Logics
Mathias Niepert, Jan Noessner, Heiner Stuckenschmidt Managed Multi-Context Systems
Gerhard Brewka, Thomas Eiter, Michael Fink, Antonius Weinzierl Manipulating Boolean Games Through Communication
John Grant, Sarit Kraus, Michael J. Wooldridge, Inon Zuckerman Manipulation in Group Argument Evaluation
Martin Caminada, Gabriella Pigozzi, Mikolaj Podlaszewski Minimum Satisfiability and Its Applications
Chu Min Li, Zhu Zhu, Felip Manyà, Laurent Simon Mining Longitudinal Network for Predicting Company Value
Yingzi Jin, Ching-Yung Lin, Yutaka Matsuo, Mitsuru Ishizuka Model Checking Knowledge in Pursuit Evasion Games
Xiaowei Huang, Patrick Maupin, Ron van der Meyden Multi-Agent Soft Constraint Aggregation via Sequential Voting
Giorgio Dalla Pozza, Maria Silvia Pini, Francesca Rossi, K. Brent Venable Multi-Kernel Multi-Label Learning with Max-Margin Concept Network
Wei Zhang, Xiangyang Xue, Jianping Fan, Xiaojing Huang, Bin Wu, Mingjie Liu Non-Linear Monte-Carlo Search in Civilization II
S. R. K. Branavan, David Silver, Regina Barzilay OCS-14 : You Can Get Occluded in Fourteen Ways
Prithwijit Guha, Amitabha Mukerjee, K. S. Venkatesh On Temporal Regulations and Commitment Protocols
Elisa Marengo, Matteo Baldoni, Cristina Baroglio On the Complexity of the Core over Coalition Structures
Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello Open Information Extraction: The Second Generation
Oren Etzioni, Anthony Fader, Janara Christensen, Stephen Soderland, Mausam Parametric Properties of Ideal Semantics
Wolfgang Dvorák, Paul E. Dunne, Stefan Woltran Point-Based Value Iteration for Constrained POMDPs
Dongho Kim, Jaesong Lee, Kee-Eung Kim, Pascal Poupart Predicting Epidemic Tendency Through Search Behavior Analysis
Danqing Xu, Yiqun Liu, Min Zhang, Shaoping Ma, Anqi Cui, Liyun Ru Query Reasoning on Trees with Types, Interleaving, and Counting
Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt RDFKB: A Semantic Web Knowledge Base
James P. McGlothlin, Latifur Khan, Bhavani Thuraisingham Reasoning and Proofing Services for Semantic Web Agents
Kalliopi Kravari, Constantinos Papatheodorou, Grigoris Antoniou, Nick Bassiliades Recommender Systems, Missing Data and Statistical Model Estimation
Benjamin M. Marlin, Richard S. Zemel, Sam T. Roweis, Malcolm Slaney Revising Horn Theories
James P. Delgrande, Pavlos Peppas Rigging Tournament Brackets for Weaker Players
Isabelle Stanton, Virginia Vassilevska Williams Short Text Conceptualization Using a Probabilistic Knowledgebase
Yangqiu Song, Haixun Wang, Zhongyuan Wang, Hongsong Li, Weizhu Chen Similarity-Based Approach for Positive and Unlabeled Learning
Yanshan Xiao, Bo Liu, Jie Yin, Longbing Cao, Chengqi Zhang, Zhifeng Hao Social Distance Games
Simina Brânzei, Kate Larson Source-Selection-Free Transfer Learning
Evan Wei Xiang, Sinno Jialin Pan, Weike Pan, Jian Su, Qiang Yang Space Defragmentation Heuristic for 2D and 3D Bin Packing Problems
Zhaoyi Zhang, Songshan Guo, Wenbin Zhu, Wee-Chong Oon, Andrew Lim Succinctness of Epistemic Languages
Tim French, Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi Symmetries and Lazy Clause Generation
Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda, Christopher Mears Tackling the Partner Units Configuration Problem
Markus Aschinger, Conrad Drescher, Georg Gottlob, Peter Jeavons, Evgenij Thorstensen The Combined Approach to Ontology-Based Data Access
Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev The Modular Structure of an Ontology: Atomic Decomposition
Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider The Multi-Inter-Distance Constraint
Pierre Ouellet, Claude-Guy Quimper Towards More Expressive Cake Cutting
Ioannis Caragiannis, John K. Lai, Ariel D. Procaccia Towards Scalable MDP Algorithms
Andrey Kolobov, Mausam, Daniel S. Weld Towards Social Problem-Solving with Human Subjects
Daniel S. Farenzena, Ricardo M. Araújo, Luís C. Lamb Tractable Set Constraints
Manuel Bodirsky, Martin Hils, Alex Krimkevitch Trust Decision-Making in Multi-Agent Systems
Chris Burnett, Timothy J. Norman, Katia P. Sycara Using Cases as Heuristics in Reinforcement Learning: A Transfer Learning Application
Luiz A. Celiberto, Jackson Paul Matsuura, Ramón López de Mántaras, Reinaldo A. C. Bianchi Using Experience to Generate New Regulations
Javier Morales, Maite López-Sánchez, Marc Esteva Using Multiple Models to Understand Data
Kayur Patel, Steven Mark Drucker, James Fogarty, Ashish Kapoor, Desney S. Tan Walking the Complexity Lines for Generalized Guarded Existential Rules
Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph, Michaël Thomazo