22. AAAI / 19. IAAI 2007: Vancouver, British Columbia, Canada
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada. AAAI Press 2007, ISBN 978-1-57735-323-2
Invited Talks

Michael Wooldridge, Thomas Ågotnes, Paul E. Dunne, Wiebe van der Hoek:
Logic for Automated Mechanism Design - A Progress Report. AAAI 2007: 9-17
Technical Papers
Agents, Game Theory, Auctions, and Mechanism Design
Itai Ashlagi, Dov Monderer, Moshe Tennenholtz:
Learning Equilibrium in Resource Selection Games. AAAI 2007: 18-23
Katie Atkinson, Trevor J. M. Bench-Capon:
Action-Based Alternating Transition Systems for Arguments about Action. AAAI 2007: 24-29

Bistra N. Dilkina, Carla P. Gomes, Ashish Sabharwal:
The Impact of Network Topology on Pure Nash Equilibria in Graphical Games. AAAI 2007: 42-49
Andrew Gilpin, Tuomas Sandholm, Troels Bjerre Sørensen:
Potential-Aware Automated Abstraction of Sequential Games, and Holistic Equilibrium Analysis of Texas Hold'em Poker. AAAI 2007: 50-57
Mohammad Taghi Hajiaghayi, Robert D. Kleinberg, Tuomas Sandholm:
Automated Online Mechanism Design and Prophet Inequalities. AAAI 2007: 58-65

Albert Xin Jiang, Kevin Leyton-Brown:
Computing Pure Nash Equilibria in Symmetric Action Graph Games. AAAI 2007: 79-85
H. Brendan McMahan, Geoffrey J. Gordon:
A Unification of Extensive-Form Games and Markov Decision Processes. AAAI 2007: 86-93
David C. Parkes, Quang Duong:
An Ironing-Based Approach to Adaptive Online Mechanism Design in Single-Valued Domains. AAAI 2007: 94-101
Ariel D. Procaccia, Aviv Zohar, Yoni Peleg, Jeffrey S. Rosenschein:
Learning Voting Trees. AAAI 2007: 110-115
Iyad Rahwan, Philippe Pasquier, Liz Sonenberg, Frank Dignum:
On the Benefits of Exploiting Underlying Goals in Argument-based Negotiation. AAAI 2007: 116-121
Baharak Rastegari, Anne Condon, Kevin Leyton-Brown:
Revenue Monotonicity in Combinatorial Auctions. AAAI 2007: 122-127
Steven Reece, Stephen J. Roberts, Alex Rogers, Nicholas R. Jennings:
A Multi-Dimensional Trust Model for Heterogeneous Contract Observations. AAAI 2007: 128-135
Nicolás D. Rotstein, Alejandro Javier García, Guillermo Ricardo Simari:
Reasoning from Desires to Intentions: A Dialectical Framework. AAAI 2007: 136-141
Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer:
A Logic of Emotions for Intelligent Agents. AAAI 2007: 142-147
David Robert Martin Thompson, Kevin Leyton-Brown:
Valuation Uncertainty and Imperfect Introspection in Second-Price Auctions. AAAI 2007: 148-153
Constraints and Satisfiability
Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carles Mateu:
On Balanced CSPs with High Treewidth. AAAI 2007: 161-166
Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà:
Inference Rules for High-Order Consistency in Weighted CSP. AAAI 2007: 167-172
Russell Bent, Pascal Van Hentenryck:
Randomized Adaptive Spatial Decoupling for Large-Scale Vehicle Routing with Time Windows. AAAI 2007: 173-178
Kenil C. K. Cheng, Roland H. C. Yap:
Search Space Reduction and Russian Doll Search. AAAI 2007: 179-184
Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale:
Data Structures for Generalised Arc Consistency for Extensional Constraints. AAAI 2007: 191-197
Vibhav Gogate, Rina Dechter:
Approximate Counting by Sampling the Backtrack-free Search Space. AAAI 2007: 198-203
Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal, Bart Selman:
Counting CSP Solutions Using Generalized XOR Constraints. AAAI 2007: 204-209
Esben Rune Hansen, Peter Tiedemann:
Compressing Configuration Data for Memory Limited Devices. AAAI 2007: 210-216
Esben Rune Hansen, Henrik Reif Andersen:
Interactive Configuration with Regular String Constraints. AAAI 2007: 217-223
Eric I. Hsu, Matthew Kitching, Fahiem Bacchus, Sheila A. McIlraith:
Using Expectation Maximization to Find Likely Assignments for Solving CSP's. AAAI 2007: 224-230
Irit Katriel, Meinolf Sellmann, Eli Upfal, Pascal Van Hentenryck:
Propagating Knapsack Constraints in Sublinear Time. AAAI 2007: 231-236
Christophe Lecoutre, Stéphane Cardon, Julien Vion:
Conservative Dual Consistency. AAAI 2007: 237-242
Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal:
Transposition Tables for Constraint Satisfaction. AAAI 2007: 243-248

Daria Terekhov, J. Christopher Beck, Kenneth N. Brown:
Solving a Stochastic Queueing Design and Control Problem with Constraint Programming. AAAI 2007: 261-266
Pascal Van Hentenryck, Yannis Vergados:
Population-Based Simulated Annealing for Traveling Tournaments. AAAI 2007: 267-271
Pascal Van Hentenryck, Laurent D. Michel:
Synthesis of Constraint-Based Local Search Algorithms from High-Level Models. AAAI 2007: 273-279
Knowledge and Information Systems
Ken Barker, Bhalchandra Agashe, Shaw Yi Chaw, James Fan, Noah S. Friedland, Michael Robert Glass, Jerry R. Hobbs, Eduard H. Hovy, David J. Israel, Doo Soon Kim, Rutu Mulkar-Mehta, Sourabh Patwardhan, Bruce W. Porter, Dan Tecuci, Peter Z. Yeh:
Learning by Reading: A Prototype System, Performance Baseline and Lessons Learned. AAAI 2007: 280-286
Thomas Bittner, Maureen Donnelly:
A Temporal Mereology for Distinguishing between Integral Objects and Portions of Stuff. AAAI 2007: 287-292
Matthew J. Daigle, Xenofon D. Koutsoukos, Gautam Biswas:
A Qualitative Approach to Multiple Fault Isolation in Continuous Systems. AAAI 2007: 293-298
Julian Dolby, Achille Fokoue, Aditya Kalyanpur, Aaron Kershenbaum, Edith Schonberg, Kavitha Srinivas, Li Ma:
Scalable Semantic Retrieval through Summarization and Refinement. AAAI 2007: 299-304
Alban Grastien, Anbulagan, Jussi Rintanen, Elena Kelareva:
Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms. AAAI 2007: 305-310
Bo Hu, Srinandan Dasmahapatra, Paul H. Lewis, Nigel Shadbolt:
On Capturing Semantics in Ontology Mapping. AAAI 2007: 311-316
Ying Liu, Kun Bai, Prasenjit Mitra, C. Lee Giles:
TableRank: A Ranking Algorithm for Table Search and Retrieval. AAAI 2007: 317-322
Barry O'Sullivan, Alexandre Papadopoulos, Boi Faltings, Pearl Pu:
Representative Explanations for Over-Constrained Problems. AAAI 2007: 323-328
Fatiha Saïs, Nathalie Pernelle, Marie-Christine Rousset:
L2R: A Logical Method for Reference Reconciliation. AAAI 2007: 329-334
Anika Schumann, Yannick Pencolé, Sylvie Thiébaux:
A Spectrum of Symbolic On-line Diagnosis Approaches. AAAI 2007: 335-340
Dou Shen, Min Qin, Weizhu Chen, Qiang Yang, Zheng Chen:
Mining Web Query Hierarchies from Clickthrough Data. AAAI 2007: 341-346
Gert Van Dijck, Jo Van Vaerenbergh, Marc M. Van Hulle:
Posterior Probability Profiles for the Automated Assessment of the Recovery of Stroke Patients. AAAI 2007: 347-353
Ghim-Eng Yap, Ah-Hwee Tan, HweeHwa Pang:
Learning Causal Models for Noisy Biological Data Mining: An Application to Ovarian Cancer Detection. AAAI 2007: 354-359
Knowledge Representation and Logic
Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev:
DL-Lite in the Light of First-Order Logic. AAAI 2007: 361-366
Salem Benferhat, Sylvain Lagrue, Julien Rossit:
An Egalitarist Fusion of Incommensurable Ranked Belief Bases under Constraints. AAAI 2007: 367-372
Salem Benferhat, Salma Smaoui:
Possibilistic Causal Networks for Handling Interventions: A New Propagation Algorithm. AAAI 2007: 373-378
Gerhard Brewka, Thomas Eiter:
Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems. AAAI 2007: 385-390
Diego Calvanese, Thomas Eiter, Magdalena Ortiz:
Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach. AAAI 2007: 391-396
Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe:
Approximate Query Answering in Locally Closed Databases. AAAI 2007: 397-402
Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati:
On the Approximation of Instance Level Update and Erasure in Description Logics. AAAI 2007: 403-408

Hojjat Ghaderi, Hector J. Levesque, Yves Lespérance:
A Logical Theory of Coordination and Joint Ability. AAAI 2007: 421-426
Aaron Hunter, James P. Delgrande:
Belief Change and Cryptographic Protocol Verification. AAAI 2007: 427-433
Katsumi Inoue, Chiaki Sakama:
Generality and Equivalence Relations in Default Logic. AAAI 2007: 434-439
Yi Jin, Michael Thielscher, Dongmo Zhang:
Mutual Belief Revision: Semantics and Computation. AAAI 2007: 440-445
Matthew Klenk, Kenneth D. Forbus:
Measuring the Level of Transfer Learning by an AP Physics Problem-Solver. AAAI 2007: 446-451
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler:
Complexity Boundaries for Horn Description Logics. AAAI 2007: 452-457
Johannes Oetsch, Hans Tompits, Stefan Woltran:
Facts Do Not Cease to Exist Because They Are Ignored: Relativised Uniform Equivalence with Answer-Set Projection. AAAI 2007: 458-464
William Pentney, Matthai Philipose, Jeff A. Bilmes, Henry A. Kautz:
Learning Large Scale Common Sense Models of Everyday Life. AAAI 2007: 465-470
Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini:
Description Logics for Multi-Issue Bilateral Negotiation with Incomplete Information. AAAI 2007: 477-482
Yi-Dong Shen, Jia-Huai You:
A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints. AAAI 2007: 483-488
Kaile Su, Abdul Sattar, Han Lin, Mark Reynolds:
A Modal Logic for Beliefs and Pro Attitudes. AAAI 2007: 496-501
Sathiamoorthy Subbarayan, Lucas Bordeaux, Youssef Hamadi:
Knowledge Compilation Properties of Tree-of-BDDs. AAAI 2007: 502-507
Miroslaw Truszczynski:
The Modal Logic S4F, the Default Logic, and the Logic Here-and-There. AAAI 2007: 508-514
Machine Learning
Nolan Bard, Michael H. Bowling:
Particle Filtering for Dynamic Agent Modelling in Simplified Poker. AAAI 2007: 515-521


Wenyuan Dai, Gui-Rong Xue, Qiang Yang, Yong Yu:
Transferring Naive Bayes Classifiers for Text Classification. AAAI 2007: 540-545
Christopher P. Diehl, Galileo Namata, Lise Getoor:
Relationship Identification for Social Network Discovery. AAAI 2007: 546-552
Roy Fox, Moshe Tennenholtz:
A Reinforcement Learning Algorithm with Polynomial Interaction Complexity for Only-Costly-Observable MDPs. AAAI 2007: 553-558
Jeffrey Johns, Sridhar Mahadevan, Chang Wang:
Compact Spectral Bases for Value Function Approximation Using Kronecker Factorization. AAAI 2007: 559-564
Kwangmoo Koh, Seung-Jean Kim, Stephen P. Boyd:
A Method for Large-Scale l1-Regularized Logistic Regression. AAAI 2007: 565-571
Bethany R. Leffler, Michael L. Littman, Timothy Edmunds:
Efficient Reinforcement Learning with Relocatable Action Models. AAAI 2007: 572-577
Bo Long, Zhongfei (Mark) Zhang, Philip S. Yu:
Graph Partitioning Based on Link Distributions. AAAI 2007: 578-583
Richard Maclin, Edward W. Wild, Jude W. Shavlik, Lisa Torrey, Trevor Walker:
Refining Rules Incorporated into Knowledge-Based Support Vector Learners Via Successive Linear Programming. AAAI 2007: 584-589
Sofus A. Macskassy:
Improving Learning in Networked Data by Combining Explicit and Mined Links. AAAI 2007: 590-595
Luke K. McDowell, Kalyan Moy Gupta, David W. Aha:
Cautious Inference in Collective Classification. AAAI 2007: 596-601
Alexandra Meliou, Andreas Krause, Carlos Guestrin, Joseph M. Hellerstein:
Nonmyopic Informative Path Planning in Spatio-Temporal Models. AAAI 2007: 602-607
Lilyana Mihalkova, Tuyen N. Huynh, Raymond J. Mooney:
Mapping and Revising Markov Logic Networks for Transfer Learning. AAAI 2007: 608-614
David Minnen, Charles Lee Isbell Jr., Irfan A. Essa, Thad Starner:
Discovering Multivariate Motifs using Subsequence Density Estimation and Greedy Mixture Learning. AAAI 2007: 615-620
Shibin Qiu, Terran Lane, Ljubomir J. Buturovic:
A Randomized String Kernel and Its Application to RNA Interference. AAAI 2007: 627-632
Tomás Singliar, Denver Dash:
COD: Online Temporal Clustering for Outbreak Detection. AAAI 2007: 633-638
Alexander L. Strehl, Carlos Diuk, Michael L. Littman:
Efficient Structure Learning in Factored-State MDPs. AAAI 2007: 645-650
Fei Wang, Changshui Zhang, Tao Li:
Clustering with Local and Global Regularization. AAAI 2007: 657-662
Haizheng Zhang, C. Lee Giles, Henry C. Foley, John Yen:
Probabilistic Community Discovery Using Hierarchical Latent Gaussian Mixture Model. AAAI 2007: 663-668
Zhi-Hua Zhou, De-Chuan Zhan, Qiang Yang:
Semi-Supervised Learning with Very Few Labeled Training Examples. AAAI 2007: 675-680
Multiagents
Martin Allen, Shlomo Zilberstein:
Agent Influence as a Predictor of Difficulty for Decentralized Problem-Solving. AAAI 2007: 688-693
Felix Brandt, Felix A. Fischer:
Computational Aspects of Covering in Dominance Graphs. AAAI 2007: 694-699
Yann Chevaleyre, Ulrich Endriss, Nicolas Maudet:
Allocating Goods on a Graph to Eliminate Envy. AAAI 2007: 700-705
Dara Curran, Colm O'Riordan, Humphrey Sorensen:
Evolutionary and Lifetime Learning in Varying NK Fitness Landscape Changing Environments: An Analysis of Both Fitness and Diversity. AAAI 2007: 706-711
Prashant Doshi:
Improved State Estimation in Multiagent Settings with Continuous or Large Discrete State Spaces. AAAI 2007: 712-717
Edith Elkind, Leslie Ann Goldberg, Paul W. Goldberg, Michael Wooldridge:
Computational Complexity of Weighted Threshold Games. AAAI 2007: 718-723
Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe:
Llull and Copeland Voting Broadly Resist Bribery and Control. AAAI 2007: 724-730
Natalie Fridman, Gal A. Kaminka:
Towards a Cognitive Model of Crowd Behavior Based on Social Comparison Theory. AAAI 2007: 731-737
Tim Harbers, Rajiv T. Maheswaran, Pedro A. Szekely:
Centralized, Distributed or Something Else? Making Timely Decisions in Multi-Agent Systems. AAAI 2007: 738-743
Katsutoshi Hirayama:
An alpha-approximation Protocol for the Generalized Mutual Assignment Problem. AAAI 2007: 744-749
Marek Petrik, Shlomo Zilberstein:
Anytime Coordination Using Separable Bilinear Programs. AAAI 2007: 750-755

Eric Sodomka, John Collins, Maria L. Gini:
Efficient Statistical Methods for Evaluating Trading Agent Performance. AAAI 2007: 770-775
Lirong Xia, Jérôme Lang, Mingsheng Ying:
Strongly Decomposable Voting Rules on Multiattribute Domains. AAAI 2007: 776-781
Yifeng Zeng, Prashant Doshi, Qiongyu Chen:
Approximate Solutions of Interactive Dynamic Influence Diagrams Using Model Clustering. AAAI 2007: 782-787
Martin Zinkevich, Michael H. Bowling, Neil Burch:
A New Algorithm for Generating Equilibria in Massive Zero-Sum Games. AAAI 2007: 788-794
Multidisciplinary Topics and Applications
Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer:
A Logic of Agent Programs. AAAI 2007: 795-800
Bobby D. Bryant, Risto Miikkulainen:
Acquiring Visibly Intelligent Behavior with Example-Guided Neuroevolution. AAAI 2007: 801-808
Nitesh V. Chawla, Kevin W. Bowyer:
Actively Exploring Creation of Face Space(s) for Improved Face Recognition. AAAI 2007: 809-814
Ya'akov Gal, Avi Pfeffer:
Modeling Reciprocal Behavior in Human Bilateral Negotiation. AAAI 2007: 815-820
Luís C. Lamb, Rafael V. Borges, Artur S. d'Avila Garcez:
A Connectionist Cognitive Model for Temporal Synchronisation and Learning. AAAI 2007: 827-832
Yunyao Li, Ishan Chaudhuri, Huahai Yang, Satinder P. Singh, H. V. Jagadish:
Enabling Domain-Awareness for a Generic Natural Language Interface. AAAI 2007: 833-838
Bill Z. Manaris, Patrick Roos, Penousal Machado, Dwight Krehbiel, Luca Pellicoro, Juan Romero:
A Corpus-Based Hybrid Approach to Music Analysis and Composition. AAAI 2007: 839-845
David L. Roberts, Sooraj Bhat, Kenneth St. Clair, Charles Lee Isbell Jr.:
Authorial Idioms for Target Distributions in TTD-MDPs. AAAI 2007: 852-857
Shogo Takeuchi, Tomoyuki Kaneko, Kazunori Yamaguchi, Satoru Kawai:
Visualization and Adjustment of Evaluation Functions Based on Evaluation Values and Win Probability. AAAI 2007: 858-863
Xiaojin Zhu, Timothy T. Rogers, Ruichen Qian, Chuck Kalish:
Humans Perform Semi-Supervised Classification Too. AAAI 2007: 864-870
Natural-Language Processing
Roy Bar-Haim, Ido Dagan, Iddo Greental, Eyal Shnarch:
Semantic Inference at the Lexical-Syntactic Level. AAAI 2007: 871-876
Jacob Eisenstein, Regina Barzilay, Randall Davis:
Turning Lectures into Comic Books Using Linguistically Salient Gestures. AAAI 2007: 877-882
Kevin Gold, Brian Scassellati:
A Robot That Uses Existing Vocabulary to Infer Non-Visual Word Meanings from Observation. AAAI 2007: 883-888
Rohit J. Kate, Raymond J. Mooney:
Learning Language Semantics from Ambiguous Supervision. AAAI 2007: 895-900
Yuval Marom, Ingrid Zukerman, Nathalie Japkowicz:
A Meta-learning Approach for Selecting between Response Automation Strategies in a Help-desk Domain. AAAI 2007: 907-912
Antonio Sanfilippo, Andrew J. Cowell, Stephen Tratz, A. M. Boek, Amanda K. Cowell, Christian Posse, Line C. Pouchard:
Content Analysis for Proactive Intelligence: Marshaling Frame Evidence. AAAI 2007: 919-924
Guihua Sun, Gao Cong, Xiaohua Liu, Chin-Yew Lin, Ming Zhou:
Mining Sequential Patterns and Tree Patterns to Detect Erroneous Sentences. AAAI 2007: 925-930
Rui Wang, Günter Neumann:
Recognizing Textual Entailment Using a Subsequence Kernel Method. AAAI 2007: 937-943
Reasoning about Plans, Processes, and Actions
Dorit Avrahami-Zilberbrand, Gal A. Kaminka:
Incorporating Observer Biases in Keyhole Plan Recognition (Efficiently!). AAAI 2007: 944-949
Michael Buro, Alexander Kovarsky:
Concurrent Action Execution with Shared Fluents. AAAI 2007: 950-955
Jens Claßen, Yuxiao Hu, Gerhard Lakemeyer:
A Situation-Calculus Semantics for an Expressive Fragment of PDDL. AAAI 2007: 956-961
Nirmit Desai, Munindar P. Singh:
A Modular Action Description Language for Protocol Composition. AAAI 2007: 962-967
Maria Fox, Jonathan Gough, Derek Long:
Detecting Execution Failures Using Learned Action Models. AAAI 2007: 968-973
Alfredo Gabaldon, Gerhard Lakemeyer:
ESP: A Logic of Only-Knowing, Noisy Sensing and Acting. AAAI 2007: 974-979
Natalia Hernandez-Gardiol, Leslie Pack Kaelbling:
Action-Space Partitioning for Planning. AAAI 2007: 980-986
Stéphane Grandcolas, Cyril Pain-Barre:
Filtering, Decomposition and Search Space Reduction for Optimal Sequential Planning. AAAI 2007: 993-998
Hannaneh Hajishirzi, Eyal Amir:
Stochastic Filtering in a Probabilistic Action Model. AAAI 2007: 999-1006
Patrik Haslum, Adi Botea, Malte Helmert, Blai Bonet, Sven Koenig:
Domain-Independent Construction of Pattern Database Heuristics for Cost-Optimal Planning. AAAI 2007: 1007-1012
Jörg Hoffmann, Piergiorgio Bertoli, Marco Pistore:
Web Service Composition as Planning, Revisited: In Between Background Theories and Initial State Uncertainty. AAAI 2007: 1013-1018
Laurence A. Kramer, Laura Barbulescu, Stephen F. Smith:
Understanding Performance Tradeoffs in Algorithms for Solving Oversubscribed Scheduling. AAAI 2007: 1019-1024
Vladimir Lifschitz, Wanwan Ren:
The Semantics of Variables in Action Descriptions. AAAI 2007: 1025-1030

Jussi Rintanen:
Asymptotically Optimal Encodings of Conformant Planning in QBF. AAAI 2007: 1045-1050
Gabriele Röger, Bernhard Nebel:
Expressiveness of ADL and Golog: Functions Make a Difference. AAAI 2007: 1051-1056
Régis Sabbadin, Jérôme Lang, Nasolo Ravoanjanahry:
Purely Epistemic Markov Decision Processes. AAAI 2007: 1057-1062
Sebastian Sardiña, Fabio Patrizi, Giuseppe De Giacomo:
Automatic Synthesis of a Global Behavior from Multiple Distributed Behaviors. AAAI 2007: 1063-1069
Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima:
Optimal Regression for Reasoning about Knowledge and Actions. AAAI 2007: 1070-1076
Robotics and Perception
Javed Ahmed, Mubarak Shah, Andrew Miller, Don Harper, M. Noman Jafri:
A Vision-Based System for a UGV to Handle a Road Intersection. AAAI 2007: 1077-1082
Dimitri Marinakis, David Meger, Ioannis M. Rekleitis, Gregory Dudek:
Hybrid Inference for Sensor Network Localization Using a Mobile Robot. AAAI 2007: 1089-1094
Joseph Modayil, Benjamin Kuipers:
Autonomous Development of a Grounded Object Ontology by a Learning Robot. AAAI 2007: 1095-1101
Jeffrey Junfeng Pan, Qiang Yang, Sinno Jialin Pan:
Online Co-Localization in Indoor Wireless Networks by Dimension Reduction. AAAI 2007: 1102-1107
Sinno Jialin Pan, James T. Kwok, Qiang Yang, Jeffrey Junfeng Pan:
Adaptive Localization in a Dynamic WiFi Environment through Multi-view Learning. AAAI 2007: 1108-1113
Subhash Suri, Elias Vicari, Peter Widmayer:
Simple Robots with Minimal Sensing: From Local Visibility to Global Geometry. AAAI 2007: 1114-1120
Li Zhang, Andy M. Yip, Chew Lim Tan:
Photometric and Geometric Restoration of Document Images Using Inpainting and Shape-from-Shading. AAAI 2007: 1121-1126
Stefan Zickler, Alexei A. Efros:
Detection of Multiple Deformable Objects using PCA-SIFT. AAAI 2007: 1127-1133
Search and Metareasoning

Hang T. Dinh, Alexander Russell, Yuan Su:
On the Value of Good Advice: The Complexity of A* Search with Accurate Heuristics. AAAI 2007: 1140-1145
Frank Hutter, Holger H. Hoos, Thomas Stützle:
Automatic Algorithm Configuration Based on Local Search. AAAI 2007: 1152-1157
Samuel Ieong, Nicolas S. Lambert, Yoav Shoham, Ronen I. Brafman:
Near-Optimal Search in Continuous Domains. AAAI 2007: 1158-1163

Alex Nash, Kenny Daniel, Sven Koenig, Ariel Felner:
Theta*: Any-Angle Path Planning on Grids. AAAI 2007: 1177-1183
Talal Rahwan, Sarvapali D. Ramchurn, Viet Dung Dang, Andrea Giovannucci, Nicholas R. Jennings:
Anytime Optimal Coalition Structure Generation. AAAI 2007: 1184-1190
Stephan Schiffel, Michael Thielscher:
Fluxplayer: A Successful General Game Player. AAAI 2007: 1191-1196
Matthew J. Streeter, Daniel Golovin, Stephen F. Smith:
Combining Multiple Heuristics Online. AAAI 2007: 1197-1203
Matthew J. Streeter, Daniel Golovin, Stephen F. Smith:
Restart Schedules for Ensembles of Problem Instances. AAAI 2007: 1204-1210
Uzi Zahavi, Ariel Felner, Jonathan Schaeffer, Nathan R. Sturtevant:
Inconsistent Heuristics. AAAI 2007: 1211-1216
Uncertainty in AI
Mustafa Bilgic, Lise Getoor:
VOILA: Efficient Feature-value Acquisition for Classification. AAAI 2007: 1225-1230
Maxim Binshtok, Ronen I. Brafman, Solomon Eyal Shimony, Ajay Mani, Craig Boutilier:
Computing Optimal Subsets. AAAI 2007: 1231-1236
Shihao Ji, Ronald Parr, Hui Li, Xuejun Liao, Lawrence Carin:
Point-Based Policy Iteration. AAAI 2007: 1243-1249
Colin McMillen, Manuela M. Veloso:
Thresholded Rewards: Acting Optimally in Timed, Zero-Sum Games. AAAI 2007: 1250-1255
Ole J. Mengshoel:
Macroscopic Models of Clique Tree Growth for Bayesian Networks. AAAI 2007: 1256-1262
David Poole:
Logical Generative Models for Probabilistic Reasoning about Existence, Roles and Identity. AAAI 2007: 1271-1277
Mark W. Schmidt, Alexandru Niculescu-Mizil, Kevin P. Murphy:
Learning Graphical Model Structure Using L1-Regularization Paths. AAAI 2007: 1278-1283
Yan Virin, Guy Shani, Solomon Eyal Shimony, Ronen I. Brafman:
Scaling Up: Solving POMDPs through Value Based Clustering. AAAI 2007: 1290-1295
Changhe Yuan, Marek J. Druzdzel:
Generalized Evidence Pre-propagated Importance Sampling for Hybrid Bayesian Networks. AAAI 2007: 1296-1303
Special Track on Artificial Intelligence and the Web
Jie Bao, Giora Slutzki, Vasant G. Honavar:
A Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies. AAAI 2007: 1304-1309
Hila Becker, Christopher Meek, David Maxwell Chickering:
Modeling Contextual Factors of Click Rates. AAAI 2007: 1310-1315
Sebastian Blohm, Philipp Cimiano, Egon Stemle:
Harvesting Relations from the Web - Quantifiying the Impact of Filtering Functions. AAAI 2007: 1316-1321
Bruno Norberto da Silva, Ana Cristina Bicharra Garcia:
KA-CAPTCHA: An Opportunity for Knowledge Acquisition on the Web. AAAI 2007: 1322-1327
Nirmit Desai, Amit K. Chopra, Munindar P. Singh:
Representing and Reasoning about Commitments in Business Processes. AAAI 2007: 1328-1333
Gaël Dias, Elsa Alves, José Gabriel Pereira Lopes:
Topic Segmentation Algorithms for Text Summarization and Passage Retrieval: An Exhaustive Evaluation. AAAI 2007: 1334-1339
Kathleen T. Durant, Michael D. Smith:
The Impact of Time on the Accuracy of Sentiment Classifiers Created from a Web Log Corpus. AAAI 2007: 1340-1346
Theodore Elhourani, Nathan Denny, Michael M. Marefat:
A Distributed Constraint Optimization Solution to the P2P Video Streaming Problem. AAAI 2007: 1347-1352
Tadanobu Furukawa, Mitsuru Ishizuka, Yutaka Matsuo, Ikki Ohmukai, Koki Uchiyama:
Analyzing Reading Behavior by Blog Mining. AAAI 2007: 1353-1358
Chien-Ju Ho, Tsung-Hsiang Chang, Jane Yung-jen Hsu:
PhotoSlap: A Multi-player Online Game for Semantic Annotation. AAAI 2007: 1359-1364
Takahiro Kawamura, Shinichi Nagano, Masumi Inaba, Yumiko Mizoguchi:
Mobile Service for Reputation Extraction from Weblogs - Public Experiment and Evaluation. AAAI 2007: 1365-1370
Masahiro Kimura, Kazumi Saito, Ryohei Nakano:
Extracting Influential Nodes for Information Diffusion on a Social Network. AAAI 2007: 1371-1376
Ugur Kuter, Jennifer Golbeck:
SUNNY: A New Algorithm for Trust Inference in Social Networks Using Probabilistic Confidence Models. AAAI 2007: 1377-1382
Freddy Lécué, Alexandre Delteil:
Making the Difference in Semantic Web Service Composition. AAAI 2007: 1383-1388
Zhen Liu, Anand Ranganathan, Anton Riabov:
A Planning Approach for Message-Oriented Semantic Web Service Composition. AAAI 2007: 1389-1394
Yutaka Matsuo, Hironori Tomobe, Takuichi Nishimura:
Robust Estimation of Google Counts for Social Network Extraction. AAAI 2007: 1395-1401
Christian Meilicke, Heiner Stuckenschmidt, Andrei Tamilin:
Repairing Ontology Mappings. AAAI 2007: 1408-1413
Dat P. T. Nguyen, Yutaka Matsuo, Mitsuru Ishizuka:
Relation Extraction from Wikipedia Using Subtree Mining. AAAI 2007: 1414-1420
Lan Nie, Brian D. Davison, Baoning Wu:
From Whence Does Your Authority Come? Utilizing Community Relevance in Ranking. AAAI 2007: 1421-1426
Yann Ollivier, Pierre Senellart:
Finding Related Pages Using Green Measures: An Illustration with Wikipedia. AAAI 2007: 1427-1433
Simone Paolo Ponzetto, Michael Strube:
Deriving a Large-Scale Taxonomy from Wikipedia. AAAI 2007: 1440-1445
Iyad Rahwan, Fouad Zablith, Chris Reed:
Towards Large Scale Argumentation Support on the Semantic Web. AAAI 2007: 1446-1451
Sebastian Stein, Nicholas R. Jennings, Terry R. Payne:
Provisioning Heterogeneous and Unreliable Providers for Service Workflows. AAAI 2007: 1452-1458
Octavian Udrea, Andrea Pugliese, V. S. Subrahmanian:
GRIN: A Graph Based RDF Index. AAAI 2007: 1465-1470
Tony Veale, Yanfen Hao:
Comprehending and Generating Apt Metaphors: A Web-driven, Case-based Approach to Figurative Language. AAAI 2007: 1471-1476
Zhenglu Yang, Lin Li, Botao Wang, Masaru Kitsuregawa:
Towards Efficient Dominant Relationship Exploration of the Product Items on the Web. AAAI 2007: 1483-1488
Wen-tau Yih, Christopher Meek:
Improving Similarity Measures for Short Segments of Text. AAAI 2007: 1489-1494
Jie Zhang, Robin Cohen:
Design of a Mechanism for Promoting Honesty in E-Marketplaces. AAAI 2007: 1495-1500
Qiankun Zhao, Prasenjit Mitra, Bi Chen:
Temporal and Information Flow Based Event Detection from Social Text Streams. AAAI 2007: 1501-1506
Shuyi Zheng, Ruihua Song, Ji-Rong Wen:
Template-Independent News Extraction Based on Visual Consistency. AAAI 2007: 1507-1511
Special Track on Integrated Intelligence
James F. Allen, Nathanael Chambers, George Ferguson, Lucian Galescu, Hyuckchul Jung, Mary D. Swift, William Taysom:
PLOW: A Collaborative Task Learning Agent. AAAI 2007: 1514-1519
Nicholas L. Cassimatis, Magdalena D. Bugajska, Scott Dugas, Arthi Murugesan, Paul Bello:
An Architecture for Adaptive Algorithmic Hybrids. AAAI 2007: 1520-1526
Michael H. Coen:
Learning to Sing Like a Bird: The Self-Supervised Acquisition of Birdsong. AAAI 2007: 1527-1534
Xiaocong Fan, John Yen:
R-CAST: Integrating Team Intelligence for Human-Centered Teamwork. AAAI 2007: 1535-1541
Kenneth D. Forbus, Christopher Riesbeck, Lawrence Birnbaum, Kevin Livingston, Abhishek B. Sharma, Leo C. Ureel II:
Integrating Natural Language, Knowledge Representation and Reasoning, and Analogical Processing to Learn by Reading. AAAI 2007: 1542-1547
Nick Hawes, Aaron Sloman, Jeremy L. Wyatt, Michael Zillich, Henrik Jacobsson, Geert-Jan M. Kruijff, Michael Brenner, Gregor Berginc, Danijel Skocaj:
Towards an Integrated Robot with Multiple Cognitive Functions. AAAI 2007: 1548-1553
William G. Kennedy, Magdalena D. Bugajska, Matthew Marge, William Adams, Benjamin R. Fransen, Dennis Perzanowski, Alan C. Schultz, J. Gregory Trafton:
Spatial Representation and Reasoning for Human-Robot Collaboration. AAAI 2007: 1554-1559
Andrew Nuxoll, John E. Laird:
Extending Cognitive Architecture with Episodic Memory. AAAI 2007: 1560-1564
Leen-Kiat Soh:
Integrated Introspective Case-Based Reasoning for Intelligent Tutoring Systems. AAAI 2007: 1566-1571
Samuel Wintermute, John E. Laird:
Predicate Projection in a Bimodal Spatial Reasoning System. AAAI 2007: 1572-1577
Songhua Xu, Hao Jiang, Francis Chi-Moon Lau, Yunhe Pan:
An Intelligent System for Chinese Calligraphy. AAAI 2007: 1578-1583
Hendrik Zender, Patric Jensfelt, Óscar Martínez Mozos, Geert-Jan M. Kruijff, Wolfram Burgard:
An Integrated Robotic System for Spatial Understanding and Situated Interaction in Indoor Environments. AAAI 2007: 1584-1589
Xiaojin Zhu, Andrew B. Goldberg, Mohamed Eldawy, Charles R. Dyer, Bradley Strock:
A Text-to-Picture Synthesis System for Augmenting Communication. AAAI 2007: 1590-1596
Senior Member Papers
Thomas L. Dean, Glenn Carroll, Richard Washington:
On the Prospects for Building a Working Model of the Visual Cortex. AAAI 2007: 1597-1600
Subbarao Kambhampati:
Model-lite Planning for the Web Age Masses: The Challenges of Planning with Incomplete and Evolving Domain Models. AAAI 2007: 1601-1605
New Scientific and Technical Advances in Research Papers (NECTAR)

Vittorio Castelli, Lawrence D. Bergman, Daniel Oblinger:
Learning by Combining Observations and User Edits. AAAI 2007: 1610-1613
Cristina Conati, Christina Merten, Saleema Amershi, Kasia Muldner:
Using Eye-Tracking Data for High-Level User Modeling in Adaptive Interfaces. AAAI 2007: 1614-1617
Susan Craw, Stewart Massie, Nirmalie Wiratunga:
Informed Case Base Maintenance: A Complexity Profiling Approach. AAAI 2007: 1618-1621
Agostino Dovier, Andrea Formisano, Enrico Pontelli:
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming. AAAI 2007: 1622-1625
Georg Gottlob, Reinhard Pichler, Fang Wei:
Efficient Datalog Abduction through Bounded Treewidth. AAAI 2007: 1626-1631
Kristen Grauman:
The Pyramid Match: Efficient Learning with Partial Correspondences. AAAI 2007: 1632-1636
Arthur Gretton, Karsten M. Borgwardt, Malte J. Rasch, Bernhard Schölkopf, Alexander J. Smola:
A Kernel Approach to Comparing Distributions. AAAI 2007: 1637-1641
Matthias Hein, Markus Maier:
Manifold Denoising as Preprocessing for Finding Natural Representations of Data. AAAI 2007: 1646-1649
Andreas Krause, Carlos Guestrin:
Near-optimal Observation Selection using Submodular Functions. AAAI 2007: 1650-1654
Jason M. O'Kane, Steven M. LaValle:
Dominance and Equivalence for Sensor-Based Agents. AAAI 2007: 1655-1658
Feng Pan, Rutu Mulkar, Jerry R. Hobbs:
Modeling and Learning Vague Event Durations for Temporal Reasoning. AAAI 2007: 1659-1662
Steven David Prestwich, Inês Lynce:
Refutation by Randomised General Resolution. AAAI 2007: 1667-1670
Raquel Ros, Manuela M. Veloso, Ramón López de Mántaras, Carles Sierra, Josep Lluís Arcos:
Beyond Individualism: Modeling Team Playing Behavior in Robot Soccer through Case-Based Reasoning. AAAI 2007: 1671-1674
Matthew E. Taylor, Shimon Whiteson, Peter Stone:
Temporal Difference and Policy Search Methods for Reinforcement Learning: An Empirical Comparison. AAAI 2007: 1675-1678
Makoto Yokoo, Atsushi Iwasaki:
Making VCG More Robust in Combinatorial Auctions via Submodular Approximation. AAAI 2007: 1679-1683
Innovative Applications of Artificial Intelligence
Deployed Applications
Andy Hon Wai Chun:
Using AI for e-Government Automatic Assessment of Immigration Application Forms. AAAI 2007: 1684-1691
Alexander Felfernig, Klaus Isak, Kalman Szabo, Peter Zachar:
The VITA Financial Services Sales Support Environment. AAAI 2007: 1692-1699
Ben Goertzel, Cassio Pennachin, Lúcio de Souza Coelho, Leonardo Shikida, Murilo Saraiva de Queiroz:
Biomind ArrayGenius and GeneGenius: Web Services Offering Microarray and SNP Data Analysis via Novel Machine Learning Methods. AAAI 2007: 1700-1706
Sven Jacobi, Esteban León-Soto, Cristián Madrigal-Mora, Klaus Fischer:
MasDISPO: A Multiagent Decision Support System for Steel Production and Control. AAAI 2007: 1707-1714
Srinivas Krovvidy, Robin Landsman, Steve Opdahl, Nancy Templeton, Sydnor Smalera:
Custom DU® - A Web Based Business User Driven Automated Underwriting System. AAAI 2007: 1715-1722
Andrew Lim, Hong Ma, Qi Wen, Zhou Xu, Brenda Cheang, Bernard Tan, Wenbin Zhu:
Journal-Ranking.com: An Online Interactive Journal Ranking System. AAAI 2007: 1723-1729
Deborah L. McGuinness, Peter Fox, Luca Cinquini, Patrick West, Jose Garcia, James L. Benedict, Don Middleton:
The Virtual Solar-Terrestrial Observatory: A Deployed Semantic Web Application Case Study for Scientific Research. AAAI 2007: 1730-1737
Anne Menendez, Guy Paillet:
Fish Inspection System using a Parallel Neural Network Chip and Image Knowledge Builder Application. AAAI 2007: 1738-1743
Barry Smyth, Paul Cotter, Stephen Oman:
Enabling Intelligent Content Discovery on the Mobile Internet. AAAI 2007: 1744-1751
Peter R. Wurman, Raffaello D'Andrea, Mick Mountz:
Coordinating Hundreds of Cooperative, Autonomous Vehicles in Warehouses. AAAI 2007: 1752-1760
Emerging Applications
Beenish Bhatia, Tim Oates, Yan Xiao, Peter Fu-Ming Hu:
Real-Time Identification of Operating Room State from Video. AAAI 2007: 1761-1766
Yolanda Gil, Varun Ratnakar, Ewa Deelman, Gaurang Mehta, Jihie Kim:
Wings for Pegasus: Creating Large-Scale Scientific Applications Using Semantic Representations of Computational Workflows. AAAI 2007: 1767-1774
Carlos González-Morcillo, Gerhard Weiss, Luis Jiménez, David Vallejo:
A Multi-Agent Approach to Distributed Rendering Optimization. AAAI 2007: 1775-1780
Masoumeh T. Izadi, David L. Buckeridge:
Optimizing Anthrax Outbreak Detection Using Reinforcement Learning. AAAI 2007: 1781-1786
Kimberle Koile, Kevin Chevalier, Michel Rbeiz, Adam Rogal, David Singer, Jordan Sorensen, Amanda Smith, Kah Seng Tay, Kenneth Wu:
Supporting Feedback and Assessment of Digital Ink Answers to In-Class Exercises. AAAI 2007: 1787-1794
Branislav Kveton, Prashant Gandhi, Georgios Theocharous, Shie Mannor, Barbara Rosario, Nilesh Shah:
Adaptive Timeout Policies for Fast Fine-Grained Power Management. AAAI 2007: 1795-1800
Megan Smith, Stephen Lee-Urban, Hector Muñoz-Avila:
RETALIATE: Learning Winning Policies in First-Person Shooter Games. AAAI 2007: 1801-1806
Tomasz F. Stepinski, Soumya Ghosh, Ricardo Vilalta:
Machine Learning for Automatic Mapping of Planetary Surfaces. AAAI 2007: 1807-1812
Willem Jan van Hoeve, Carla P. Gomes, Bart Selman, Michele Lombardi:
Optimal Multi-Agent Scheduling with Constraint Programming. AAAI 2007: 1813-1818
Shimon Whiteson, Daniel Whiteson:
Stochastic Optimization for Collision Selection in High Energy Physics. AAAI 2007: 1819-1825
Ari Yakir, Gal A. Kaminka:
An Integrated Development Environment and Architecture for Soar-Based Agents. AAAI 2007: 1826-1832
Student Abstracts
Adam Anthony, Marie desJardins:
Data Clustering with a Relational Push-Pull Model. AAAI 2007: 1840-1841
Tom Armstrong, Tim Oates:
UNDERTOW: Multi-Level Segmentation of Real-Valued Time Series. AAAI 2007: 1842-1843
Daniel Bahls, Thomas Roth-Berghofer:
Explanation Support for the Case-Based Reasoning Tool myCBR. AAAI 2007: 1844-1845
Camille Besse, Brahim Chaib-draa:
A Markovian Model for Dynamic and Constrained Resource Allocation Problems. AAAI 2007: 1846-1847
Nikos Dimaresis, Grigoris Antoniou:
Implementing Modal Extensions of Defeasible Logic for the Semantic Web. AAAI 2007: 1848-1849
Xiangyu Duan, Jun Zhao, Bo Xu:
Ungreedy Methods for Chinese Deterministic Dependency Parsing. AAAI 2007: 1850-1851
Eric Eaton, Marie desJardins, John Stevenson:
Using Multiresolution Learning for Transfer in Image Classification. AAAI 2007: 1852-1853
Ibrahim Eden, David B. Cooper:
Robust Estimation of 3-D Line Segments from Satellite Images for Model Building and Change Detection. AAAI 2007: 1854-1855
M. Esmaeili:
Classifiers Fusion for EEG Signals Processing in Human-Computer Interface Systems. AAAI 2007: 1856-1857
Jagadeesh Gorla, Amit Goyal, Rajeev Sangal:
Two Approaches for Building an Unsupervised Dependency Parser and Their Other Applications. AAAI 2007: 1860-1861
Thomas K. Harris, Alexander I. Rudnicky:
TeamTalk: A Platform for Multi-Human-Robot Dialog Research in Coherent Real and Virtual Spaces. AAAI 2007: 1864-1865
John Huddleston, Jianna Zhang:
Evolutionary Rhythm Composition with Trajectory-based Fitness Evaluation. AAAI 2007: 1868-1869
Hsieh-Chuan Hung, Richard Tzong-Han Tsai, Wen-Lian Hsu:
Identifying Protein Interaction Abstracts with Contextual Bag of Words. AAAI 2007: 1870-1871
Ece Kamar, Barbara J. Grosz, David Sarne:
Modeling User Perception of Interaction Opportunities in Collaborative Human-Computer Settings. AAAI 2007: 1872-1873
Igor Kiselev, Andrey Glaschenko, Alexander Chevelev, Petr Skobelev:
Towards an Adaptive Approach for Distributed Resource Allocation in a Multi-agent System for Solving Dynamic Vehicle Routing Problems. AAAI 2007: 1874-1875
Pavel Klinov, Lawrence J. Mazlack:
On Possible Applications of Rough Mereology to Handling Granularity in Ontological Knowledge. AAAI 2007: 1876-1877
Ralf Krestel, René Witte, Sabine Bergler:
Fuzzy Set Theory-Based Belief Processing for Natural Language Texts. AAAI 2007: 1878-1879
Julien Laumonier:
Reinforcement Using Supervised Learning for Policy Generalization. AAAI 2007: 1882-1883
Lin Li, Zhenglu Yang, Masaru Kitsuregawa:
Aggregating User-Centered Rankings to Improve Web Search. AAAI 2007: 1884-1885
Fabiana Lorenzi, Ana L. C. Bazzan, Mara Abel:
Recommending Travel Packages Upon Distributed Knowledge. AAAI 2007: 1886-1887
Justin Martineau, Akshay Java, Pranam Kolari, Timothy W. Finin, Anupam Joshi, James Mayfield:
BlogVox: Learning Sentiment Classifiers. AAAI 2007: 1888-1889
Piotr W. Mirowski, Deepak Madhavan, Yann LeCun:
Time-Delay Neural Networks and Independent Component Analysis for EEG-Based Prediction of Epileptic Seizures Propagation. AAAI 2007: 1892-1893
Victor Naroditskiy, Amy Greenwald:
Using Iterated Best-Response to Find Bayes-Nash Equilibria in Auctions. AAAI 2007: 1894-1895
Marc Pickett, Tim Oates:
The Marchitecture: A Cognitive Architecture for a Robot Baby. AAAI 2007: 1896-1897
Sushmita Roy, Terran Lane, Margaret Werner-Washburne:
Integrative Construction and Analysis of Condition-specific Biological Networks. AAAI 2007: 1898-1899
John C. Stamper, Tiffany Barnes, Marvin J. Croy:
Extracting Student Models for Intelligent Tutoring Systems. AAAI 2007: 1900-1901
Wei Sun, Kuo-Chu Chang:
Unscented Message Passing for Arbitrary Continuous Variables in Bayesian Networks. AAAI 2007: 1902-1903
Julia M. Taylor, Lawrence J. Mazlack:
An Investigation into Computational Recognition of Children's Jokes. AAAI 2007: 1904-1905

Yan Virin, Guy Shani, Solomon Eyal Shimony, Ronen I. Brafman:
Scaling Up: Solving POMDPs through Value Based Clustering. AAAI 2007: 1910-1911
Yi Wang, Jianhua Feng, Shi-Xia Liu:
Learn to Compress and Restore Sequential Data. AAAI 2007: 1912-1913

Chih-Han Yu, Shie Mannor, Georgios Theocharous, Avi Pfeffer:
User Model and Utility Based Power Management. AAAI 2007: 1918-1919
Jilian Zhang, Shichao Zhang, Xiaofeng Zhu, Xindong Wu, Chengqi Zhang:
Measuring the Uncertainty of Differences for Contrasting Groups. AAAI 2007: 1920-1921
Xiaofeng Zhu, Shichao Zhang, Jilian Zhang, Chengqi Zhang:
Cost-Sensitive Imputing Missing Values with Ordering. AAAI 2007: 1922-1923
AAAI / SIGART Doctoral Consortium

Vibhav Gogate:
Approximate Inference in Probabilistic Graphical Models with Determinism. AAAI 2007: 1927-1928
Carlos Gómez Gallo:
Handling Non-Sentential Utterances in a Continuous Understanding Framework. AAAI 2007: 1929-1930
Brian Harrington:
ASKNet: Automatically Generating Semantic Knowledge Networks. AAAI 2007: 1931-1932
Akshay Java:
A Framework for Modeling Influence, Opinions and Structure in Social Media. AAAI 2007: 1933-1934
Christopher Kiekintveld:
Empirical Game-Theoretic Methods for Strategy Design and Analysis in Complex Games. AAAI 2007: 1935-1936
Scott W. McQuiggan:
Responding to Student Affect and Efficacy through Empathetic Companion Agents in Interactive Learning Environments. AAAI 2007: 1939-1940

Antonio Roque:
Reacting to Agreement and Error in Spoken Dialogue Systems Using Degrees of Groundedness. AAAI 2007: 1945-1946
Murat Sensoy:
A Framework for Ontology-Based Service Selection in Dynamic Environments. AAAI 2007: 1947-1948
Matthew E. Taylor:
Autonomous Inter-Task Transfer in Reinforcement Learning Domains. AAAI 2007: 1951-1952


Intelligent Systems Demonstrations
Ken Barker, Vinay K. Chaudhri, Shaw Yi Chaw, Peter Clark, Daniel Hansch, Bonnie E. John, Sunil Mishra, John Pacheco, Bruce W. Porter, Aaron Spaulding, Moritz Weiten:
AURA: Enabling Subject Matter Experts to Construct Declarative Knowledge Bases from Science Textbooks. AAAI 2007: 1960-1961
Kurt D. Bollacker, Robert P. Cook, Patrick Tufts:
Freebase: A Shared Database of Structured General Human Knowledge. AAAI 2007: 1962-1963
Christopher J. Carpenter, Christopher Dugan, Joseph Kopena, Robert N. Lass, Gaurav Naik, Duc N. Nguyen, Evan Sultanik, Pragnesh Jay Modi, William C. Regli:
Disaster Evacuation Support. AAAI 2007: 1964-1965
Tsung-Hsiang Chang, Chien-Ju Ho, Jane Yung-jen Hsu:
The PhotoSlap Game: Play to Annotate. AAAI 2007: 1966-1967
Maria Cutumisu, Duane Szafron, Jonathan Schaeffer, Kevin Waugh, Curtis Onuczko, Jeff Siegel, Allan Schumacher:
A Demonstration of ScriptEase Interruptible and Resumable Behaviors for CRPGs. AAAI 2007: 1968-1969
Patrick G. Kenny, Arno Hartholt, Jonathan Gratch, David R. Traum, Stacy Marsella, William R. Swartout:
The More the Merrier: Multi-Party Negotiation with Virtual Humans. AAAI 2007: 1970-1971
Deborah L. McGuinness, Peter Fox, Luca Cinquini, Patrick West, Jose Garcia, James L. Benedict, Don Middleton:
A Deployed Semantically-Enabled Interdisciplinary Virtual Observatory. AAAI 2007: 1972-1973
Barry O'Sullivan, John Horan:
Generating and Solving Logic Puzzles through Constraint Satisfaction. AAAI 2007: 1974-1975
Christopher G. Reeson, Kai-Chen Huang, Kenneth M. Bayer, Berthe Y. Choueiry:
An Interactive Constraint-Based Approach to Sudoku. AAAI 2007: 1976-1977
Mobile Robot Competition and Exhibition
John Anderson, Jacky Baltes:
A Mixed Reality Approach to Undergraduate Robotics Education. AAAI 2007: 1979-1980
David Gustafson, Aarón Chávez, Michael Marlen, Andrew L. King, Alejandro Alliana, Ondrej Linda:
KSU Willie in Semantic Vision Challenge. AAAI 2007: 1981-1982
Scott Helmer, David Meger, Per-Erik Forssén, Tristram Southey, Sancho McCann, Pooyan Fazli, James J. Little, David G. Lowe:
The UBC Semantic Robot Vision System. AAAI 2007: 1983-1984
Li-Jia Li, Juan Carlos Niebles, Fei-Fei Li:
OPTIMOL: A Framework for Online Picture Collection via Incremental Model Learning. AAAI 2007: 1987-1988
Ross Mead, Jerry B. Weinberg, Jeffrey R. Croxell:
An Implementation of Robot Formations using Local Interactions. AAAI 2007: 1989-1990



Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
