Dieter Fox, Carla P. Gomes (Eds.): Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008. AAAI Press 2008 ISBN 978-1-57735-368-3
Main Track Technical Papers
Agents, Game Theory, Auctions, and Mechanism Design
- Ricardo M. Araujo, Luís C. Lamb: Memetic Networks: Analyzing the Effects of Network Properties in Multi-Agent Performance. 3-8
- Yonatan Aumann, Noam Hazon, Sarit Kraus, David Sarne: Physical Search Problems Applying Economic Search Models. 9-16
- Yaad Blum, Jeffrey S. Rosenschein: Multiagent Graph Coloring: Pareto Efficiency, Fairness and Individual Rationality. 24-29
- Craig Boutilier, David C. Parkes, Tuomas Sandholm, William E. Walsh: Expressive Banner Ad Auctions and Model-Based Online Optimization for Clearing. 30-37
- Felix Brandt, Felix A. Fischer, Paul Harrenstein, Maximilian Mair: A Computational Analysis of the Tournament Equilibrium Set. 38-43
- Eric Brelsford, Piotr Faliszewski, Edith Hemaspaandra, Henning Schnoor, Ilka Schnoor: Approximability of Manipulating Elections. 44-49
- Edith Elkind, Leslie Ann Goldberg, Paul W. Goldberg, Michael Wooldridge: On the Dimensionality of Voting Games. 69-74
- Andrew Gilpin, Javier Peña, Tuomas Sandholm: First-Order Algorithm with O(ln(1/e)) Convergence for e-Equilibrium in Two-Person Zero-Sum Games. 75-82
- Anthony Hunter: Reasoning about the Appropriateness of Proponents for Arguments. 89-94
- Sven Koenig, Xiaoming Zheng, Craig A. Tovey, Richard B. Borie, Philip Kilby, Vangelis Markakis, Pinar Keskinocak: Agent Coordination with Regret Clearing. 101-107
- Sébastien Lahaie, David C. Parkes, David M. Pennock: An Expressive Auction Design for Online Display Advertising. 108-113
- Fangzhen Lin, Pingzhong Tang: Computer-Aided Proofs of Arrow's and Other Impossibility Theorems. 114-119
- Toshihiro Matsui, Hiroshi Matsuo, Marius Silaghi, Katsutoshi Hirayama, Makoto Yokoo: Resource Constrained Distributed Constraint Optimization with Virtual Variables. 120-125
- Reshef Meir, Ariel D. Procaccia, Jeffrey S. Rosenschein: Strategyproof Classification under Constant Hypotheses: A Tale of Two Functions. 126-131
- Martín O. Moguillansky, Nicolás D. Rotstein, Marcelo A. Falappa, Alejandro Javier García, Guillermo Ricardo Simari: Argument Theory Change Applied to Defeasible Logic Programming. 132-137
- Steven Okamoto, Paul Scerri, Katia P. Sycara: The Impact of Vertical Specialization on Hierarchical Multi-Agent Systems. 138-143
- Zinovi Rabinovich, Nir Pochter, Jeffrey S. Rosenschein: Coordination and Multi-Tasking Using EMT. 144-149
- Talal Rahwan, Nicholas R. Jennings: Coalition Structure Generation: Dynamic Programming Meets Anytime Optimization. 156-161
- Sven Seuken, Ruggiero Cavallo, David C. Parkes: Partially Synchronized DEC-MDPs in Dynamic Mechanism Design. 162-169
- Sameena Shah, Ravi Kothari, Jayadeva, Suresh Chandra: Mathematical Modeling and Convergence Analysis of Trail Formation. 170-175
- Munindar P. Singh: Semantical Considerations on Dialectical and Practical Commitments. 176-181
- Ioannis A. Vetsikas, Nicholas R. Jennings: Bidding Strategies for Realistic Multi-Unit Sealed-Bid Auctions. 182-189
- Lirong Xia, Vincent Conitzer: Determining Possible and Necessary Winners under Common Voting Rules Given Partial Orders. 196-201
- Lirong Xia, Vincent Conitzer, Jérôme Lang: Voting on Multiattribute Domains with Cyclic Preferential Dependencies. 202-207
- Michael Zuckerman, Piotr Faliszewski, Yoram Bachrach, Edith Elkind: Manipulating the Quota in Weighted Voting Games. 215-220
Constraints, Satisfiability, and Search
- Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà: Measuring the Hardness of SAT Instances. 222-228
- Belaid Benhamou, Mohamed Réda Saïdi: A New Incomplete Method for CSP Inconsistency Checking. 229-234
- Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Claude-Guy Quimper, Toby Walsh: The Parameterized Complexity of Global Constraints. 235-240
- Manuel Cebrián, Iván Dotú, Pascal Van Hentenryck, Peter Clote: Protein Structure Prediction on the Face Centered Cubic Lattice by Local Search. 241-246
- Hai Leong Chieu, Wee Sun Lee: Relaxed Survey Propagation: A Sum-Product Algorithm for Max-SAT. 247-252
- Martin C. Cooper, Simon de Givry, Martí Sánchez, Thomas Schiex, Matthias Zytnicki: Virtual Arc Consistency for Weighted CSP. 253-258
- Yong Gao: Phase Transitions and Complexity of Weighted Satisfiability and Other Intractable Parameterized Problems. 265-270
- Philipp Hertel, Fahiem Bacchus, Toniann Pitassi, Allen Van Gelder: Clause Learning Can Effectively P-Simulate General Propositional Resolution. 283-290
- Joshua D. Isom, Sean P. Meyn, Richard D. Braatz: Piecewise Linear Dynamic Programming for Constrained POMDPs. 291-296
- Joxan Jaffar, Andrew E. Santosa, Razvan Voicu: Efficient Memoization for Dynamic Programming with Ad-Hoc Constraints. 297-303
- Richard E. Korf: Minimizing Disk I/O in Two-Bit Breadth-First Search. 317-324
- Akshat Kumar, Adrian Petcu, Boi Faltings: H-DPOP: Using Hard Constraints for Search Space Pruning in DCOP. 325-330
- Branislav Kveton, Jia Yuan Yu, Georgios Theocharous, Shie Mannor: Online Learning with Expert Advice and Finite-Horizon Constraints. 331-336
- Wei Li, Pascal Poupart, Peter van Beek: Exploiting Causal Independence Using Weighted Model Counting. 337-343
- Han Lin, Kaile Su, Chu Min Li: Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving. 351-356
- Pierre Schaus, Yves Deville: A Global Constraint for Bin-Packing with Precedences: Application to the Assembly Line Balancing Problem. 369-374
- Pascal Van Hentenryck, Justin Yip, Carmen Gervet, Grégoire Dooms: Bound Consistency for Binary Length-Lex Set Constraints. 375-380
- Uzi Zahavi, Ariel Felner, Neil Burch, Robert C. Holte: Predicting the Performance of IDA* with Conditional Distributions. 381-386
- Xiaotong Zhang, Weiming Liu, Sanjiang Li, Mingsheng Ying: Reasoning with Cardinal Directions: An Efficient Algorithm. 387-392
- Roie Zivan: Anytime Local Search for Distributed Constraint Optimization. 393-398
Knowledge Representation, Logic, and Information Systems
- Jie Bao, George Voutsadakis, Giora Slutzki, Vasant Honavar: On the Decidability of Role Mappings between Modular Ontologies. 400-405
- Chitta Baral, Jicheng Zhao: Non-monotonic Temporal Logics that Facilitate Elaboration Tolerant Revision of Goals. 406-411
- Meghyn Bienvenu: Prime Implicate Normal Form for ALC Concepts. 412-417
- Piero A. Bonatti, Enrico Pontelli, Tran Cao Son: Credulous Resolution for Answer Set Programming. 418-423
- Hélène Fargier, Pierre Marquis: Extending the Knowledge Compilation Map: Krom, Horn, Affine and Beyond. 442-447
- Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits: A Meta-Programming Technique for Debugging Answer-Set Programs. 448-453
- Joseph Y. Halpern: From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic. 454-459
- Victor Jauregui: Nonmonotonic Modes of Inference. 460-465
- Marina Langlois, Robert H. Sloan, Balázs Szörényi, György Turán: Horn Complements: Towards Horn-to-Horn Belief Revision. 466-471
- Joohyung Lee, Vladimir Lifschitz, Ravi Palla: A Reductive Semantics for Counting and Choice in Answer Set Programming. 472-479
- Yongmei Liu: A Formalization of Program Debugging in the Situation Calculus. 486-491
- Leora Morgenstern: A First-Order Theory of Stanislavskian Scene Analysis. 498-503
- Magdalena Ortiz, Mantas Simkus, Thomas Eiter: Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses. 504-510
- Austin Parker, Guillaume Infantes, V. S. Subrahmanian, John Grant: An AGM-Based Belief Revision Mechanism for Probabilistic Spatio-Temporal Logics. 511-516
- Knot Pipatsrisawat, Adnan Darwiche: New Compilation Languages Based on Structured Decomposability. 517-522
- Guilin Qi: A Semantic Approach for Iterated Revision in Possibilistic Logic. 523-528
- Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler: Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams. 529-534
- Robert Speer, Catherine Havasi, Henry Lieberman: AnalogySpace: Reducing the Dimensionality of Common Sense Knowledge. 548-553
- Miroslaw Truszczynski, Stefan Woltran: Hyperequivalence of Logic Programs with Respect to Supported Models. 560-565
- Jun Wang, Gregory M. Provan: Generating Application-Specific Benchmark Models for Complex Systems. 566-571
Machine Learning
- Babak Alipanahi, Michael Biggs, Ali Ghodsi: Distance Metric Learning Versus Fisher Discriminant Analysis. 598-603
- John Asmuth, Michael L. Littman, Robert Zinkov: Potential-based Shaping in Model-based Reinforcement Learning. 604-609
- Mo Chen, Jianzhuang Liu, Xiaoou Tang: Clustering via Random Walk Hitting Time on Directed Graphs. 616-621
- Thomas G. Dietterich, Xinlong Bao: Integrating Multiple Learning Components through Markov Logic. 622-627
- Jason Gauci, Kenneth O. Stanley: A Case Study on the Critical Role of Geometric Regularity in Machine Learning. 628-633
- Feiping Nie, Shiming Xiang, Yangqing Jia, Changshui Zhang, Shuicheng Yan: Trace Ratio Criterion for Feature Selection. 671-676
- Sinno Jialin Pan, James T. Kwok, Qiang Yang: Transfer Learning via Dimensionality Reduction. 677-682
- Jianqiang Shen, Lida Li, Weng-Keen Wong: Markov Blanket Feature Selection for Support Vector Machines. 696-701
- Neha Sugandh, Santiago Ontañón, Ashwin Ram: On-Line Case-Based Plan Adaptation for Real-Time Strategy Games. 702-707
- Robert Van Dam, Irene Langkilde-Geary, Dan Ventura: Adapting ADtrees for High Arity Features. 708-713
- Thomas J. Walsh, Michael L. Littman: Efficient Learning of Action Schemas and Web-Service Descriptions. 714-719
- Fei Wang, Tao Li, Gang Wang, Changshui Zhang: Semi-supervised Classification Using Local and Global Regularization. 726-731
- Danny Wyatt, Tanzeem Choudhury, Jeff A. Bilmes: Learning Hidden Curved Exponential Family Models to Infer Face-to-Face Interaction Networks from Situated Speech Data. 732-738
- Bin Zhang, Fei Wang, Ta-Hsin Li, Wen Jun Yin, Jin Dong: Classification by Discriminative Regularization. 746-751
- Daoqiang Zhang, Songcan Chen, Zhi-Hua Zhou, Qiang Yang: Constraint Projections for Ensemble Learning. 758-763
Multidisciplinary Topics and Applications
- Yolanda Gil, Varun Ratnakar: Automating To-Do Lists for Users: Interpretation of To-Dos for Selecting and Tasking Agents. 765-771
- Dan Morris, Ian Simon, Sumit Basu: Exposing Parameters of a Trained Dynamic Model for Interactive Music Creation. 784-791
- Nathan E. Rosenblum, Xiaojin Zhu, Barton P. Miller, Karen Hunt: Learning to Analyze Binary Computer Code. 798-804
- Jun Zhou, Li Cheng, Walter F. Bischof: Prediction and Change Detection in Sequential Data for Interactive Applications. 805-810
- Yang Zhou, Zheng Li, Xuerui Yang, Linxia Zhang, Shireesh Srivastava, Rong Jin, Christina Chan: Using Knowledge Driven Matrix Factorization to Reconstruct Modular Gene Regulatory Network. 811-816
Natural-Language Processing
- Chitta Baral, Juraj Dzifcak, Tran Cao Son: Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions. 818-823
- Brandon Beamer, Alla Rozovskaya, Roxana Girju: Automatic Semantic Relation Extraction with Multiple Boundary Generation. 824-829
- Ming-Wei Chang, Lev-Arie Ratinov, Dan Roth, Vivek Srikumar: Importance of Semantic Representation: Dataless Classification. 830-835
- Rakesh Gupta, Lev-Arie Ratinov: Text Categorization with Knowledge Transfer from Heterogeneous Data Sources. 842-847
- Xiaojun Wan, Jianguo Xiao: Single Document Keyphrase Extraction Using Neighborhood Knowledge. 855-860
- Torsten Zesch, Christof Müller, Iryna Gurevych: Using Wiktionary for Computing Semantic Relatedness. 861-866
Reasoning about Plans, Processes, and Actions
- Spyros Angelopoulos, Alejandro López-Ortiz, Angèle M. Hamel: Optimal Scheduling of Contract Algorithms with Soft Deadlines. 868-873
- Björn Ulrich Borowsky, Stefan Edelkamp: Optimal Metric Planning with State Sets in Automata Representation. 874-879
- Paul Breimyer, Peter R. Wurman: PBA*: Using Proactive Search to Make A* Robust to Unplanned Deviations. 880-885
- Yixin Chen, Ruoyun Huang, Weixiong Zhang: Fast Planning by Search in Domain Transition Graph. 886-891
- Andrew Coles, Maria Fox, Derek Long, Amanda Smith: Planning with Problems Requiring Temporal Coordination. 892-897
- Thomas Eiter, Michael Fink, Ján Senko: Error Classification in Action Descriptions: A Heuristic Approach. 905-910
- Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund: Computing Minimal Diagnoses by Greedy Stochastic Search. 911-918
- Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund: Computing Observation Vectors for Max-Fault Min-Cardinality Diagnoses. 919-924
- Christian Fritz: Finding State Similarities for Faster Planning. 925-930
- Malte Helmert, Robert Mattmüller: Accuracy of Admissible Heuristic Functions in Selected Planning Domains. 938-943
- Chad Hogg, Héctor Muñoz-Avila, Ugur Kuter: HTN-MAKER: Learning HTNs with Minimal Additional Knowledge Engineering Required. 950-956
- Li Li, Nilufer Onder: Generating Plans in Concurrent, Probabilistic, Over-Subscribed Domains. 957-962
- Evdokia Nikolova, David R. Karger: Route Planning under Uncertainty: The Canadian Traveller Problem. 969-974
- Dmitry Shaparau, Marco Pistore, Paolo Traverso: Fusing Procedural and Declarative Planning Goals for Nondeterministic Domains. 983-990
- Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein: Learning Generalized Plans Using Abstract Counting. 991-997
- Gita Sukthankar, Katia P. Sycara: Hypothesis Pruning and Ranking for Large Plan Recognition Problems. 998-1003
- Stavros Vassos, Hector J. Levesque: On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture. 1004-1009
- Sung Wook Yoon, Alan Fern, Robert Givan, Subbarao Kambhampati: Probabilistic Planning via Determinization in Hindsight. 1010-1016
Uncertainty in AI
- Minmin Chen, Yixin Chen, Michael R. Brent: CRF-OPT: An Efficient High-Quality Conditional Random Field Solver. 1018-1023
- Arthur Choi, Adnan Darwiche: Focusing Generalizations of Belief Propagation on Targeted Queries. 1024-1030
- Arthur Choi, Adnan Darwiche: Many-Pairs Mutual Information for Adding Structure to Belief Propagation Approximations. 1031-1036
- Christophe Gonzales, Patrice Perny, Sergio Queiroz: Preference Aggregation with Graphical Utility Models. 1037-1042
- Kee-Eung Kim: Exploiting Symmetries in POMDPs for Point-Based Algorithms. 1043-1048
- Janusz Marecki, Milind Tambe: Towards Faster Planning with Continuous Resources in Stochastic Domains. 1049-1055
- Mahdi Milani Fard, Joelle Pineau, Peng Sun: A Variance Analysis for POMDP Policy Evaluation. 1056-1061
- Brian Milch, Luke S. Zettlemoyer, Kristian Kersting, Michael Haimes, Leslie Pack Kaelbling: Lifted Probabilistic Inference with Counting Formulas. 1062-1068
- Hoifung Poon, Pedro Domingos, Marc Sumner: A General Method for Reducing the Complexity of Relational Inference and its Application to MCMC. 1075-1080
- Hyeong Seop Sim, Kee-Eung Kim, Jin Hyung Kim, Du-Seong Chang, Myoung-Wan Koo: Symbolic Heuristic Search Value Iteration for Factored POMDPs. 1088-1093
- Ioannis Tsamardinos, Laura E. Brown: Bounding the False Discovery Rate in Local Bayesian Network Learning. 1100-1105
- Yi Wang, Nevin Lianwen Zhang, Tao Chen: Latent Tree Models and Approximate Inference in Bayesian Networks. 1112-1118
- Changhe Yuan, Tsai-Ching Lu: A General Framework for Generating Multivariate Explanations in Bayesian Networks. 1119-1124
Special Track on Artificial Intelligence and the Web
- Ofer Egozi, Evgeniy Gabrilovich, Shaul Markovitch: Concept-Based Feature Generation and Selection for Information Retrieval. 1132-1137
- Jennifer Golbeck, Matthew Rothstein: Linking Social Networks on the Web with FOAF: A Semantic Web Case Study. 1138-1143
- Rong Hu, Weizhu Chen, Jian Hu, Yansheng Lu, Zheng Chen, Qiang Yang: Mining Translations of Web Queries from Web Click-through Data. 1144-1149
- Shu Huang, Qiankun Zhao, Prasenjit Mitra, C. Lee Giles: Hierarchical Location and Topic Based Query Expansion. 1150-1155
- Daisuke Ikeda, Hiroya Takamura, Manabu Okumura: Semi-Supervised Learning for Blog Classification. 1156-1161
- Jun Karamon, Yutaka Matsuo, Mitsuru Ishizuka: Generating Useful Network-based Features for Analyzing Social Networks. 1162-1168
- Saurabh Kataria, William Browuer, Prasenjit Mitra, C. Lee Giles: Automatic Extraction of Data Points and Text Blocks from 2-Dimensional Plots in Digital Documents. 1169-1174
- Masahiro Kimura, Kazumi Saito, Hiroshi Motoda: Minimizing the Spread of Contamination by Blocking Links in a Network. 1175-1180
- Andreas Krause, Eric Horvitz: A Utility-Theoretic Approach to Privacy and Personalization. 1181-1188
- Lin Li, Zhenglu Yang, Ling Liu, Masaru Kitsuregawa: Query-URL Bipartite Based Approach to Personalized Query Recommendation. 1189-1194
- Gang Luo: Intelligent Output Interface for Intelligent Medical Search Engine. 1201-1206
- Ming Mao, Yefei Peng, Michael Spring: Neural Network based Constraint Satisfaction in Ontology Mapping. 1207-1212
- Christian Meilicke, Heiner Stuckenschmidt, Andrei Tamilin: Supporting Manual Mapping Revision using Logical Reasoning. 1213-1218
- Marius Pasca: Turning Web Text and Search Queries into Factual Knowledge: Hierarchical Class Attribute Extraction. 1225-1230
- Young-In Song, Chin-Yew Lin, Yunbo Cao, Hae-Chang Rim: Question Utility: A Novel Static Ranking of Question Search. 1231-1236
- Thanh Tran, Peter Haase, Boris Motik, Bernardo Cuenca Grau, Ian Horrocks: Metalevel Information in Ontology-Based Applications. 1237-1242
- Benjamin Van Durme, Marius Pasca: Finding Cars, Goddesses and Enzymes: Parametrizable Acquisition of Labeled Instances for Open-Domain Information Extraction. 1243-1248
- Tak-Lam Wong, Tik-Shun Wong, Wai Lam: An Unsupervised Approach for Product Record Normalization across Different Web Sites. 1249-1254
- Songhua Xu, Yi Zhu, Hao Jiang, Francis C. M. Lau: A User-Oriented Webpage Ranking Algorithm Based on User Attention Time. 1255-1260
- Zhenglu Yang, Lin Li, Masaru Kitsuregawa: Efficient Querying Relaxed Dominant Relationship between Product Items Based on Rank Aggregation. 1261-1266
Special Track on Integrated Intelligence
- Mark H. Burstein, Robert Laddaga, David D. McDonald, Michael T. Cox, Brett Benyo, Paul Robertson, Talib S. Hussain, Marshall Brinn, Drew V. McDermott: POIROT - Integrated Learning of Web Service Procedures. 1274-1279
- Morteza Dehghani, Emmett Tomai, Kenneth D. Forbus, Matthew Klenk: An Integrated Reasoning Approach to Moral Decision-Making. 1280-1286
- Michael Freed, Jaime G. Carbonell, Geoffrey J. Gordon, Jordan Hayes, Brad A. Myers, Daniel P. Siewiorek, Stephen F. Smith, Aaron Steinfeld, Anthony Tomasic: RADAR: A Personal Assistant that Learns to Reduce Email Overload. 1287-1293
- Sergio Jiménez, Fernando Fernández, Daniel Borrajo: The PELA Architecture: Integrating Planning and Learning to Improve Execution. 1294-1299
- William G. Kennedy, Magdalena D. Bugajska, William Adams, Alan C. Schultz, J. Gregory Trafton: Incorporating Mental Simulation for a More Effective Robotic Teammate. 1300-1305
- Lukas Kuhn, Bob Price, Johan de Kleer, Minh Binh Do, Rong Zhou: Pervasive Diagnosis: The Integration of Diagnostic Goals into Production Plans. 1306-1312
- Conor McGann, Frederic Py, Kanna Rajan, John P. Ryan, Richard Henthorn: Adaptive Control for Autonomous Underwater Vehicles. 1319-1324
- Daniel G. Shapiro, Tolga Könik, Paul O'Rorke: Achieving Far Transfer in an Integrated Cognitive Architecture. 1325-1330
Special Track on Physically Grounded Artificial Intelligence
- Frank Broz, Illah R. Nourbakhsh, Reid G. Simmons: Planning for Human-Robot Interaction Using Time-State Aggregated POMDPs. 1339-1344
- Hung Hai Bui, Dinh Q. Phung, Svetha Venkatesh, Hai Phan: The Hidden Permutation Model and Location-Based Activity Recognition. 1345-1350
- Hirotaka Hachiya, Takayuki Akiyama, Masashi Sugiyama, Jan Peters: Adaptive Importance Sampling with Automatic Model Selection in Value Function Approximation. 1351-1356
- Guy Hoffman, Cynthia Breazeal: Anticipatory Perceptual Simulation for Human-Robot Joint Practice: Theory and Application Study. 1357-1362
- Derek Hao Hu, Qiang Yang: CIGAR: Concurrent and Interleaving Goal and Activity Recognition. 1363-1368
- Thomas Kollar, Nicholas Roy: Efficient Optimization of Information-Theoretic Exploration in SLAM. 1369-1375
- Masahiro Ono, Brian C. Williams: An Efficient Motion Planning Algorithm for Stochastic Dynamic Systems with Constraints on Probability of Failure. 1376-1382
- Sinno Jialin Pan, Dou Shen, Qiang Yang, James T. Kwok: Transferring Localization Models across Space. 1383-1388
- William Pentney, Matthai Philipose, Jeff A. Bilmes: Structure Learning on Large Scale Common Sense Statistical Models of Human State. 1389-1395
- Cédric Rose, Jamal Saboune, François Charpillet: Reducing Particle Filtering Complexity for 3D Motion Capture using Dynamic Bayesian Networks. 1396-1401
- Benjamin Sapp, Ashutosh Saxena, Andrew Y. Ng: A Fast Data Collection and Augmentation Procedure for Object Recognition. 1402-1408
- Luciano Spinello, Rudolph Triebel, Roland Siegwart: Multimodal People Detection and Tracking in Crowded Scenes. 1409-1414
- Douglas L. Vail, Manuela M. Veloso: Feature Selection for Activity Recognition in Multi-Robot Domains. 1415-1420
- Vincent Wenchen Zheng, Evan Wei Xiang, Qiang Yang, Dou Shen: Transferring Localization Models over Time. 1421-1426
- Vincent Wenchen Zheng, Sinno Jialin Pan, Qiang Yang, Jeffrey Junfeng Pan: Transferring Multi-device Localization Models using Latent Multi-task Learning. 1427-1432
- Brian D. Ziebart, Andrew L. Maas, J. Andrew Bagnell, Anind K. Dey: Maximum Entropy Inverse Reinforcement Learning. 1433-1438
Short Papers
- Martin Allen, Marek Petrik, Shlomo Zilberstein: Interaction Structure and Dimensionality Reduction in Decentralized MDPs. 1440-1441
- Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carles Mateu: Generating Hard SAT/CSP Instances Using Expander Graphs. 1442-1443
- Victoria Bobicev, Marina Sokolova: An Effective and Robust Method for Short Text Classification. 1444-1445
- James C. Boerkoel Jr., Edmund H. Durfee: Hybrid Constraint Tightening for Solving Hybrid Scheduling Problems. 1446-1449
- Jonathan Dinerstein, Parris K. Egbert, Dan Ventura, Michael A. Goodrich: Data-Driven Programming and Behavior for Autonomous Virtual Characters. 1450-1451
- Andrew Gilpin, Tuomas Sandholm: Expectation-Based Versus Potential-Aware Automated Abstraction in Imperfect Information Games: An Experimental Comparison Using Poker. 1454-1457
- Sean Igo, Ellen Riloff: Learning to Identify Reduced Passive Verb Phrases with a Shallow Parser. 1458-1461
- Ulf Krumnack, Helmar Gust, Kai-Uwe Kühnberger, Angela Schwering: The Re-Representation Problem in a Logic-Based Framework for Analogy Making. 1462-1463
- Riadh Ksantini, Djemel Ziou, Bernard Colin, François Dubeau: A Bayesian Kernel Logistic Discriminant Model: An Improvement to the Kernel Fisher's Discriminant. 1464-1465
- Robert N. Lass, Evan Sultanik, William C. Regli: Dynamic Distributed Constraint Reasoning. 1466-1469
- Sridhar Mahadevan: Fast Spectral Learning using Lanczos Eigenspace Projections. 1472-1475
- Duc Nghia Pham, John Thornton, Abdul Sattar: Efficiently Exploiting Dependencies in Local Search for SAT. 1476-1478
- Manh Tung Pham, Kiam Tian Seow: Towards Synthesizing Optimal Coordination Modules for Distributed Agents. 1479-1480
- Knot Pipatsrisawat, Adnan Darwiche: A New Clause Learning Scheme for Efficient Unsatisfiability Proofs. 1481-1484
- Marc J. V. Ponsen, Jan Ramon, Tom Croonenborghs, Kurt Driessens, Karl Tuyls: Bayes-Relational Learning of Opponent Models from Incomplete Information in No-Limit Poker. 1485-1486
- Ian Porteous, Evgeniy Bart, Max Welling: Multi-HDP: A Non Parametric Bayesian Model for Tensor Factorization. 1487-1490
- Ashutosh Saxena, Lawson L. S. Wong, Andrew Y. Ng: Learning Grasp Strategies with Partial Shape Information. 1491-1494
- William E. Walsh, David C. Parkes, Tuomas Sandholm, Craig Boutilier: Computing Reserve Prices and Identifying the Value Distribution in Real-world Auctions with Market Disruptions. 1499-1502
- Yin Zhang, Zhi-Hua Zhou: Multi-Label Dimensionality Reduction via Dependence Maximization. 1503-1505
- Xiaojin Zhu, Michael Coen, Shelley Prudom, Ricki Colman, Joseph Kemnitz: Online Learning in Monkeys. 1506-1507
Nectar Papers
- Jorge A. Baier, Christian Fritz, Meghyn Bienvenu, Sheila A. McIlraith: Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners. 1509-1512
- Ming-Wei Chang, Lev-Arie Ratinov, Nicholas Rizzolo, Dan Roth: Learning and Inference with Constraints. 1513-1518
- Minh Binh Do, Wheeler Ruml, Rong Zhou: On-line Planning and Scheduling: An Application to Controlling Modular Printers. 1519-1523
- Mark Dredze, Hanna M. Wallach, Danny Puller, Tova Brooks, Josh Carroll, Joshua Magarick, John Blitzer, Fernando Pereira: Intelligent Email: Aiding Users with AI. 1524-1527
- Krzysztof Z. Gajos, Daniel S. Weld, Jacob O. Wobbrock: Decision-Theoretic User Interface Generation. 1532-1536
- Georg Gottlob, Reinhard Pichler, Fang Wei: Abduction with Bounded Treewidth: From Theoretical Tractability to Practically Efficient Computation. 1541-1546
- Malte Helmert, Patrik Haslum, Jörg Hoffmann: Explicit-State Abstraction: A New Method for Generating Heuristic Functions. 1547-1550
- Vithal Kuchibatla, Héctor Muñoz-Avila: An Analysis of Transformational Analogy: General Framework and Complexity. 1555-1558
- Praveen Paruchuri, Jonathan P. Pearce, Janusz Marecki, Milind Tambe, Fernando Ordóñez, Sarit Kraus: Efficient Algorithms to Solve Bayesian Stackelberg Games for Security Applications. 1559-1562
- Kayur Patel, James Fogarty, James A. Landay, Beverly L. Harrison: Examining Difficulties Software Developers Encounter in the Adoption of Statistical Machine Learning. 1563-1566
- Ashutosh Saxena, Min Sun, Andrew Y. Ng: Make3D: Depth Perception from a Single Still Image. 1571-1576
- Krysta Marie Svore, Lucy Vanderwende, Christopher J. C. Burges: Using Signals of Human Interest to Enhance Single-document Summarization. 1577-1580
- Kagan Tumer, Adrian K. Agogino: Adaptive Management of Air Traffic Flow: A Multiagent Coordination Approach. 1581-1584
- Toby Walsh: Breaking Value Symmetry. 1585-1588
Senior Member Papers
- Christopher L. Barrett, Stephen Eubank, Madhav V. Marathe: An Interaction-Based Approach to Computational Epidemiology. 1590-1593
- Vladimir Lifschitz: What Is Answer Set Programming?. 1594-1597
- Raymond J. Mooney: Learning to Connect Language and Perception. 1598-1601
- Erik Sandewall: Artificial Intelligence Needs Open-Access Knowledgebase Contents. 1602-1605
- Yoav Shoham: Game Theory Pragmatics: A Challenge for AI. 1606-1608
- Daniel S. Weld, Fei Wu, Eytan Adar, Saleema Amershi, James Fogarty, Raphael Hoffmann, Kayur Patel, Michael Skinner: Intelligence in Wikipedia. 1609-1614
Innovative Applications of Artificial Intelligence
Deployed Papers
- Andy Hon Wai Chun: Using AI for Olympic Equestrian Event Preparation. 1616-1623
- Jiyou Jia: A Case Study of AI Application on Language Instruction: CSIEC. 1624-1631
- W. Lewis Johnson, André Valente: Tactical Language and Culture Training Systems: Using Artificial Intelligence to Teach Foreign Languages and Cultures. 1632-1639
- David C. Wilson, Suzanne Leland, Kenneth Godwin, Andrew Baxter, Ashley Levy, Jamie Smart, Nadia Najjar, Jayakrishnan Andaparambil: The Law of Choice and the Decision Not to Decide. 1640-1647
Emerging Papers
- Jennifer Abernethy, Robert Sharman, Elizabeth Bradley: Application of Artificial Intelligence to Operational Real-Time Clear-Air Turbulence Prediction. 1649-1654
- Scott Dejmal, Alan Fern, Thinh P. Nguyen: Reinforcement Learning for Vulnerability Assessment in Peer-to-Peer Networks. 1655-1662
- Glenn Fung, Sriram Krishnan, R. Bharat Rao, Hui Chen: Learning Sparse Kernels from 3D Surfaces for Heart Wall Motion Abnormality Detection. 1663-1670
- Arthur Guez, Robert D. Vincent, Massimo Avoli, Joelle Pineau: Adaptive Treatment of Epilepsy via Batch-mode Reinforcement Learning. 1671-1678
- Kalyan Moy Gupta, Michael Zang, Adam Gray, David W. Aha, Joe Kriege: Enabling the Interoperability of Large-Scale Legacy Systems. 1679-1684
- Hamid Haidarian Shahri, Donald Perlis: Finding Ontological Correspondences for a Domain-Independent Natural Language Dialog Agent. 1685-1692
- David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson: Personalisation of Telecommunications Services as Combinatorial Optimisation. 1693-1698
- Ole J. Mengshoel, Adnan Darwiche, Keith Cascio, Mark Chavira, Scott Poll, N. Serdar Uckun: Diagnosing Faults in Electrical Power Systems of Spacecraft and Aircraft. 1699-1705
- Robert A. Morris, John Gasch, Lina Khatib, Steven Covington: Local Search for Optimal Global Map Generation Using Mid-Decadal Landsat Images. 1706-1711
- Robert A. Morris, Nikunj C. Oza, Leslie Keely, Elif Kürklü, Anthony Strawa: Learning to Improve Earth Observation Flight Planning. 1712-1717
- Nicolas Padoy, Tobias Blum, Hubertus Feussner, Marie-Odile Berger, Nassir Navab: On-line Recognition of Surgical Activity for Monitoring in the Operating Room. 1718-1724
- Ariella Richardson, Sarit Kraus, Patrice L. Weiss, Sara Rosenblum: COACH - Cumulative Online Algorithm for Classification of Handwriting Deficiencies. 1725-1730
- Reza Sadoddin, Ali A. Ghorbani: Real-time Alert Correlation Using Stream Data Mining Techniques. 1731-1737
- Ramesh Thangarajoo, Lucas Agussurja, Hoong Chuin Lau: A Hybrid Approach to Convoy Movement Planning in an Urban City. 1738-1744
- William H. Turkett Jr., Andrew V. Karode, Errin W. Fulp: In-the-Dark Network Traffic Classification Using Support Vector Machines. 1745-1750
- Christian von Lücken, Ricardo Brunelli: Crops Selection for Optimal Soil Planning using Multiobjective Evolutionary Algorithms. 1751-1756
- Zhaohui Wu, Tong Yu, Huajun Chen, Xiaohong Jiang, Chunying Zhou, Yu Zhang, Yuxin Mao, Yi Feng, Meng Cui, Aining Yin: Semantic Web Development for Traditional Chinese Medicine. 1757-1762
- Jianfeng Zhu, Wenbin Zhu, Chan Hou Che, Andrew Lim: A Vehicle Routing System to Solve a Periodic Vehicle Routing Problem for a Food Chain in Hong Kong. 1763-1768
Student Abstracts
- Mark Austin, Matthew Kelly, Michael Brady: The Benefits of an Ontological Patient Model in Clinical Decision-Support. 1774-1775
- Cosmin Adrian Bejan, Sanda M. Harabagiu: Using Clustering Methods for Discovering Event Structures. 1776-1777
- Antonis Bikakis, Grigoris Antoniou: Distributed Reasoning with Conflicts in a Multi-Context Framework. 1778-1779
- Dunbo Cai, Jigui Sun, Minghao Yin: Conformant Planning Heuristics Based on Plan Reuse in Belief States. 1780-1781
- Shu-Bin Cai, Zhong Ming, Shi-xian Li: Personalized Reasoner Based on Belief Strengths of Information Sources. 1782-1783
- Giovanna Castellano, Anna Maria Fanelli, Paola Plantamura, Maria Alessandra Torsello: A Neuro-Fuzzy Strategy for Web Personalization. 1784-1785
- Luke Dickens: Perpetual Learning for Non-Cooperative Multiple Agents. 1792-1793
- Pooyan Fazli, Ara Bedrosian: Unsupervised Categorization (Filtering) of Google Images Based on Visual Consistency. 1796-1797
- Paul Fodor: Existentially Quantified Values for Queries and Updates of Facts in Transaction Logic Programs. 1798-1799
- Paul Fodor: Querying Sequential and Concurrent Horn Transaction Logic Programs Using Tabling Techniques. 1800-1801
- Robert Holder: Improving a Plan Library for Real-time Systems Using Nearly Orthogonal Latin Hypercube Sampling. 1804-1805
- Fahim Kawsar, Shaikh Mostafa Al Masum, Mitsuru Ishizuka: Text Beautifier: An Affective-Text Tool to Tailor Written Text. 1806-1807
- Igor Kiselev, Reda Alhajj: A Self-organizing Multi-agent System for Adaptive Continuous Unsupervised Learning in Complex Uncertain Environments. 1808-1809
- Chi-Hoon Lee, Matthew R. G. Brown, Russell Greiner, Shaojun Wang, Albert Murtha: Constrained Classification on Structured Data. 1812-1813
- Chia-chun Lian, Jane Yung-jen Hsu: Chatting Activity Recognition in Social Occasions Using Factorial Conditional Random Fields with Iterative Classification. 1814-1815
- Zhihui Luo, David A. Bell, Barry McCollum: Discover Relevant Environment Feature Using Concurrent Reinforcement Learning. 1816-1817
- Ross Mead, Jerry B. Weinberg: 2-Dimensional Cellular Automata Approach for Robot Grid Formations. 1818-1819
- Matthew Miller, Alexander Stoytchev: Hierarchical Voting Experts: An Unsupervised Algorithm for Segmenting Hierarchically Structured Sequences. 1820-1821
- A. S. M. Mahbub Morshed, Mitsuru Ishizuka: ADROIT: Automatic Discourse Relation Organizer of Internet-based Text. 1824-1825
- Keith Purrington, Edmund H. Durfee: NP-Completeness of Outcome Optimization for Partial CP-Nets. 1826-1827
- Jivko Sinapov, Alexander Stoytchev: Toward Autonomous Learning of an Ontology of Tool Affordances by a Robot. 1828-1829
- John C. Stamper, Tiffany Barnes: The Validity of Providing Automated Hints in an ITS Using a MDP. 1830-1831
- Paul Taele, Tracy Hammond: Using a Geometric-Based Sketch Recognition Approach to Sketch Chinese Radicals. 1832-1833
- Aaron Wolin, Brandon Paulson, Tracy Hammond: Eliminating False Positives during Corner Finding by Merging Similar Segments. 1836-1837
- Jiayu Zhou, Youfang Lin, Xi Wang: Visualization of Large-Scale Weighted Clustered Graph: A Genetic Approach. 1838-1839
Doctoral Consortium Abstracts
- Adam Anthony: The Relational Push-Pull Model: A Generative Model for Relational Data Clustering. 1841-1842
- Sandeep Chintabathina: Towards Answer Set Prolog Based Architectures for Intelligent Agents. 1843-1844
- Selina Chu: Unstructured Audio Classification for Environment Recognition. 1845-1846
- Faezeh Ensan: An Architecture and Formalism for Handling Modular Ontologies. 1847-1848
- Paul Fodor: Optimizations and Extensions for the Horn Transaction Logic Programs. 1849-1850
- Noam Hazon: Social Interaction under Uncertainty in Multi Agent Systems. 1851-1852
- Daylond Hooper: Tightly Coupled Cooperation among Independent Agents. 1853-1854
- George Konidaris: Autonomous Robot Skill Acquisition. 1855-1856
- Li Li: Generating Plans in Concurrent, Probabilistic, Over-Subscribed Domains. 1857-1858
- Paul Maier: Adaptive Abstraction of Constraint-Based Models for Self-Diagnosis and Planning. 1859-1860
- Masahiro Ono: Distributed Robust Execution of Qualitative State Plan with Chance Constraints. 1861-1862