|
|
MONDAY, JULY 13, 2009
|
|
6:00pm to 6:45pm
|
IJCAI-09 OPENING CEREMONY
|
|
7:15pm to 9:00pm
|
IJCAI-09 OPENING RECEPTION
(Caltech Athenaeum)
|
|
|
TUESDAY, JULY 14, 2009
|
|
9:15 to 10:30am
|
IJCAI-09 KEYNOTE ADDRESS
Computer Mediated Transactions,
Hal R. Varian (University of California, Berkeley and Google)
|
|
10:30 to 11:00am
|
COFFEE BREAK
|
|
11:00 to 12:30pm
|
IJCAI-09 TECHNICAL SESSIONS
|
|
COGNITIVE AND PHILOSOPHICAL FOUNDATIONS
|
|
256
Is It Enough to Get the Behavior Right?
Hector J. Levesque
|
1045
A Logic for reasoning about Counterfactual Emotions
Emiliano Lorini, François Schwarzentruber
|
327
Towards Context Aware Emotional Intelligence in Machines: Computing Contextual Appropriate-
ness of Affective States
Michal Ptaszynski, Pawel Dybala, Wenhan Shi, Rafal Rzepka, Kenji Araki
|
414
Modeling Agents through Bounded Rationality Theories
Avi Rosenfeld, Sarit Kraus
|
|
PERFORMANCE AND BEHAVIOR MODELING IN GAMES
|
64
Analysis of a Winning Computational Billiards Player
Christopher Archibald, Alon Altman, Yoav Shoham |
1052
Learning a Value Analysis Tool for Agent Evaluation Martha White, Michael Bowling |
1527
Acquiring Agent-Based Models of Conflict from Event Data
Glenn Taylor, Michael Quist, Allen Hicken |
217
Using Reasoning Patterns to Help Humans Solve Complex Games
Dimitrios Antos, Avi Pfeffer |
|
DEPTH AND BREADTH FIRST SEARCH
|
605
Multi-Way Number Partitioning Richard E. Korf |
120
New Improvements in Optimal Rectangle Packing
Eric Huang, Richard E. Korf |
1323
Combining Breadth-First and Depth-First Strategies in Searching for Treewidth
Rong Zhou, Eric A. Hansen |
1507
Duplicate Avoidance in Depth-First Search with Applications to Treewidth
P. Alex Dow, Richard E. Korf |
|
TIME SERIES / ACTIVITY RECOGNITION
|
357
Topic Tracking Model for Analyzing Consumer Purchase Behavior Tomoharu Iwata, Shinji Watanabe, Takeshi Yamada, Naonori Ueda |
1433
Toward Unsupervised Activity Discovery Using Multi-Dimensional Motif Detection in Time Series
Alireza Vahdatpour, Navid Amini, Majid Sarrafzadeh |
51
Early Prediction on Time Series: A Nearest Neighbor Approach Zhengzheng Xing, Jian Pei, Philip S. Yu |
|
|
DIAGNOSIS AND TESTING
|
261
A New Bayesian Approach to Multiple Intermittent Fault Diagnosis
Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund |
1333
Diagnosing Multiple Persistent and Intermittent Faults
Johan de Kleer |
857
FRACTAL: Efficient Fault Isolation Using Active Testing Alexander Feldman, Gregory Provan, Arjan J. C. van Gemund |
|
|
AUTOMATED REASONING
|
47
Extending Decidable Cases for Rules with Existential Variables
Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Éric Salvat |
841
Knowledge Compilation Properties of Trees-of-BDDs, Revisited
Hélène Fargier, Pierre Marquis |
1180
Declarative Programming of Search Problems with Built-in Arithmetic
Eugenia Ternovska, David G. Mitchell |
1366
A New d-DNNF-Based Bound Computation Algorithm for Functional E-MAJSAT
Knot Pipatsrisawat, Adnan Darwiche
|
|
UNSUPERVISED LEARNING
|
1499
Multiple Information Sources Cooperative Learning Xingquan Zhu, Ruoming Jin |
493
Self-Managing Associative Memory for Dynamic Acquisition of Expertise in High-Level Domains
Jacob Beal |
1205
Search Techniques for Fourier-Based Learning
Adam Drake, Dan Ventura |
251
On-line Evolutionary Exponential Family Mixture Jianwen Zhang, Yangqiu Song, Gang Chen, Changshui Zhan |
|
12:30 to 2:00pm
|
LUNCH
|
|
2:00 to 3:30pm
|
IJCAI-09 TECHNICAL SESSIONS
|
|
SOCIAL CHOICE I: MANIPULATION
|
151
Complexity of Unweighted Coalitional Manipulation under Some Common Voting Rules
Lirong Xia, Michael Zuckerman, Ariel D. Procaccia, Vincent Conitzer, Jeffrey S. Rosenschein |
482
How Hard Is It to Control Sequential Elections via the Agenda?
Vincent Conitzer, Jérôme Lang, Lirong Xia |
445
Multimode Control Attacks on Elections
Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra |
77
Where Are the Really Hard Manipulation Problems? The Phase Transition in Manipulating the Veto Rule
Toby Walsh |
|
SEARCH IN GAMES
|
548
Evaluating Strategies for Running from the Cops
Carsten Moldenhauer, Nathan R. Sturtevant |
1233
Improving State Evaluation, Inference, and Search in Trick-Based Card Games
Michael Buro, Jeffrey R. Long, Timothy Furtak, Nathan Sturtevant |
153
Solving 8x8 Hex Philip Henderson, Broderick Arneson, Ryan B. Hayward |
219
Probabilistic State Translation in Extensive Games with Large Action Sets
David Schnizlein, Michael Bowling, Duane Szafron |
|
PLAN RECOGNITION
|
319
Abnormal Activity Recognition Based on HDP-HMM
Derek Hao Hu, Xian-Xing Zhang, Jie Yin, Vincent Wenchen Zheng, Qiang Yang |
1305
Activity Recognition with Intended Actions
Alfredo Gabaldon |
1003
Plan Recognition as Planning
Miguel Ramírez, Héctor Geffner |
498
Delaying Commitment in Plan Recognition Using Combinatory Categorial Grammars Christopher W. Geib |
|
ONTOLOGY MATCHING AND LEARNING
|
1368
Large-Scale Taxonomy Mapping for Restructuring and Integrating Wikipedia
Simone Paolo Ponzetto, Roberto Navigli |
697
Towards Ontology Learning from Folksonomies
Jie Tang, Ho-fung Leung, Qiong Luo, Dewei Chen, Jibin Gong |
188
Markov Network Based Ontology Matching
Sivan Albagli, Rachel Ben-Eliyahu-Zohary, Solomon E. Shimony |
996
Dynamic Selection of Ontological Alignments: A Space Reduction Mechanism
Paul Doran, Valentina Tamma, Terry R. Payne, Ignazio Palmisano |
|
SPATIAL REASONING
|
1286
On Combinations of Binary Qualitative Constraint Calculi
Stefan Wölfl, Matthias Westphal |
584
Combining RCC-8 with Qualitative Direction Calculi: Algorithms and Complexity Weiming Liu, Sanjiang Li, Jochen Renz |
431
Reasoning with Lines in the Euclidean Space Khalil Challita |
149
Euclidean and Mereological Qualitative Spaces: A Study of SCC and DCC
Stefano Borgo |
|
SEMI-SUPERVISED LEARNING I
|
671
Discriminative Semi-Supervised Feature Selection via Manifold Regularization Zenglin Xu, Rong Jin, Michael R. Lyu, Irwin King |
353
Selecting Informative Universum Sample for Semi-Supervised Learning
Shuo Chen, Changshui Zhang |
1039
Exponential Family Hybrid Semi-Supervised Learning
Arvind Agarwal, Hal Daumé III |
653
Semi-Supervised Classification Using Sparse Gaussian Process Regression
Amrish Patel, S. Sundararajan, Shirish Shevade |
|
MULTIMODAL INTERACTION
|
1266
Using Entropy to Distinguish Shape Versus Text in Hand-Drawn Diagrams
Akshay Bhat, Tracy Hammond |
1312
A Visual Approach to Sketched Symbol Recognition
Tom Y. Ouyang, Randall Davis |
1409
Combining Speech and Sketch to Interpret Unconstrained Descriptions of Mechanical Devices
David Tyler Bischel, Thomas Stahovich, Eric Peterson, Randall Davis, Aaron Adler |
1658
Exploiting Multi-Modal Interactions: A Unified Framework
Ming Li, Xiao-Bing Xue, Zhi-Hua Zhou |
|
3:30 to 4:00pm
|
COFFEE BREAK
|
|
4:00 to 5:10pm
|
IJCAI-09 TECHNICAL SESSIONS
|
|
ONLINE GAMES
|
|
1422
Wikispeedia: An Online Game for Inferring Semantic Distances between Concepts
Robert West, Joelle Pineau, Doina Precup
|
398
On the Tip of My Thought: Playing the Guillotine Game
Giovanni Semeraro, Pasquale Lops, Pierpaolo Basile, Marco de Gemmis
|
1250
Streamlining Attacks on CAPTCHAs with a Computer Game Jeff Yan, Su-Yang Yu
|
|
|
DISTRIBUTED CONSTRAINT SATISFACTION
|
105
DCOPs Meet the Real World: Exploring Unknown Reward Matrices with Applications to Mobile Sensor Networks
Manish Jain, Matthew Taylor, Milind Tambe, Makoto Yokoo |
11
Trading Off Solution Quality for Faster Computation in DCOP Search Algorithms
William Yeoh, Xiaoxun Sun, Sven Koenig |
948
Decentralised Coordination of Mobile Sensors Using the Max-Sum Algorithm
Ruben Stranders, Alessandro Farinelli, Alex Rogers, Nicholas R. Jennings |
|
|
MODEL-BASED DIAGNOSIS AND APPLICATIONS
|
229
Evaluating Abductive Hypotheses using an EM Algorithm on BDDs
Katsumi Inoue, Taisuke Sato, Masakazu Ishihata, Yoshitaka Kameya, Hidetomo Nabeshima |
989
Solving Strong-Fault Diagnostic Models by Model Relaxation Alexander Feldman, Gregory Provan, Arjan J. C. van Gemund |
1677
Plausible Repairs for Inconsistent Requirements Alexander Felfernig, Gerhard Friedrich, Monika Schubert, Monika Mandl, Markus
Mairitsch, Erich Teppan |
|
|
CAUSALITY AND GRAPHICAL MODELS
|
610
Large Margin Boltzmann Machines
Xu Miao, Rajesh P. N. Rao |
1287
Parameter Identification in a Class of Linear Structural Equation Models
Jin Tian |
614
Testing Edges by Truncations
Ilya Shpitser, Thomas S. Richardson, James M. Robins |
|
|
TRANSFER LEARNING
|
1166
Transfer Learning Using Task-Level Features with Application to Information Retrieval
Rong Yan, Jian Zhang |
965
Transfer Learning from Minimal Target Data by Mapping across Relational Domains
Lilyana Mihalkova, Raymond J. Mooney |
106
Domain Adaptation via Transfer Component Analysis
Sinno Jialin Pan, Ivor W. Tsang, James T. Kwok, Qiang Yang |
|
|
POMDPs I
|
1177
Topological Order Planner for POMDPs
Jilles Steeve Dibangoye, Guy Shani, Brahim Chaib-draa, Abdel-Illah Mouaddib |
951
Maintaining Predictions over Time without a Model
Erik Talvitie, Satinder Singh |
1201
Speeding Up Exact Solutions of Interactive Dynamic Influence Diagrams Using Action Equivalence
Yifeng Zeng, Prashant Doshi |
|
|
WORD SENSE DISAMBIGUATION
|
101
Knowledge-Based WSD and Specific Domains: Performing Better than Generic Supervised WSD Eneko Agirre, Oier Lopez de Lacalle, Aitor Soroa |
1577
Word Sense Disambiguation for All Words without Hard Labor
Zhi Zhong, Hwee Tou Ng |
1123
Web-Scale N-gram Models for Lexical Disambiguation
Shane Bergsma, Dekang Lin, Randy Goebel |
|
|
5:30 to 6:15pm
|
COMPUTERS AND THOUGHT AWARD LECTURE
How Optimized Environmental Sensing Helps Address Information Overload on the Web
Carlos Guestrin (Carnegie Mellon University, USA)
|
|
6:15 to 7:00pm
|
COMPUTERS AND THOUGHT AWARD LECTURE
STAIR: The STanford Artificial Intelligence Robot Project
Andrew Y. Ng (Stanford University, USA)
|
|
|
WEDNESDAY, JULY 15, 2009
|
|
9:00 to 10:05am
|
IJCAI-09 INVITED SPEAKER
Embodied Language Games with Autonomous Robots
Luc Steels (Sony Computer Science Laboratory and Paris/University of Brussels) |
| 9:00 to 10:30am |
IJCAI-09 TECHNICAL SESSIONS |
| RECOMMENDER SYSTEMS |
376
Sketching Techniques for Collaborative Filtering
Yoram Bachrach, Ely Porat, Jeffrey S. Rosenschein |
242
Can Movies and Books Collaborate? Cross-Domain Collaborative Filtering for Sparsity Reduction
Bin Li, Qiang Yang, Xiangyang Xue |
1588
A Content-Based Method to Enhance Tag Recommendation Yu-Ta Lu, Shoou-I Yu, Tsung-Chieh Chang, Jane Yung-jen Hsu |
889
Spatial Processes for Recommender Systems
Fabian Bohnert, Daniel F. Schmidt, Ingrid Zukerman |
| SATISFIABILITY I: EXTENSIONS AND APPLICATIONS |
564
Control-Based Clause Sharing in Parallel SAT Solving
Youssef Hamadi, Said Jabbour, Lakhdar Sais |
1084
On Solving Boolean Multilevel Optimization Problems
Josep Argelich, Inês Lynce, Joao Marques-Silva |
966
Qualitative CSP, Finite CSP, and SAT: Comparing Methods for Qualitative Constraint-based Reasoning
Matthias Westphal, Stefan Wölfl |
232
A Structural Approach to Reasoning with Quantified Boolean Formulas
Luca Pulina, Armando Tacchella |
| MULTIAGENT PLANNING AND LEARNING |
287
Event-Detecting Multi-Agent MDPs: Complexity and Constant-Factor Approximations
Akshat Kumar, Shlomo Zilberstein |
659
Incremental Heuristic Search for Planning with Temporally Extended Goals and Uncontrollable Events
Adi Botea, André A. Ciré |
553
Planning Games Ronen I. Brafman, Carmel Domshlak, Yagil Engel, Moshe Tennenholtz |
1414
Learning Graphical Game Models
Quang Duong, Yevgeniy Vorobeychik, Satinder Singh, Michael P. Wellman |
| 10:30 to 11:00am |
COFFEE BREAK |
| 11:00 12:30pm |
IJCAI-09 TECHNICAL SESSIONS |
|
ROBOTICS: MULTIROBOT PLANNING |
|
1218
Adversarial Uncertainty in Multi-Robot Patrol
Noa Agmon, Sarit Kraus, Gal A. Kaminka, Vladimir Sadov |
500
Algorithms and Complexity Results for Pursuit-Evasion Problems
Richard Borie, Craig Tovey, Sven Koenig |
626
Tractable Multi-Agent Path Planning on Grid Maps
Ko-Hsin Cindy Wang, Adi Botea |
1007
A Distributed Control Loop for Autonomous Recovery in a Multi-Agent Plan
Roberto Micalizio |
|
PREFERENCES: LEARNING I |
|
550
Preference Learning with Extreme Examples
Fei Wang, Bin Zhang, Ta-Hsin Li, Wen Jun Yin, Jin Dong, Tao Li |
902
The Complexity of Learning Separable ceteris paribus Preferences Jérôme Lang, Jérôme Mengin |
1191
Ceteris Paribus Preference Elicitation with Predictive Guarantees
Yannis Dimopoulos, Loizos Michael, Fani Athienitou |
289
Learning Conditional Preference Networks with Queries
Frédéric Koriche, Bruno Zanuttini |
|
SEARCH AND LEARNING |
|
318
Efficient Dominant Point Algorithms for the Multiple Longest Common Subsequence (MLCS) Problem Qingguo Wang, Dmitry Korkin, Yi Shang |
828
Search Strategies for an Anytime Usage of the Branch and Prune Algorithm
Raphael Chenouard, Alexandre Goldsztejn, Christophe Jermann |
310
Goal-Driven Learning in the GILA Integrated Intelligence Architecture Jainarayan Radhakrishnan, Santiago Ontañón, Ashwin Ram |
986
Angluin-Style Learning of NFA
Benedikt Bollig, Peter Habermehl, Carsten Kern, Martin Leucker |
|
MULTIAGENT RESOURCE ALLOCATION |
|
415
Expressive Power-Based Resource Allocation for Data Centers Benjamin Lubin, Jeffrey O. Kephart, Rajarshi Das, David C. Parkes |
644
Online Stochastic Optimization in the Large: Application to Kidney Exchange
Pranjal Awasthi, Tuomas Sandholm |
739
K-Swaps: Cooperative Negotiation for Solving Task-Allocation Problems
Xiaoming Zheng, Sven Koenig |
1412
A Multi-Agent Learning Approach to Online Distributed Resource Allocation Chongjie Zhang, Victor Lesser, Prashant Shenoy |
| ARGUMENTATION I |
35
A Characterisation of Strategy-Proofness for Grounded Argumentation Semantics Iyad Rahwan, Kate Larson, Fernando Tohmé |
792
Repairing Preference-Based Argumentation Frameworks
Leila Amgoud, Srdjan Vesic |
207
Argumentation System with Changes of an Agent's Knowledge Base Kenichi Okuno, Kazuko Takahashi |
436
On the Accrual of Arguments in Defeasible Logic Programming Mauro Javier Gómez Lucero, Carlos I. Chesñevar, Guillermo R. Simari |
| EPISTEMIC LOGIC |
|
1008
Knowing More — From Global to Local Correspondence
Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi |
920
Nominals for Everyone
Lutz Schröder, Dirk Pattinson, Clemens Kupke |
528
A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu |
30
Which Semantics for Neighbourhood Semantics? Carlos Areces, Diego Figueira |
| SEMI-SUPERVISED LEARNING II: APPLICATIONS |
577
Simultaneous Discovery of Conservation Laws and Hidden Particles with Smith Matrix Decomposition Oliver Schulte |
597
Semi-Supervised Classification on Evolutionary Data
Yangqing Jia, Shuicheng Yan, Changshui Zhang |
686
Semi-Supervised Regression for Evaluating Convenience Store Location
Xinxin Bai, Gang Chen, Qiming Tian, Wenjun Yin, Jin Dong |
1478
Semi-Supervised Learning of Visual Classifiers from Web Images and Text
Nicholas Morsillo, Christopher Pal, Randal Nelson |
|
12:30 to 2:00pm
|
LUNCH |
|
2:00 to 3:05pm
|
IJCAI-09 INVITED TALK
Rubinstein in the Phase Plane, Madonna in Feature Space: How AI Changes the Way We See (and Hear) and Deal with Music
Gerhard Widmer (Johannes Kepler University Linz and Austrian Research Institute for Artificial Intelligence, Vienna, Austria) |
| 2:00 to 3:30pm |
IJCAI-09 TECHNICAL SESSIONS |
| HTN PLANNING |
1116
Learning Probabilistic Hierarchical Task Networks to Capture User Preferences
Nan Li, Subbarao Kambhampati, Sungwook Yoon |
1247
Translating HTNs to PDDL: A Small Amount of Domain Knowledge Can Go a Long Way, Ronald Alford, Ugur Kuter, Dana Nau
|
1012
HTN Planning with Preferences Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith |
667
Learning HTN Method Preconditions and Action Models from Partial Observations Hankz Hankui Zhuo, Derek Hao Hu, Chad Hogg, Qiang Yang, Hector Munoz-Avila |
| COALITIONAL GAMES |
|
811
On the Complexity of Compact Coalitional Games
Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello
|
263
Coalitional Affinity Games and the Stability Gap
Simina Brânzei, Kate Larson |
213
Simple Coalitional Games with Beliefs
Georgios Chalkiadakis, Edith Elkind, Nicholas R. Jennings |
786
Coalition Structure Generation in Multi-Agent Systems with Positive and Negative Externalities
Talal Rahwan, Tomasz Michalak, Nicholas R. Jennings, Michael Wooldridge, Peter McBurney |
| UNSUPERVISED LEARNING II |
1256
On the Equivalence between Canonical Correlation Analysis and Orthonormal-
ized Partial Least Squares
Liang Sun, Shuiwang Ji, Shipeng Yu, Jieping Ye |
328
Relation Regularized Matrix Factorization Wu-Jun Li, Dit-Yan Yeung |
640
Spectral Embedded Clustering
Feiping Nie, Dong Xu, Ivor W. Tsang, Changshui Zhang |
341
Knowledge Driven Dimension Reduction for Clustering
Ian Davidson |
|
3:30 to 4:00pm
|
COFFEE BREAK |
|
4:00 to 5:30pm
|
IJCAI-09 TECHNICAL SESSIONS
|
| HEURISTIC SEARCH |
126
Canadian Traveler Problem With Remote Sensing
Zahy Bnaya, Ariel Felner, Solomon Eyal Shimony |
1184
Minimum Proof Graphs and Fastest-Cut-First Search Heuristics Timothy Furtak, Michael Buro |
306
Memory-Based Heuristics for Explicit State Spaces
Nathan R. Sturtevant, Ariel Felner, Max Barrer, Jonathan Schaeffer, Neil Burch |
302
Incremental Phi*: Incremental Any-Angle Path Planning on Grids
Alex Nash, Sven Koenig, Maxim Likhachev |
| CONSTRAINTS I: GLOBAL CONSTRAINTS |
361
Decomposi-
tions of All Different, Global Cardinality and Related Constraints Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh |
224
Circuit Complexity and Decompositions of Global Constraints Christian Bessiere, George Katsirelos, Nina Narodytska, Toby Walsh |
956
Open Contractible Global Constraints
Michael J. Maher |
485
A Soft Global Precedence Constraint
David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson |
| LOGIC PROGRAMMING I |
878
Local Query Mining in a Probabilistic Prolog
Angelika Kimmig, Luc De Raedt |
128
CTPPL: A Continuous Time Probabilistic Programming Language
Avi Pfeffer |
789
A Syntax-based Framework for Merging Imprecise Probabilistic Logic Programs Anbu Yue, Weiru Liu |
531
Next Steps in Propositional Horn Contraction Richard Booth, Thomas Meyer, Ivan José Varzinczak |
| MECHANISM DESIGN |
347
How Pervasive Is the Myerson-Satterthwaite Impossibility? Abraham Othman, Tuomas Sandholm |
383
A General Approach to Environment Design with One Agent
Haoqi Zhang, Yiling Chen, David Parkes |
1000
Eliciting Honest Reputation Feedback in a Markov Setting Jens Witkowski |
130
Strategyproof Classification with Shared Inputs
Reshef Meir, Ariel D. Procaccia, Jeffrey S. Rosenschein |
| REASONING ABOUT ACTION I |
418
An Argumenta-
tion-Based Interpreter for Golog Programs Michelle L. Blom, Adrian R. Pearce |
1340
On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond
Yongmei Liu, Gerhard Lakemeyer |
1086
A Semantical Account of Progression in the Presence of Defaults
Gerhard Lakemeyer, Hector J. Levesque |
749
Composition of ConGolog Programs Sebastian Sardina, Giuseppe De Giacomo |
| CLUSTERING |
682
Adaptive Cluster Ensemble Selection
Javad Azimi, Xiaoli Fern |
883
Generalized Clustergrams for Overlapping Biclusters
Liviu Badea |
474
Generalized Cluster Aggregation
Fei Wang, Xin Wang, Tao Li |
582
M3IC: Maximum Margin Multiple Instance Clustering
Dan Zhang, Fei Wang, Luo Si, Tao Li |
| TEXT SUMMARIZATION and UNDERSTANDING |
366
Learning to Follow Navigational Route Instructions Nobuyuki Shimizu, Andrew Haas |
1427
Interpreting Written How-To Instructions
Tessa Lau, Clemens Drews, Jeffrey Nichols |
375
Graph-Based Multi-Modality Learning for Topic-Focused Multi-Document Summarization
Xiaojun Wan, Jianguo Xiao |
919
Reading Between the Lines
Loizos Michael |
|
7:00 to 10:30pm
|
IJCAI-09 BANQUET
California Science Center,
Exposition Park, Los Angeles |
|
|
THURSDAY, JULY 16, 2009
|
|
9:00 to 10:05am
|
IJCAI-09 INVITED TALK
Intelligent Tutoring Systems: New Challenges and Directions,
Cristina Conati (University of British Columbia, Canada) |
|
9:00 to 10:30am
|
IJCAI-09 TECHNICAL SESSIONS |
| PREFERENCES: LEARNING II |
1181
Suggesting Email View Filters for Triage and Search
Mark Dredze, Bill N. Schilit, Peter Norvig |
1193
Unsupervised Rank Aggregation with Domain-Specific Expertise Alexandre Klementiev, Dan Roth, Kevin Small, Ivan Titov |
529
Learning Optimal Subsets with Implicit User Preferences Yunsong Guo, Carla Gomes |
492
Ranking Structured Documents: A Large Margin Based Approach for Patent Prior Art Search Yunsong Guo, Carla Gomes |
| LOCAL AND ANYTIME SEARCH |
432
Local Search: Is Brute-Force Avoidable? Michael R. Fellows, Frances A. Rosamond, Fedor V. Fomin, Daniel Lokshtanov, Saket Saurabh, Yngve Villanger |
216
Fast Active Tabu Search and its Application to Image Retrieval Chao Zhang, Hongyu Li, Qiyong Guo, Jinyuan Jia, I-Fan Shen |
709
Investigations of Continual Computation Dafna Shahaf, Eric Horvitz |
1151
Interruptible Algorithms for Multi-Problem Solving
Spyros Angelopoulos, Alejandro López-Ortiz |
| GAME THEORY: SOLUTION CONCEPTS |
824
Multi-Step Multi-Sensor Hider-Seeker Games
Erik Halvorson, Vincent Conitzer, Ronald Parr |
1025
Iterated Regret Minimization: A New Solution Concept
Joseph Y. Halpern, Rafael Pass |
676
Computing Equilibria in Multiplayer Stochastic Games of Imperfect Information
Sam Ganzfried, Tuomas Sandholm |
791
Generalised Fictitious Play for a Continuum of Anonymous Players
Zinovi Rabinovich, Enrico Gerding, Maria Polukarov, Nicholas R. Jennings |
|
10:30 to 11:00am
|
COFFEE BREAK
|
|
11:00 to 12:30pm
|
IJCAI-09 TECHNICAL SESSIONS
|
|
SOCIAL CHOICE II: VOTING
|
|
1307
Finite Local Consistency Characterizes Generalized Scoring Rules Lirong Xia, Vincent Conitzer
|
18
Nonmanipulable Selections from a Tournament
Alon Altman, Ariel D. Procaccia, Moshe Tennenholtz |
351
A Dichotomy Theorem on the Existence of Efficient or Neutral Sequential Voting Correspondences
Lirong Xia, Jérôme Lang |
488
A Multivariate Complexity Analysis of Determining Possible Winners Given Incomplete Votes
Nadja Betzler, Susanne Hemmann, Rolf Niedermeier |
| CONSTRAINTS II |
1642
Russian Doll Search with Tree Decomposition
Marti Sanchez, David Allouche, Simon de Givry, Thomas Schiex |
1157
Exploiting Decomposition on Constraint Problems with High Tree-Width Matthew Kitching, Fahiem Bacchus |
916
Towards Efficient Consistency Enforcement for Global Constraints in Weighted Constraint Satisfaction
Jimmy H. M. Lee, Ka Lun Leung |
410
Making Bound Consistency as Effective as Arc Consistency Christian Bessiere, Thierry Petit, Bruno Zanuttini |
| OPTIMAL PLANNING |
903
Optimal Symbolic Planning with Action Costs and Preferences Stefan Edelkamp, Peter Kissmann |
1352
Planning with Partial Preference Models
Tuan A. Nguyen, Minh B. Do, Subbarao Kambhampati, Biplav Srivastava |
385
Completeness and Optimality Preserving Reduction for Planning
Yixin Chen, Guohui Yao |
374
Cost-Optimal Planning with Landmarks
Erez Karpas, Carmel Domshlak |
| DESCRIPTION LOGICS I: REASONING |
1376
Consequence-Driven Reasoning for Horn SHIQ Ontologies Yevgeny Kazakov |
1243
Effective Query Rewriting with Ontologies over DBoxes
Inanc Seylan, Enrico Franconi, Jos de Bruijn |
1267
Import-by-Query: Ontology Reasoning under Access Limitations Bernardo Cuenca Grau, Boris Motik, Yevgeny Kazakov |
505
Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers
Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev |
| METRIC LEARNING |
1057
Robust Distance Metric Learning with Auxiliary Knowledge Zheng-Jun Zha, Tao Mei, Meng Wang, Zengfu Wang, Xian-Sheng Hua |
1546
Non-Metric Label Propagation
Yin Zhang, Zhi-Hua Zhou |
22
Spectral Kernel Learning for Semi-Supervised Classification
Wei Liu, Buyue Qian, Jingyu Cui, Jianzhuang Li |
258
Semi-Supervised Metric Learning Using Pairwise Constraints Mahdieh Soleymani Baghshah, Saeed Bagheri Shouraki |
| POMDPs II |
210
Solving POMDPs: RTDP-Bel vs. Point-based Algorithms
Blai Bonet, Héctor Geffner |
1354
Information-Lookahead Planning for AUV Mapping
Zeyn A. Saigol, Richard W. Dearden, Jeremy L. Wyatt, Bramley J. Murton |
1139
Equivalence Relations in Fully and Partially Observable Markov Decision Processes
Pablo Samuel Castro, Prakash Panangaden, Doina Precup |
211
Greedy Algorithms for Sequential Sensing Decisions Hannaneh Hajishirzi, Afsaneh Shirazi, Jaesik Choi, Eyal Amir |
| MORPHOLOGY AND COUNTING |
641
Bootstrap Voting Experts
Daniel Hewlett, Paul Cohen |
718
Improving Morphology Induction by Learning Spelling Rules
Jason Naradowsky, Sharon Goldwater |
1281
Probabilistic Counting with Randomized Storage
Benjamin Van Durme, Ashwin Lall |
200
Succinct Approximate Counting of Skewed Data David Talbot |
|
12:30 to 2:00pm
|
LUNCH BREAK |
|
2:00 to 3:05pm
|
IJCAI-09 INVITED TALK
Machine Learning in Ecosystem Informatics and Sustainability,
Thomas G. Dietterich (Oregon State University) |
|
2:00 to 3:30pm
|
IJCAI-09 TECHNICAL SESSIONS |
| VISION and ROBOTICS I: NOVELTY |
1524
Domain-Guided Novelty Detection for Autonomous Exploration
David R. Thompson |
320
Spatio-Temporal Event Detection Using Dynamic Conditional Random Fields
Jie Yin, Derek Hao Hu, Qiang Yang |
276
Using Web Photos for Measuring Video Frame Interestingness
Feng Liu, Yuzhen Niu, Michael Gleicher |
519
Predictive Projections Nathan Sprague |
| PREFERENCES: GRAPHICAL MODELS |
70
Efficient Inference for Expressive Comparative Preference Languages
Nic Wilson |
870
Multiobjective Optimization using GAI Models
Jean-Philippe Dubus, Christophe Gonzales, Patrice Perny |
863
Fast Recommenda-
tions using GAI Models
Jean-Philippe Dubus, Christophe Gonzales, Patrice Perny |
508
Conditional Importance Networks: A Graphical Language for Representing Ordinal, Monotonic Preferences over Sets of Goods
Sylvain Bouveret, Ulle Endriss, Jérôme Lang |
| PLANNING: SEARCH TECHNIQUES |
1311
Monte-Carlo Exploration for Deterministic Planning
Hootan Nakhost, Martin Müller |
386
Stratified Planning
Yixin Chen, You Xu, Guohui Yao |
430
Trees of Shortest Paths vs. Steiner Trees: Understanding and Improving Delete Relaxation Heuristics
Emil Keyder, Héctor Geffner |
1030
Temporal Planning in Domains with Linear Processes Amanda Coles, Andrew Coles, Maria Fox, Derek Long |
|
3:30 to 4:00pm
|
COFFEE BREAK |
|
4:00 to 5:30pm
|
IJCAI-09 TECHNICAL SESSIONS |
| VISION and ROBOTICS II |
1375
Human Activity Encoding and Recognition Using Low-level Visual Features Zheshen Wang, Baoxin Li |
958
Self-Supervised Aerial Image Analysis for Extracting Parking Lot Structures
Young-Woo Seo, Nathan Ratliff, Chris Urmson |
1512
Drosophila Gene Expression Pattern Annotation through Multi-Instance Multi-Label Learning
Ying-Xin Li, Shuiwang Ji, Sudhir Kumar, Jieping Ye, Zhi-Hua Zhou |
579
Boosting Constrained Mutual Subspace Method for Robust Image-Set Based Object Recognition
Xi Li, Kazuhiro Fukui, Nanning Zheng |
| SOCIAL CHOICE III |
230
Preference Aggregation over Restricted Ballot Languages: Sincerity and Strategy-Proofness
Ulle Endriss, Maria Silvia Pini, Francesca Rossi, Brent Venable |
507
Preference Functions that Score Rankings and Maximum Likelihood Estimation
Vincent Conitzer, Matthew Rognlie, Lirong Xia |
549
Compiling the Votes of a Subelectorate Yann Chevaleyre, Jérôme Lang, Nicolas Maudet, Guillaume Ravilly-Abadie |
17
Thou Shalt Covet Thy Neighbor's Cake
Ariel D. Procaccia |
| ADVANCES IN A* SEARCH |
1055
A* Search with Inconsistent Heuristics
Zhifu Zhang, Nathan R. Sturtevant, Robert Holte, Jonathan Schaeffer, Ariel Felner |
1174
TBA*: Time-Bounded A* Yngvi Björnsson, Vadim Bulitko, Nathan Sturtevant |
94
Efficient Incremental Search for Moving Target Search
Xiaoxun Sun, William Yeoh, Sven Koenig |
456
Best-First Heuristic Search for Multi-Core Machines
Ethan Burns, Seth Lemons, Rong Zhou, Wheeler Ruml |
| CONTINGENT AND NONDETERMINISTIC PLANNING |
971
Structured Plans and Observation Reduction for Plans with Contexts
Wei Huang, Zhonghua Wen, Yunfei Jiang, Hong Peng |
275
A Translation-Based Approach to Contingent Planning Alexandre Albore, Héctor Palacios, Héctor Geffner |
1239
Learning Hierarchical Task Networks for Nondeterminis-
tic Planning Domains
Chad Hogg, Ugur Kuter, Héctor Muñoz-Avila |
1519
Strengthening Schedules through Uncertainty Analysis
Agents
Laura M. Hiatt, Terry L. Zimmerman, Stephen F. Smith, Reid Simmons |
| ACTIVITY AND GOAL RECOGNITION |
96
Sensing and Predicting the Pulse of the City through Shared Bicycling
Jon Froehlich, Joachim Neumann, Nuria Oliver |
1362
Efficient Online Learning and Prediction of Users' Desktop Actions
Omid Madani, Hung Bui, Eric Yeh |
1683
Probabilistic Models for Concurrent Chatting Activity Recognition
Chia-Chun Lian, Jane Yung-jen Hsu |
484
Goal Recognition with Variable-Order Markov Models
Marcelo G. Armentano, Analía Amandi |
| REASONING ABOUT ACTION II |
853
Automated Theorem Proving for General Game Playing
Stephan Schiffel, Michael Thielscher |
317
Circumscriptive Event Calculus as Answer Set Programming Tae-Won Kim, Joohyung Lee, Ravi Palla |
953
Reasoning with Knowledge, Action and Time in Dynamic and Uncertain Domains
Theodore Patkos, Dimitris Plexousakis |
303
Realising Deterministic Behavior from Multiple Non-Deterministic Behaviors
Thomas Ströder, Maurice Pagnucco |
| PARSING AND TRANSLATION |
927
Context-Based Approach for Pivot Translation Services
Rie Tanaka, Yohei Murakami, Toru Ishida |
1178
Explicit Versus Latent Concept Models for Cross-Language Information Retrieval
Philipp Cimiano, Antje Schultz, Sergej Sizov, Philipp Sorg, Steffen Staab |
190
Latent Variable Perception Algorithm for Structured Classification
Xu Sun, Takuya Matsuzaki, Daisuke Okanohara, Jun'ichi Tsuj |
1167
Online Graph Planarisation for Synchronous Parsing of Semantic and Syntactic Dependencies
Ivan Titov, James Henderson, Paola Merlo, Gabriele Musillo |
|
6:00 to 7:00pm
|
IJCAI-09 RESEARCH EXCELLENCE LECTURE
Scaling AI Through Multi-Agent Organizations,
Victor Lesser (University of Massachusetts Amherst, USA) |
|
FRIDAY, JULY 17, 2009
|
|
9:00 to 10:05am
|
IJCAI-09 INVITED TALK
From Low-level Sensors to High-level Intelligence: Activity Recognition Links the Knowledge Food Chain
Qiang Yang (Hong Kong University of Science and Technology) |
|
9:00 to 10:30am
|
IJCAI-09 TECHNICAL SESSIONS |
| COALITIONS AND COORDINATION |
1611
Collaboration and Shared Plans in the Open World: Studies of Ridesharing
Ece Kamar, Eric Horvitz |
806
Collaborative Multi Agent Physical Search with Probabilistic Knowledge
Noam Hazon, Yonatan Aumann, Sarit Kraus |
972
Dynamic Configuration of Agent Organizations Evan A. Sultanik, Robert N. Lass, William C. Regli |
976
A Logic for Coalitions with Bounded Resources
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib |
| LEARNING: DIMENSIONALITY REDUCTION |
143
Smart PCA
Yi Zhang |
135
Linear Dimensional-
ity Reduction for Multi-label Classification Shuiwang Ji, Jieping Ye |
598
Bayesian Extreme Components Analysis
Yutian Chen, Max Welling |
362
Manifold Alignment without Correspondence
Chang Wang, Sridhar Mahadevan |
| INFERENCE IN GRAPHICAL MODELS |
365
Variable and Value Ordering for MPE Search Sajjad Siddiqi, Jinbo Huang |
1253
Lifted Aggregation in Directed First-Order Probabilistic Models
Jacek Kisynski, David Poole |
1555
Speeding Up Inference in Markov Logic Networks by Preprocessing to Reduce the Size of the Resulting Grounded Network
Jude Shavlik, Sriraam Natarajan |
1536
Efficient Computation of Jointree Bounds for Systematic MAP Search Changhe Yuan, Eric A. Hansen |
|
10:30 11:00am
|
COFFEE BREAK |
|
11:00 to 12:30pm
|
IJCAI-09 TECHNICAL SESSIONS |
| GAMES AND MONTE CARLO SEARCH |
1163
Mixing Search Strategies for Multi-Player Games
Inon Zuckerman, Ariel Felner, Sarit Kraus |
284
Monte Carlo Tree Search Techniques in the Game of Kriegspiel
Paolo Ciancarini, Gian Piero Favini |
239
Nested Monte-Carlo Search
Tristan Cazenave |
593
UCT for Tactical Assault Planning in Real-Time Strategy Games Radha-Krishna Balla, Alan Fern |
| WEB MINING AND WEB SERVICES |
1467
Exploiting Background Knowledge to Build Reference Sets for Information Extraction Matthew Michelson, Craig A. Knoblock |
1680
Incorporating User Behaviors in New Word Detection
Yabin Zheng, Zhiyuan Liu, Maosong Sun Liyun Ru, Yang Zhang |
1041
Efficient Abstraction and Refinement for Behavioral Description Based Web Service Composition Hyunyoung Kil, Wonhong Nam, Dongwon Lee |
1085
A Context Driven Approach for Workflow Mining
Fusun Yaman, Tim Oates, Mark Burstein |
| NEGOTIATION AND COMMITMENT |
569
Balancing Utility and Deal Probability for Auction-Based Negotiations in Highly Nonlinear Utility Spaces
Ivan Marsa-Maestre, Miguel A. Lopez-Carmona, Juan R. Velasco, Takayuki Ito, Mark Klein, Katsuhide Fujita |
156
Axiomatic Characterization of Task Oriented Negotiation Dongmo Zhang |
300
Negotiation Using Logic Programming with Consistency Restoring Rules Tran Cao Son, Chiaki Sakama |
1033
Commitment Tracking via the Reactive Event Calculus
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni |
| SPATIO-TEMPORAL REASONING / DISTRIBUTED and GAME-THEORETIC KR |
642
A Divide-and-Conquer Approach for Solving Interval Algebra Networks
Jason Jingshi Li, Jinbo Huang, Jochen Renz |
1601
A Fixed-Parameter Tractable Algorithm for Spatio-Temporal Calendar Management Bernhard Nebel, Jochen Renz |
722
DL-LITER in the Light of Propositional Logic for Decentralized Data Management
Nada Abdallah, François Goasdoué, Marie-Christine Rousset |
1384
Discovering Theorems in Game Theory: Two-Person Games with Unique Pure Nash Equilibrium Payoffs
Pingzhong Tang, Fangzhen Lin |
| LEARNING RELATIONAL AND GRAPHICAL MODELS |
1522
Knowledge Transfer on Hybrid Graph Zheng Wang, Yangqiu Song, Changshui Zhang |
1291
gRegress: Extracting Features from Graph Transactions for Regression
Nikhil S. Ketkar, Lawrence B. Holder, Diane J. Cook |
1514
Relational Random Forests Based on Random Relational Rules Grant Anderson, Bernhard Pfahringer |
1076
Multi-Relational Learning with Gaussian Processes
Zhao Xu, Kristian Kersting, Volker Tresp |
| KERNEL METHODS |
473
On Multiple Kernel Learning with Multiple Labels
Lei Tang, Jianhui Chen, Jieping Ye |
1026
Learning the Optimal Neighborhood Kernel for Classification
Jun Liu, Jianhui Chen, Songcan Chen, Jieping Ye |
1179
Streamed Learning: One-Pass SVMs
Piyush Rai, Hal Daumé III, Suresh Venkatasubramanian |
670
A Sparse Covariance Function for Exact Gaussian Process Inference in Large Datasets Arman Melkumyan, Fabio Ramos |
| NATURAL LANGUAGE SEMANTICS |
817
Computation-
al Semantics of Noun Compounds in a Semantic Space Mode
Akira Utsumi |
921
Situated Resolution and Generation of Spatial Referring Expressions for Robotic Assistants Hendrik Zender, Geert-Jan M. Kruijff, Ivana Kruijff-Korbayová |
928
Context-Sensitive Semantic Smoothing using Semantically Relatable Sequences Kamaljeet S. Verma, Pushpak Bhattacharyya |
451
Expanding Domain Sentiment Lexicon through Double Propagation Guang Qiu, Bing Liu, Jiajun Bu, Chun Chen |
|
12:30 to 2:00pm
|
LUNCH BREAK |
|
2:00 to 3:30pm
|
IJCAI-09 TECHNICAL SESSIONS |
| MUSICAL EXPRESSION / VISION AND ROBOTICS III |
1115
Representation and Synthesis of Melodic Expression Christopher Raphael |
936
A Computation-
al Model for the Alignment of Hierarchical Scene Representations in Human-Robot Interaction
Agnes Swadzba, Sven Wachsmuth, Constanze Vorwerg, Gert Rickheit |
1403
Nonmyopic Adaptive Informative Path Planning for Multiple Robots Amarjeet Singh, Andreas Krause, William J. Kaiser |
1083
Learning Kinematic Models for Articulated Objects
Jürgen Sturm, Vijay Pradeep, Cyrill Stachniss, Christian Plagemann, Kurt Konolige, Wolfram Burgard |
| CONSTRAINTS III |
1159
Set Branching in Constraint Optimization Matthew Kitching, Fahiem Bacchus |
1593
Variety Reasoning for Multiset Constraint Propagation
Yat Chiu Law, Jimmy H. M. Lee, May H. C. Woo |
805
Experiments with Massively Parallel Constraint Solving
Lucas Bordeaux, Youssef Hamadi, Horst Samulowitz |
291
Solving Dynamic Constraint Satisfaction Problems by Identifying Stable Features
Richard J. Wallace, Diarmuid Grimes, Eugene C. Freuder |
| LOGIC PROGRAMMING II |
316
Symmetric Splitting in the General Theory of Stable Models Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz, Ravi Palla |
1094
Bidirectional Answer Set Programs with Function Symbols
Thomas Eiter, Mantas Simkus |
62
Answer-Set Programming with Bounded Treewidth
Michael Jakl, Reinhard Pichler, Stefan Woltran |
524
Decomposi-
tion of Declarative Knowledge Bases with External Functions
Thomas Eiter, Michael Fink, Thomas Krennwallner |
| DESCRIPTION LOGICS II: QUERY ANSWERING |
1144
Query Answering in Description Logics with Transitive Roles Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus |
1148
Applications and Extensions of PTIME Description Logics with Functional Constraints
David Toman, Grant Weddell |
759
Conjunctive Query Answering in the Description Logic EL Using a Relational Database System Carsten Lutz, David Toman, Frank Wolter |
1199
Regular Path Queries in Expressive Description Logics with Nominals
Diego Calvanese, Thomas Eiter, Magdalena Ortiz |
| AUCTIONS |
1405
A Kernel Method for Market Clearing Sébastien Lahaie |
766
Charting the Tractability Frontier of Mixed Multi-Unit Combinatorial Auctions
Valeria Fionda, Gianluigi Greco |
967
Flexible Procurement of Services with Uncertain Durations using Redundancy Sebastian Stein, Enrico Gerding, Alex Rogers, Kate Larson, Nicholas R. Jennings |
1528
Methodology for Designing Reasonably Expressive Mechanisms with Application to Ad Auctions
Michael Benisch, Norman Sadeh, Tuomas Sandholm |
| STRUCTURE LEARNING |
1453
Multiclass Probabilistic Kernel Discriminant Analysis
Zheng Zhao, Liang Sun, Shipeng Yu, Huan Liu, Jieping Ye |
145
Multiscale Analysis of Document Corpora Based on Diffusion Models
Chang Wang, Sridhar Mahadevan |
1023
Multi-Class Classifiers and their Underlying Shared Structure Volkan Vural, Glenn Fung, Romer Rosales, Jennifer G. Dy |
595
Graph Embedding with Constraints
Xiaofei He, Ming Ji, Hujun Bao |
| MARKOV DECISION PROCESSES |
1276
ReTrASE: Integrating Paradigms for Approximate Probabilistic Planning
Andrey Kolobov, Mausam, Daniel S. Weld |
1397
Domain Independent, Automatic Partitioning for Probabilistic Planning
Peng Dai, Mausam, Daniel S. Weld |
461
Bayesian Real-Time Dynamic Programming Scott Sanner, Robby Goetschalckx, Kurt Driessens, Guy Shani |
1298
Generalized First Order Decision Diagrams for First Order Markov Decision Processes
Saket Joshi, Kristian Kersting, Roni Khardon |
|
3:30 to 4:00pm
|
BREAK |
|
4:00 to 5:30pm
|
IJCAI-09 TECHNICAL SESSIONS |
| SATISFIABILITY II |
234
Towards Industrial-Like Random SAT Instances
Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy |
1410
SATenstein: Automatically Building Local Search SAT Solvers from Components Ashiqur R. KhudaBukhsh, Lin Xu, Holger H. Hoos, Kevin Leyton-Brown |
233
Predicting Learnt Clauses Quality in Modern SAT Solvers
Gilles Audemard, Laurent Simon |
1529
Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT
Lukas Kroc, Ashish Sabharwal, Carla P. Gomes, Bart Selman |
| DESCRIPTION LOGICS III: NON-STANDARD REASONING |
435
Model-based Revision Operators for Terminologies in Description Logics
Guilin Qi, Jianfeng D |
1278
A Tableaux-Based Method for Computing Least Common Subsumers for Expressive Description Logics
Francesco M. Donini, Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio |
732
Defeasible Inclusions in Low-Complexity DLs: Preliminary Notes
Piero A. Bonatti, Marco Faella, Luigi Sauro |
495
Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies Boris Konev, Dirk Walther, Frank Wolter |
| ARTUMENTATION II |
119
Dialectical Abstract Argumentation: A Characterization of the Marking Criterion
Nicolás D. Rotstein, Martín O. Moguillansky, Guillermo R. Simari |
1640
A Unified Framework for Representation and Development of Dialectical Proof Procedures in Argumentation Phan Minh Dung, Phan Min Thang |
92
Labellings and Games for Extended Argumentation Frameworks Sanjay Modgil |
73
Computational Properties of Resolution-based Grounded Semantics
Pietro Baroni, Paul E. Dunne, Massimiliano Giacomin |
| SOCIAL NETWORKS |
590
Efficient Estimation of Influence Functions for SIS Model on Social Networks
Masahiro Kimura, Kazumi Saito, Hiroshi Motoda |
161
Improving Search in Social Networks by Agent Based Mining
Anil Gürsel, Sandip Sen |
536
Exchanging Reputation Information between Communities: A Payment-Function Approach
Georgia Kastidou, Kate Larson, Robin Cohen |
1277
Towards Con-resistant Trust Models for Distributed Agent Systems
Amirali Salehi-Abari, Tony White |
| LEARNING: MATRIX FACTORIZATION |
696
Exponential Family Sparse Coding with Application to Self-taught Learning
Honglak Lee, Rajat Raina, Alex Teichman, Andrew Y. Ng |
678
Locality Preserving Nonnegative Matrix Factorization Deng Cai, Xiaofei He, Xuanhui Wang, Hujun Bao, Jiawei Han |
68
Local Learning Regularized Nonnegative Matrix Factorization Quanquan Gu, Jie Zhou |
139
An Efficient Nonnegative Matrix Factorization Approach in Flexible Kernel Space
Daoqiang Zhang, Wanquan Liu |
| REINFORCEMENT LEARNING |
1252
Autonomously Learning an Action Hierarchy Using a Learned Qualitative State Representation Jonathan Mugan, Benjamin Kuipers |
179
Active Policy Iteration: Efficient Exploration through Active Learning for Value Function Approximation in Reinforcement Learning Takayuki Akiyama, Hirotaka Hachiya, Masashi Sugiyama |
283
Efficient Skill Learning using Abstraction Selection
George Konidaris, Andrew Barto |
839
Inverse Reinforcement Learning in Partially Observable Environments Jaedeug Choi, Kee-Eung Kim |
| QUESTION ANSWERING AND DIALOG |
526
Introspection and Adaptable Model Integration for Dialogue-based Question Answering
Daniel Sonntag |
241
Evaluating Description and Reference Strategies in a Cooperative Human-Robot Dialogue System Mary Ellen Foster, Manuel Giuliani, Amy Isard, Colin Matheson, Jon Oberlander, Alois Knoll |
1361
Improving a Virtual Human Using a Model of Degrees of Grounding
Antonio Roque, David Traum |
1047
Detection of Imperative and Declarative Question-Answer Pairs in Email Conversations Helen Kwong, Neil Yorke-Smith |
