Twenty-first International Joint Conference on Artificial Intelligence (IJCAI-09)
The Interdisciplinary Reach of Artificial Intelligence
Pasadena Conference Center
http://www.ijcai-09.org
Sponsored by The International Joint Conferences on Artificial Intelligence (IJCAI) and The Association for the Advancement of Artificial Intelligence (AAAI)
IJCAI-09 Accepted Papers
11: Trading Off Solution Cost for Smaller Runtime in DCOP Search Algorithms
William Yeoh, Xiaoxun Sun, Sven Koenig
17: Thou Shalt Covet Thy Neighbor's Cake
Ariel Procaccia
18: Nonmanipulable Selections from a Tournament
Alon Altman, Ariel Procaccia, Moshe Tennenholtz
22: Spectral Kernel Learning for Semi-supervised Classification
Wei Liu, Jianzhuang Liu
30: Which Semantics for Neighbourhood Semantics?
Carlos Areces, Diego Figueira
35: A Characterisation of Strategy-Proofness for Grounded Argumentation Semantics
Iyad Rahwan, Kate Larson, Fernando Tohme
47: Extending Decidable Cases for Rules with Existential Variables
Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat
51: Early Classification on Time Series: A Nearest Neighbor Approach
Zhengzheng Xing, Jian Pei, Philip Yu
62: Answer-Set Programming with Bounded Treewidth
Michael Jakl, Reinhard Pichler, Stefan Woltran
64: Analysis of a winning computational billiards player
Chris Archibald, Alon Altman, Yoav Shoham
68: Local Learning Regularized Nonnegative Matrix Factorization
Quanquan Gu, Jie Zhou
70: Efficient Inference for Expressive Comparative Preference Languages
Nic Wilson
73: Computational Properties of Resolution-based Grounded Semantics
Pietro Baroni, Paul Dunne, Massimiliano Giacomin
77: Where are the really hard manipulation problems? The manipulation phase transition
Toby Walsh
92: Labellings and Games for Extended Argumentation Frameworks
Sanjay Modgil
94: The Fringe-Retrieving A* Search Algorithm for Moving Target Search
Xiaoxun Sun, Sven Koenig, William Yeoh
96: Sensing and Predicting Shared Bicycling Usage in the City
Jon Froehlich, Joachim Neumann, Nuria Oliver
101: Knowledge-based WSD and specific domains: performing over supervised WSD
Oier Lopez de Lacalle, Aitor Soroa, Eneko Agirre
105: DCOPs Meet the Real World: Exploring Unknown Reward Matrices with applications to mobile sensor nets
Manish Jain, Matthew Taylor, Makoto Yokoo, Milind Tambe
106: Domain Adaptation via Transfer Component Analysis
Sinno Jialin Pan, Ivor Tsang, James Kwok, Qiang Yang
119: Dialectical Abstract Argumentation: A Characterization of the Marking Criterion
Nicol·s Rotstein, MartÌn Moguillansky, Guillermo Simari
120: New Improvements in Optimal Rectangle Packing
Eric Huang, Richard Korf
126: The Canadian Traveler Problem With Remote Sensing
Ariel Felner, Zahy Bnaya, Solomon Shimony
128: CTPPL: A Continuous Time Probabilistic Programming Language
Avi Pfeffer
130: Strategyproof Classification with Shared Inputs
Reshef Meir, Ariel Procaccia, Jeffrey Rosenschein
135: Linear Dimensionality Reduction for Multi-label Classification
Shuiwang Ji, Jieping Ye
139: An Efficient Nonnegative Matrix Factorization Approach in Flexible Kernel Space
Daoqiang Zhang, Wanquan Liu
143: Smart PCA
Yi Zhang
145: Multiscale Analysis of Document Corpora Based on Diffusion Models
Chang Wang, Sridhar Mahadevan
149: Euclidean and Mereological Qualitative Spaces: a Study of SCC and DCC
Borgo Stefano
151: Complexity of Unweighted Coalitional Manipulation Under Some Common Voting Rules
Lirong Xia, Michael Zuckerman, Ariel Procaccia, Vincent Conitzer, Jeffrey Rosenschein
153: Solving 8x8 Hex
Philip Henderson, Broderick Arneson, Ryan Hayward
156: Axiomatic Characterization of Task Oriented Negotiation
Dongmo Zhang
161: Improving Search In Social Networks by Agent Based Mining
Anil Gursel, Sandip Sen
179: Active Policy Iteration: Efficient Exploration through Active Learning for Value Function Approximat
Takayuki Akiyama, Hirotaka Hachiya, Masashi Sugiyama
188: Markov Network based Ontology Matching
Sivan Albagli, Rachel Ben-Eliyahu-Zohary, Solomon Shimony
190: Fast Online Training of Discriminative Latent Variable Model and Its Case Studies in NLP
Sun Xu, Matsuzaki Takuya, Daisuke Okanohara, Jun'ichi Tsujii
200: Succinct approximate counting of skewed data
David Talbot
207: Argumentation System with Changes of an Agent's Knowledge Base
Kenichi Okuno, Kazuko Takahashi
210: Solving POMDPs: RTDP-Bel vs. Point-based Algorithms
Blai Bonet, Hector Geffner
211: Greedy Algorithms for Sequential Sensing Decisions
Hannaneh Hajishirzi, Afsaneh Shirazi, Jaesik Choi, Eyal Amir
213: Simple Coalitional Games with Beliefs
Georgios Chalkiadakis, Edith Elkind, Nicholas R. Jennings
216: Fast Active Tabu Search and its Application to Image Retrieval
Chao Zhang, Hongyu Li, Jinyuan Jia
217: Using Reasoning Patterns to Help Humans Solve Complex Games
Dimitrios Antos, Avi Pfeffer
219: Probabilistic state translation in extensive games with large action sets
David Schnizlein, Michael Bowling, Duane Szafron
224: Circuit Complexity and Decompositions of Global Constraints
Christian Bessiere, George Katsirelos, Nina Narodytska, Toby Walsh
229: Evaluating Abductive Hypotheses using an EM Algorithm on BDDs
Katsumi Inoue, Masakazu Ishihata, Yoshitaka Kameya, Hidetomo Nabeshima, Taisuke Sato
230: Preference Aggregation over Restricted Ballot Languages: Sincerity and Strategy-Proofness
Ulle Endriss, Maria Silvia Pini, Francesca Rossi, Brent Venable
232: A structural approach to reasoning with quantified Boolean formulas
Luca Pulina, Armando Tacchella
233: Predicting Learnt Clauses Quality in Modern SAT Solvers
Laurent Simon, Gilles Audemard
234: Industrial-Like Random SAT Instances
Carlos Ansotegui, MarÌa Luisa Bonet, Jordi Levy
239: Nested Monte-Carlo Search
tristan cazenave
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
242: Can Movies and Books Collaborate? Cross-Domain Collaborative Filtering for Sparsity Reduction
Bin Li, Qiang Yang, Xiangyang Xue
251: On-line Evolutionary Exponential Family Mixture
Jianwen Zhang, Yangqiu Song, Changshui Zhang
256: Is it enough to get the behavior right?
Hector Levesque
258: Semi-supervised Metric Learning Using Pairwise Constraints
Mahdieh Soleymani Baghshah, Saeed Bagheri Shouraki
261: A New Bayesian Approach to Multiple Intermittent Fault Diagnosis
Rui Abreu, Peter Zoeteweij, Arjan J.C. van Gemund
263: Coalitional Affinity Games and the Stability Gap
Simina Branzei, Kate Larson
275: A Translation-Based Approach to Contingent Planning
Hector Palacios, Alexandre Albore, Hector Geffner
276: Using web images for measuring video frame interestingness
Feng Liu, Yuzhen Niu, Michael Gleicher
283: Efficient Skill Learning using Abstraction Selection
George Konidaris, Andrew Barto
284: Monte Carlo tree search techniques in the game of Kriegspiel
Paolo Ciancarini, Gian Piero Favini
287: Event-detecting Multi-agent MDPs: Complexity and Constant-factor Approximations
Akshat Kumar, Shlomo Zilberstein
289: Learning Conditional Preference Networks with Queries
Frederic Koriche, Bruno Zanuttini
291: Solving Dynamic Constraint Satisfaction Problems by Identifying Stable Features
Richard Wallace, Diarmuid Griimes, Eugene Freuder
300: Negotiation Using Logic Programming with Consistent Restoring Rules
Son Cao Tran, Chiaki Sakama
302: Phi*: Incremental Any-Angle Path Planning on Grids
Alex Nash, Sven Koenig, Maxim Likhachev
303: Realising Deterministic Behaviour from Multiple Non-Deterministic Behaviours
Thomas Stroeder, Maurice Pagnucco
306: Memory-Based Heuristics for Explicit State Spaces
Nathan Sturtevant, Ariel Felner, Max Barer, Jonathan Schaeffer, Neil Burch
310: Goal-Driven Learning in the GILA Integrated Intelligence Architecture
Jainarayan Radhakrishnan, santi ontanon, ashwin ram
316: Symmetric Splitting in the General Theory of Stable Models
Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz, Ravi Palla
317: Circumscriptive Event Calculus as Answer Set Programming
Tae-Won Kim, Joohyung Lee, Ravi Palla
318: Efficient Dominant Point Algorithms for the Multiple Longest Common Subsequence (MLCS) Problem
Qingguo Wang, Dmitry Korkin, Yi Shang
319: HDP-HMM Based Abnormal Activity Recognition
Derek Hao Hu, Xian-Xing Zhang, Jie Yin, Vincent Wenchen Zheng, Qiang Yang
320: Spatio-temporal Event Detection Using Dynamic Conditional Random Fields
Jie Yin, Derek Hao Hu, Qiang Yang
328: Relation Regularized Matrix Factorization
Wu-Jun Li, Dit-Yan Yeung
341: Knowledge Driven Dimension Reduction For Clustering
Davidson Ian
347: How Pervasive is the Myerson-Satterthwaite Impossibility?
Abraham Othman, Tuomas Sandholm
351: A Dichotomy Theorem on the Existence of Efficient or Neutral Sequential Voting Correspondences
Lirong Xia, Jerome Lang
353: Selecting Informative Universum Sample for Semi-Supervised Learning
Shuo Chen, Changshui Zhang
357: Topic tracking model for analyzing consumer purchase behavior
Tomoharu Iwata, Shinji Watanabe, Takeshi Yamada, Naonori Ueda
361: Decompositions of All Different, Global Cardinality and Related Constraints
Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
362: Manifold Alignment without Correspondence
Chang Wang, Sridhar Mahadevan
365: Variable and Value Ordering for MPE Search
Sajjad Siddiqi, Jinbo Huang
366: Learning to Follow Navigational Route Instructions
Nobuyuki Shimizu, Andrew Haas
374: Cost-Optimal Planning with Landmarks
Erez Karpas, Carmel Domshlak
375: Graph-Based Multi-Modality Learning for Topic-Focused Multi-Document Summarization
Xiaojun Wan
376: Sketching Techniques for Collaborative Filtering
Yoram Bachrach, Ely Porat, Jeffrey Rosenschein
383: A General Approach to Environment Design with One Agent
Haoqi Zhang, Yiling Chen, David Parkes
385: Completeness and Optimality Preserving Reduction for Planning
Yixin Chen, Guohui Yao
386: Stratified Planning
Yixin Chen, You Xu, Guohui Yao
398: On the Tip of my Thought: Playing the Guillotine Game
Pasquale Lops, Marco de Gemmis, Giovanni Semeraro, Pierpaolo Basile
410: Making Bound Consistency as Effective as Arc Consistency
Christian Bessiere, Thierry Petit, Bruno Zanuttini
414: Modeling Agents through Bounded Rationality Theories
Avi Rosenfeld, Sarit Kraus
415: Expressive Power-Based Resource Allocation for Data Centers
Benjamin Lubin, Jeff Kephart, Rajarshi Das, David Parkes
418: Towards an Argumentative Interpreter for Golog Programs
Michelle Blom, Adrian Pearce
430: Trees of Shortest Paths vs. Steiner Trees: Understanding and Improving Delete Relaxation Heuristics
Emil Keyder, Hector Geffner
431: Reasoning with lines in the Euclidean space
Khalil Challita
432: Local Search: Is brute-force avoidable?
Michael R. Fellows, Fedor V. Fomin, Daniel Lokshtanov, Frances A. Rosamond, Saket Saurabh, Yngve Villanger
435: Model-based Revision Operators for Terminologies in Description Logics
Guilin Qi, Jianfeng Du
436: On the Accrual of Arguments in Defeasible Logic Programming
Mauro Javier Gómez Lucero, Carlos Chesnevar, Guillermo Simari
445: Multimode Control Attacks on Elections
Piotr Faliszewski, Edith Hemaspaandra, Lane Hemaspaandra
451: Domain Specific Opinion Word Propagation
Guang Qiu, Bing Liu, Jiajun Bu, Chun Chen
456: Best-First Heuristic Search for Multi-Core Machines
Ethan Burns, Seth Lemons, Rong Zhou, Wheeler Ruml
461: Bayesian Real-time Dynamic Programming
Scott Sanner, Robby Goetschalckx, Kurt Driessens, Guy Shani
473: On Multiple Kernel Learning with Multiple Labels
Lei Tang, Jianhui Chen, Jieping Ye
474: Generalized Cluster Aggregation
Fei Wang, Xin Wang, Tao Li
482: How hard is it to control sequential elections via the agenda?
Vincent Conitzer, Jerome Lang, Lirong Xia
484: Goal Recognition with Variable-Order Markov Models
Marcelo Armentano, AnalÌa Amandi
485: A Soft Global Precedence Constraint
David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson
488: A Multivariate Complexity Analysis of Determining Possible Winners Given Incomplete Votes
Nadja Betzler, Susanne Hemmann, Rolf Niedermeier
492: Ranking Structured Documents: A Large Margin Based Approach for Patent Prior Art Search
Yunsong Guo, Carla Gomes
493: Self-Managing Associative Memory for Dynamic Acquisition of Expertise in High-Level Domains
Jacob Beal
495: Forgetting and uniform interpolation in large-scale description logic terminologies
Frank Wolter, Boris Konev, Dirk Walther
498: Delaying Commitment in Plan Recognition Using Combinatory Categorial Grammars
Chris Geib
500: Algorithms and Complexity Results for Pursuit-Evasion Problems
Richard Borie, Craig Tovey, Sven Koenig
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, ,
507: Preference Functions That Score Rankings and Maximum Likelihood Estimation
Vincent Conitzer, Matthew Rognlie, Lirong Xia
508: CI-Nets: A Graphical Language for Representing Ordinal, Monotonic Preferences over Sets of Goods
Sylvain Bouveret, Ulle Endriss, Jerome Lang
519: Predictive Projections
Nathan Sprague
524: Decomposition of Declarative Knowledge Bases with External Functions
Thomas Eiter, Michael Fink, Thomas Krennwallner
526: Introspection and Adaptable Model Integration for Dialogue-based Question Answering
Daniel Sonntag
528: A symmetry reduction technique for model checking temporal epistemic logic
Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu
529: Learning Optimal Subsets with Implicit User Preferences
Yunsong Guo, Carla Gomes
531: Next Steps in Propositional Horn Contraction
Thomas Meyer, Ivan Varzinczak, Richard Booth
536: Exchanging Reputation Information Between Communities: A Payment-Function
Georgia Kastidou, Kate Larson, Robin Cohen
548: Evaluating Strategies for Running from the Cops
Carsten Moldenhauer, Nathan Sturtevant
549: Compiling the Votes of a Subelectorate
Yann Chevaleyre, Jerome Lang, Nicolas Maudet, Guillaume Ravilly-Abadie
550: Preference Learning with Extreme Examples
Fei Wang, Bin Zhang, Ta-Hsin Li, Wen-Jun Yin, Jin Dong
553: Planning Games
Ronen Brafman, Carmel Domshlak, Yagil Engel, Moshe Tennenholtz
564: Control-based clause sharing in parallel SAT solving
Youssef Hamadi, Saïd Jabbour, Lakhdar Sais
569: Balancing Utility and Deal Probability for Negotiations in Highly Nonlinear Utility Spaces
Ivan Marsa-Maestre, Miguel A. Lopez-Carmona, Juan R. Velasco, Takayuki Ito, Katsuhide Fujita, Mark Klein
577: Simultaneous Discovery of Conservation Laws and Hidden Particles with Smith Matrix Decomposition
Oliver Schulte
579: Boosting constrained mutual subspace method for robust image-set based object recognition
Xi Li, Kazuhiro Fukui, Nanning Zheng
582: Maximum Margin Multiple Instance Clustering
Dan Zhang, Fei Wang, Luo Si, Tao Li
584: Combining RCC-8 with Qualitative Direction Calculi: Algorithms and Complexity|
Weiming Liu, Sanjiang Li, Jochen Renz
590: Efficient Estimation of Influence Functions for SIS Model on Social Networks
Masahiro Kimura, Kazumi Saito, Hiroshi Motoda
593: UCT for Tactical Assault Planning in Real-Time Strategy Games
Radha-Krishna Balla, Alan Fern
595: Graph Embedding with Constraints
Xiaofei He, Ming Ji, Hujun Bao
597: Semi-supervised Classification on Evolutionary Data
Yangqing Jia, Shuicheng Yan, Changshui Zhang
598: Bayesian Extreme Components Analysis
Yutian Chen, Max Welling
605: Multi-Way Number Partitioning
Richard Korf
610: Large Margin Boltzmann Machines
Xu Miao, Rajesh Rao
614: Testing Edges by Truncations
Ilya Shpitser, Thomas Richardson, James Robins
626: Tractable Multi-Agent Path Planning on Grid Maps
Ko-Hsin Cindy Wang, Adi Botea
640: Spectral Embedded Clustering
Feiping Nie, Dong Xu, Ivor Tsang, Changshui Zhang
641: Bootstrap Voting Experts
Daniel Hewlett, Paul Cohen
642: A Divide-and-Conquer Approach for Solving Interval Algebra Networks
Jason Jingshi Li, Jinbo Huang, Jochen Renz
644: Online Stochastic Optimization in the Large: Application to Kidney Exchange
Pranjal Awasthi, Tuomas Sandholm
653: Semi-supervised Classification using Sparse Gaussian Process Regression
Amrish Patel, Sundararajan S, Shirish Shevade
659: Decentralized Planning with Temporally Extended Goals and Uncontrollable Events
Adi Botea, Andre Cire
667: Learning HTN Method Preconditions and Action Models from Partial Observations
Hankui Zhuo, Derek Hao Hu, Chad Hogg, Qiang Yang, Hector Munoz-Avila
670: A Sparse Covariance Function for Exact Gaussian Process Inference in Large Datasets
Arman Melkumyan, Fabio Ramos
671: Discriminative Semi-supervised Feature Selection via Manifold Regularization
Zenglin Xu, Rong Jin, Michael R. Lyu, Irwin King
676: Computing equilibria in multiplayer stochastic games
Sam Ganzfried, Tuomas Sandholm
678: Locality Preserving Nonnegative Matrix Factorization
Deng Cai, Xiaofei He, Xuanhui Wang, Hujun Bao
682: Adaptive Cluster Ensemble Selection
Javad Azimi, Xiaoli Fern
686: Semi-supervised Regression for Evaluating Convenience Store Location
Xinxin Bai, Xinxin Bai
696: Exponential Family Sparse Coding with Application to Self-taught Learning
Honglak Lee, Rajat Raina, Alex Teichman, Andrew Ng
697: Towards Ontology Learning from Folksonomies
Tang Jie, Ho-fung Leung, Qiong Luo
709: Investigations of Continual Computation
Dafna Shahaf, Eric Horvitz
718: Improving Morphology Induction by Learning Spelling Rules
Jason Naradowsky, Sharon Goldwater
722: DL-liteR in the Light of Propositional Logic for Decentralized Data Management
Nada Abdallah, Francois Goasdoue, Marie-Christine Rousset
732: Defeasible inclusions in low-complexity DLs: Preliminary notes
Piero Bonatti, Marco Faella, Luigi Sauro
739: K-Swaps: Cooperative Negotiation for Solving Task-Allocation Problems
Xiaoming Zheng, Sven Koenig
749: Composition of ConGolog Programs
Giuseppe De Giacomo, Sebastian Sardina
759: Conjunctive Query Answering in EL using a Relational Database System
Carsten Lutz, David Toman, Frank Wolter
766: Charting the Tractability Frontier of Mixed Multi-Unit Combinatorial Auctions
Valeria Fionda, Gianluigi Greco
786: Anytime Coalition Structure Generation in Partition Function Games
Talal Rahwan, Tomasz Michalak, Nicholas R. Jennings, Peter McBurney, Michael Wooldridge
789: A Syntax-based Framework for Merging Imprecise Probabilistic Logic Programs
Anbu Yue, Weiru Liu
791: Generalised Fictitious Play for a Continuum of Anonymous Players
Zinovi Rabinovich, Enrico Gerding, Maria Polukarov, Nicholas R. Jennings
792: An axiomatic account of preference-based argumentation systems
Srdjan Vesic, Leila Amgoud
805: Experiments with Massively Parallel Constraint Solving
Lucas Bordeaux, Youssef Hamadi, Horst Samulowitz
806: Collaborative Multi Agent Physical Search with Probabilistic Knowledge
Noam Hazon, Yonatan Aumann, Sarit Kraus
811: On the Complexity of Compact Coalitional Games
Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello
817: Computational Semantics of Noun Compounds in a Semantic Space Model
Akira Utsumi
824: Multi-step Multi-sensor Hider-Seeker Games
Erik Halvorson, Vincent Conitzer, Ronald Parr
827: Towards Context Aware Emotional Intelligence in Machines: Computing Contextual Appropriateness of A
Michal Ptaszynski, Pawel Dybala, Shi Wenhan, Rafal RZEPKA, Kenji ARAKI
828: Search Strategies for an Anytime Usage of the Branch and Prune Algorithm
Raphael Chenouard, Alexandre Goldsztejn, Christophe Jermann
839: Inverse Reinforcement Learning in Partially Observable Environments
Jaedeug Choi, Kee-Eung Kim
841: Knowledge Compilation Properties of Trees-of-BDDs, Revisited
Hélène Fargier, Pierre Marquis
853: Automated Theorem Proving for General Game Playing
Stephan Schiffel, Michael Thielscher
857: FRACTAL: Efficient Fault Isolation Using Active Testing
Alexander Feldman, Gregory Provan, Arjan J.C. van Gemund
863: Fast Recommendations using GAI Models
Jean-Philippe Dubus, Christophe Gonzales, Patrice Perny
870: Multiobjective optimization using GAI models
Jean-Philippe Dubus, Christophe Gonzales, Patrice Perny
878: Local Query Mining in a Probabilistic Prolog
Angelika Kimmig, Luc De Raedt
883: Generalized Clustergrams for Overlapping Biclusters
Badea Liviu
889: Spatial Processes for Recommender Systems
Fabian Bohnert, Daniel Schmidt, Ingrid Zukerman
902: The complexity of learning separable ceteris paribus preferences
Jerome Lang, Jérome Mengin
903: Optimal Symbolic Planning with Action Costs and Preferences
Stefan Edelkamp, Peter Kissmann
916: Towards Efficient Consistency Enforcement for Global Constraints in Weighted Constraint Satisfaction
Jimmy Lee, Ka Lun Leung
919: Reading Between the Lines
Loizos Michael
920: Nominals for Everyone
Lutz Schröder, Dirk Pattinson
921: Situated Resolution and Generation of Spatial Referring Expressions for Robotic Assistants
Hendrik Zender, Geert-Jan Kruijff, Ivana Kruijff-Korbayova
927: Context-Based Approach for Pivot Translation
Rie Tanaka, Yohei Murakami, Toru Ishida
928: Context-Sensitive Semantic Smoothing using Semantically Relatable Sequences
Kamaljeet Verma, Pushpak Bhattacharyya
936: A Computational Model for the Alignment of Hierarchical Scene Representations in Human-Robot Interac
Agnes Swadzba, Constanze Vorwerg, Sven Wachsmuth, Gert Rickheit
948: Decentralised Coordination of Mobile Sensors Using the Max-Sum Algorithm
Stranders Ruben, Alex Rogers, Nicholas R. Jennings
951: Maintaining Predictions Over Time Without a Model
Erik Talvitie, Satinder Singh
953: Efficient Reasoning with Knowledge, Action and Time in Dynamic and Uncertain Domains
Theodore Patkos, Dimitris Plexousakis
956: Open Extensible Global Constraints
Michael Maher
958: Self-supervised aerial image analysis for extracting parking lot structures
Young-Woo Seo, Nathan Ratliff, Chris Urmson
965: Transfer Learning from Minimal Target Data by Mapping across Relational Domains
Lilyana Mihalkova, Raymond Mooney
966: Qualitative CSP, finite CSP, and SAT: Comparing methods for qualitative constraint-based reasoning
Matthias Westphal, Stefan Woelfl
967: Flexible Procurement of Services with Uncertain Durations
Sebastian Stein, Enrico Gerding, Alex Rogers, Kate Larson, Nicholas R. Jennings
971: Structured Plans and Observation Reduction for Plans with Contexts
Wei Huang, Zhonghua Wen, Yunfei Jiang, Hong Peng
972: Dynamic Configuration of Agent Organizations
Evan Sultanik, Robert Lass, William Regli
976: A Logic for Coalitions with Bounded Resources
Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Abdur Rakib
986: Angluin-Style Learning of NFA
Benedikt Bollig, Peter Habermehl, Carsten Kern, Martin Leucker
989: Solving Strong-Fault Diagnostic Models by Model Relaxation
Alexander Feldman, Gregory Provan, Arjan J.C. van Gemund
996: Dynamic selection of ontological alignments: a space reduction mechanism
Doran Paul, Valentina Tamma, Ignazio Palmisano, Terry Payne
1000: Eliciting Honest Reputation Feedback in a Markov Setting
Jens Witkowski
1003: Plan Recognition as Planning
Miguel RamÌrez, Hector Geffner
1007: A Distributed Control Loop for Autonomous Recovery in a Multi-Agent Plan
Roberto Micalizio
1008: Knowing More -- from Global to Local Correspondence
Wiebe Van der Hoek, Hans Van Ditmarsch, Barteld Kooi
1012: HTN Planning with Preferences
Shirin Sohrabi, Jorge Baier, Sheila McIlraith
1023: Multi-Class Classifiers and Their Underlying Shared Structure
Volkan Vural, Glenn Fung, Romer Rosales, Jennifer Dy
1025: Iterated Regret Minimization: A New Solution Concept
Joe Halpern, Rafael Pass
1026: Learning the Optimal Neighborhood Kernel for Classification
Jun Liu, Jianhui Chen, Songcan Chen, Jieping Ye
1030: Temporal planning in domains with linear processes
Amanda Coles, Andrew Coles, Maria Fox, Derek Long
1033: Commitment Tracking via the Reactive Event Calculus
Marco Montali, Federico Chesani, Paola Mello, Paolo Torroni
1039: Exponential Family Hybrid Semi-Supervised Learning
Arvind Agarwal, Hal Daume III
1041: Efficient Abstraction and Refinement for Behavioral Description Based Web Service Composition
Hyunyoung Kil, Wonhong Nam, Dongwon Lee
1045: A logic for reasoning about counterfactual emotions
Emiliano Lorini, François Schwarzentruber
1047: Detection of Imperative and Declarative Question-Answer Pairs in Email Conversations
Helen Kwong, Neil Yorke-Smith
1052: Learning a Value Analysis Tool For Agent Evaluation
White Martha, Michael Bowling
1055: A* Search with Inconsistent Heuristics
Zhiifu Zhang, Robert Holte, Jonathan Schaeffer, Nathan Sturtevant, Ariel Felner
1057: Robust Distance Metric Learning with Auxiliary Knowledge
Zheng-Jun Zha, Tao Mei, Meng Wang, Xian-Sheng Hua, Zengfu Wang
1076: Multi-Relational Learning with Gaussian Processes
Zhao Xu, Kristian Kersting, Volker Tresp
1083: Learning Kinematic Models for Articulated Objects
Juergen Sturm, Vijay Pradeep, Cyrill Stachniss, Christian Plagemann, Kurt Konolige, Wolfram Burgard
1084: On Solving Boolean Multilevel Optimization Problems
Josep Argelich, Ines Lynce, Joao Marques-Silva
1085: A Context Driven Approach for Workflow Mining
Fusun Yaman, Tim Oates, Mark Burstein
1086: A Semantical Account of Progression in the Presence of Defaults
Gerhard Lakemeyer, Hector Levesque
1094: Bidirectional Answer Set Programs with Function Symbols
Mantas Simkus, Thomas Eiter
1115: {Expressive Melody Synthesis with the Theremin
Christopher Raphael
1116: Learning Probabilistic Hierarchical Task Networks to Capture User Preferences
Nan Li, Subbarao Kambhampati, Sungwook Yoon
1123: Web-Scale N-gram Models for Lexical Disambiguation
Shane Bergsma, Dekang Lin, Randy Goebel
1139: Notions of State Equivalence under Partial Observability
Pablo Castro, Doina Precup, Prakash Panangaden
1144: Query Answering in Description Logics with Transitive Roles
Thomas Eiter, Carsten Lutz, Mantas Simkus, Magdalena Ortiz
1148: Applications and Extensions of PTIME Description Logics with Functional Constraints
Grant Weddell, David Toman
1151: Interruptible algorithms for Multi-Problem Solving
Spyros Angelopoulos, Alejandro Lopez-Ortiz
1157: Exploiting Decomposition on Constraint Problems with High Tree-Width
Matthew Kitching, Fahiem Bacchus
1159: Set Branching in Constraint Optimization
Matthew Kitching, Fahiem Bacchus
1163: Mixing Search Strategies for Multi-Player Games
Inon Zuckerman, Ariel Felner, Sarit Kraus
1166: Transfer Learning using Task-Level Features with Application to Information Retrieval
Rong Yan, Jian Zhang
1167: Online Graph Planarisation for Synchronous Parsing of Semantic and Syntactic Dependencies
Ivan Titov, James Henderson, Paola Merlo, Gabriele Musillo
1174: TBA*: Time-Bounded A*
Yngvi Bjornsson, Vadim Bulitko, Nathan Sturtevant
1177: Topological Order Planner for POMDPs
Jilles Steeve Dibangoye, Guy Shani, Brahim Chaib-draa, Mouaddib Abdel-Illah
1178: Explicit vs. Latent Concept Models for Cross-Language Information Retrieval
Philipp Cimiano, Antje Schultz, Sergej Sizov, Philipp Sorg, Steffen Staab
1179: Streamed Learning: One-Pass SVMs
Piyush Rai, Hal Daume III, Suresh Venkatasubramanian
1180: Declarative Programming of Search Problems with Built-in Arithmetic
Eugenia Ternovska, David Mitchell
1181: Suggesting Email View Filters for Triage and Search
Mark Dredze, Bill Schilit, Peter Norvig
1184: Minimum Proof Graphs and Fastest-Cut-First Search Heuristics
Timothy Furtak, Michael Buro
1191: Ceteris Paribus Preference Elicitation with Predictive Guarantees
Yannis Dimopoulos, Loizos Michael, Fani Athienitou
1193: Unsupervised Rank Aggregation with Domain-Specific Expertise
Alexandre Klementiev, Dan Roth, Kevin Small, Ivan Titov
1199: Regular Path Queries in Expressive Description Logics with Nominals
Diego Calvanese, Thomas Eiter, Magdalena Ortiz
1201: Speeding Up Exact Solutions of Interactive Dynamic Influence Diagrams Using Action Equivalence
Yifeng Zeng, Prashant Doshi
1205: Search Techniques for Fourier-Based Learning
Adam Drake, Dan Ventura
1218: Adversarial Uncertainty in Multi-Robot Patrol
Noa Agmon, Sarit Kraus, Gal Kaminka, Vladimir Sadov
1233: Improving State Evaluation, Inference, and Search in Trick-Based Card Games
Jeffrey Long, Michael Buro, Nathan Sturtevant, Timothy Furtak
1239: Learning Hierarchical Task Networks for Nondeterministic Planning Domains
Chad Hogg, Ugur Kuter, Hector Munoz-Avila
1243: Effective Query Rewriting with Ontologies over DBoxes
Inanc Seylan, Enrico Franconi, Jos de Bruijn
1247: Translating HTNs to PDDL: A Small Amount of Domain Knowledge Can Go a Long Way
Ronald Alford, Ugur Kuter, Dana Nau
1250: Streamlining Attacks on CAPTCHAs with a Computer Game
Jeff Yan, Su-Yang Yu
1252: Autonomously Learning an Action Hierarchy Using a Learned Qualitative State Representation
Jonathan Mugan, Benjamin Kuipers
1253: Lifted Aggregation in Directed First-order Probabilistic Models
Jacek Kisynski, David Poole
1256: On the Equivalence Between Canonical Correlation Analysis and Orthonormalized Partial Least Squares
Liang Sun, Shuiwang Ji, Shipeng Yu, Jieping Ye
1266: Using Entropy to differentiate between shape and text in hand drawn diagrams
Akshay Bhat, Tracy Hammond
1267: Import-by-Query: Ontology Reasoning under Access Limitations
Bernardo Cuenca Grau, Boris Motik, Yevgeny Kazakov
1276: ReTrASE: Integrating Paradigms for Approximate Probabilistic Planning
Andrey Kolobov, Mausam, Daniel Weld
1277: Towards Con-resistant Trust Models for Distributed Agent Systems
Amirali Salehi-Abari, Tony White
1278: A Tableaux-based Method for Computing Least Common Subsumers for Expressive Description Logics
Francesco Donini, Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio
1281: Probabilistic Counting with Randomized Storage
Benjamin Van Durme, Ashwin Lall
1286: On Combinations of Binary Qualitative Constraint Calculi
Stefan Woelfl, Matthias Westphal
1287: Identifying a Class of Linear Models
Jin Tian
1291: gRegress: Extracting Features from Graph Transactions for Regression
Nikhil Ketkar, Lawrence Holder, Diane Cook
1298: Extended First Order Decision Diagrams for First Order Markov Decision Processes
Saket Joshi, Kristian Kersting, Roni Khardon
1305: Activity Recognition with Intended Actions
Alfredo Gabaldon
1307: Finite Local Consistency Characterizes Generalized Scoring Rules
Lirong Xia, Vincent Conitzer
1311: Monte-Carlo Exploration for Deterministic Planning
Hootan Nakhost, Martin Mueller
1312: A Visual Approach to Sketched Symbol Recognition
Tom Ouyang, Randall Davis
1323: Combining Breadth-First and Depth-First Strategies in Searching for Treewidth
Rong Zhou, Eric Hansen
1333: Diagnosing Multiple Persistent and Intermittent Faults
Johan de kleer
1340: On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond
Yongmei Liu, Gerhard Lakemeyer
1352: Planning with Partial Preference Models
Tuan Nguyen, Minh B. Do, Subbarao Kambhampati, Biplav Srivastava
1354: Information-Lookahead Planning for AUV Mapping
Zeyn Saigol, Richard Dearden, Jeremy Wyatt, Bramley Murton
1361: Improving a Virtual Human Using a Model of Degrees of Grounding
Antonio Roque, David Traum
1362: Efficient Online Learning and Prediction of Users' Desktop Commands
Omid Madani, Hung Bui, Eric Yeh
1366: A New d-DNNF-Based Bound Computation Algorithm for Functional EMAJSAT
Knot Pipatsrisawat, Adnan Darwiche
1368: Large-Scale Taxonomy Mapping for Restructuring and Integrating Wikipedia
Simone Ponzetto, Roberto Navigli
1375: Human Activity Encoding and Recognition Using Low-level Visual Features
Zheshen Wang, Baoxin Li
1376: Consequence-Driven Reasoning for Deterministic SHIQ Ontologies
Yevgeny Kazakov
1384: Discovering Theorems in Game Theory: Two-Person Games with Unique Nash Equilibria Payoffs
Pingzhong Tang, Fangzhen Lin
1397: Domain Independent Automatic Partition for MDPs
Peng Dai, Mausam, Daniel Weld
1403: Nonmyopic Adaptive Informative Path Planning for Multiple Robots
Amarjeet Singh, Andreas Krause, William Kaiser
1405: A Kernel Method for Market Clearing
Sebastien Lahaie
1409: Combining Speech and Sketch to Interpret Unconstrained Descriptions of Mechanical Devices
David Tyler Bischel, Thomas Stahovich, Randall Davis, Aaron Adler, Eric Peterson
1410: SATenstein: Automatically Building Local Search SAT Solvers From Components
Ashiqur Khuda Bukhsh, Lin Xu, Holger Hoos, Kevin Leyton-Brown
1412: A Multi-Agent Learning Approach to Online Distributed Resource Allocation
Chongjie Zhang, Victor Lesser, Prashant Shenoy
1414: Learning Graphical Game Models
Quang Duong, Satinder Singh, Yevgeniy Vorobeychik, Michael Wellman
1422: Inferring semantic distances between concepts using an online game
Robert West, Joelle Pineau, Doina Precup
1427: Interpreting Written How-to Instructions
Tessa Lau, Clemens Drews, Jeffrey Nichols
1433: Toward Unsupervised Activity Monitoring
Alireza Vahdatpour, Majid Sarrafzadeh
1453: Multiclass Probabilistic Kernel Discriminant Analysis
Zheng Zhao, Liang Sun, Shipeng Yu, Huan Liu, Jieping Ye
1467: Exploiting Background Knowledge to Build Reference Sets for Information Extraction
Matthew Michelson, Craig Knoblock
1478: Semi-Supervised Learning of Visual Classifiers from Web Images and Text
Nicholas Morsillo, Christopher Pal, Randal Nelson
1499: Multi-Source Omni-View Cooperative Learning
Xingquan Zhu, Ruoming Jin
1507: Duplicate Avoidance in Depth-First Search with Applications to Treewidth
Alex Dow, Richard Korf
1512: Drosophila Gene Expression Pattern Annotation Through Multi-Instance Multi-Label Learning
Ying-Xin Li, Shuiwang Ji, Sudhir Kumar, Jieping Ye, Zhi-Hua Zhou
1514: Relational Random Forests based on Random Relational Rules
Grant Anderson, Bernhard Pfahringer
1519: Strengthening Schedules Through Uncertainty Analysis
Laura Hiatt, Terry Zimmerman, Stephen Smith, Reid Simmons
1522: Knowledge Transfer on Hybrid Graph
Zheng Wang, Yangqiu Song, Changshui Zhang
1524: Domain-Informed Novelty Detection for Autonomous Exploration
David Thompson
1527: Acquiring Agent-Based Models of Conflict from Event Data
Glenn Taylor, Michael Quist, Allen Hicken
1528: Methodology for Designing Reasonably Expressive Mechanisms with Application to Ad Auctions
Michael Benisch, Norman Sadeh, Tuomas Sandholm
1529: Integrating Systematic and Local Search Paradigms: A New Strategy for MAX-SAT
Lukas Kroc, Ashish Sabharwal, Carla gomes, Bart Selman
1536: Efficient Computation of Jointree Bounds for Systematic MAP Search
Changhe Yuan, Eric Hansen
1546: Non-metric Label Propagation
Yin Zhang, Zhi-Hua Zhou
1555: Speeding Up Inference in MLNs by Preprocessing to Reduce the Size of the Resulting Grounded Network
Jude Shavlik, Sriraam Natarajan
1577: Word Sense Disambiguation for All Words Without Hard Labor
Zhi Zhong, Hwee Tou Ng
1588: A Content-Based Method to Enhance Tag Recommendation
Yu-Ta Lu, Shoou-I Yu, Tsung-Chieh Chang, Jane Yung-jen Hsu
1593: Variety Reasoning for Multiset Constraint Propagation
Yat Chiu Law, Jimmy Lee, May H.C. Woo
1601: A fixed-parameter tractable algorithm for spatio-temporal calendar management
Bernhard Nebel, Jochen Renz
1611: Preferences, Mechanisms, and Collaboration in Transportation: The ABC of Ridesharing
Ece Kamar, Eric Horvitz
1640: An Unified Framework for Dialectical Proof Procedures in Argumentation
phan minh dung, phan min thang
1642: Russian Doll Search with Tree Decomposition
Marti Sanchez, David Allouche, Simon de Givry, Thomas Schiex
1658: Exploiting Multi-Modal Interactions: A Unified Framework
Ming Li, Xiao-Bing Xue, Zhi-Hua Zhou
1677: Plausible Repairs for Inconsistent Requirements
Alexander Felfernig, Gerhard Friedrich, Markus Mairitsch, Erich Teppan
1680: Incorporating User Behaviors in New Word Detection
Yabin Zheng, Zhiyuan Liu, maosong sun
1683: Probabilistic Models for Concurrent Chatting Activity Recognition
Jane Yung-jen Hsu, Chia-Chun Lian
Southern California is a home to the aerospace and entertainment industries
Site last updated on 4/15/2009
[返回] 中文XML论坛 - 专业的XML技术讨论区 →
W3CHINA.ORG讨论区 - Web新技术讨论 → 『 Semantic Web(语义Web)/描述逻辑/本体 』 → IJCAI-09 accepted paper list
(订阅本版)
2009/4/16 7:33:00
新浪微博
IJCAI-09 accepted paper list
