AAAI 2007
367 papers
A Corpus-Based Hybrid Approach to Music Analysis and Composition
Bill Z. Manaris, Patrick Roos, Penousal Machado, Dwight Krehbiel, Luca Pellicoro, Juan Romero A Demonstration of ScriptEase Interruptible and Resumable Behaviors for CRPGs
Maria Cutumisu, Duane Szafron, Jonathan Schaeffer, Kevin Waugh, Curtis Onuczko, Jeff Siegel, Allan Schumacher A Deployed Semantically-Enabled Interdisciplinary Virtual Observatory
Deborah L. McGuinness, Peter Fox, Luca Cinquini, Patrick West, José García, James L. Benedict, Don Middleton A Kernel Approach to Comparing Distributions
Arthur Gretton, Karsten M. Borgwardt, Malte J. Rasch, Bernhard Schölkopf, Alexander J. Smola A Logic of Agent Programs
Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer A Logic of Emotions for Intelligent Agents
Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer A Logical Theory of Coordination and Joint Ability
Hojjat Ghaderi, Hector J. Levesque, Yves Lespérance A Modal Logic for Beliefs and Pro Attitudes
Kaile Su, Abdul Sattar, Han Lin, Mark Reynolds A Multi-Agent Approach to Distributed Rendering Optimization
Carlos González-Morcillo, Gerhard Weiss, Luis Jiménez, David Vallejo A Robotic Weight Loss Coach
Cory D. Kidd, Cynthia Breazeal A Text-to-Picture Synthesis System for Augmenting Communication
Xiaojin Zhu, Andrew B. Goldberg, Mohamed Eldawy, Charles R. Dyer, Bradley Strock A Vision-Based System for a UGV to Handle a Road Intersection
Javed Ahmed, Mubarak Shah, Andrew Miller, Don Harper, M. Noman Jafri A* Search via Approximate Factoring
Aria Haghighi, John DeNero, Dan Klein Action-Space Partitioning for Planning
Natalia Hernandez-Gardiol, Leslie Pack Kaelbling Active Imitation Learning
Aaron P. Shon, Deepak Verma, Rajesh P. N. Rao Adaptive Timeout Policies for Fast Fine-Grained Power Management
Branislav Kveton, Prashant Gandhi, Georgios Theocharous, Shie Mannor, Barbara Rosario, Nilesh Shah Allocating Goods on a Graph to Eliminate Envy
Yann Chevaleyre, Ulrich Endriss, Nicolas Maudet An Architecture for Adaptive Algorithmic Hybrids
Nicholas L. Cassimatis, Magdalena D. Bugajska, Scott Dugas, Arthi Murugesan, Paul Bello An Intelligent System for Chinese Calligraphy
Songhua Xu, Hao Jiang, Francis Chi-Moon Lau, Yunhe Pan An Interactive Constraint-Based Approach to Sudoku
Christopher G. Reeson, Kai-Chen Huang, Kenneth M. Bayer, Berthe Y. Choueiry Analyzing Reading Behavior by Blog Mining
Tadanobu Furukawa, Mitsuru Ishizuka, Yutaka Matsuo, Ikki Ohmukai, Koki Uchiyama Anytime Optimal Coalition Structure Generation
Talal Rahwan, Sarvapali D. Ramchurn, Viet Dung Dang, Andrea Giovannucci, Nicholas R. Jennings Approximate Query Answering in Locally Closed Databases
Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe AURA: Enabling Subject Matter Experts to Construct Declarative Knowledge Bases from Science Textbooks
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 Authorial Idioms for Target Distributions in TTD-MDPs
David L. Roberts, Sooraj Bhat, Kenneth St. Clair, Charles Lee Isbell Jr. Automated Online Mechanism Design and Prophet Inequalities
Mohammad Taghi Hajiaghayi, Robert D. Kleinberg, Tuomas Sandholm BlogVox: Learning Sentiment Classifiers
Justin Martineau, Akshay Java, Pranam Kolari, Timothy W. Finin, Anupam Joshi, James Mayfield Cautious Inference in Collective Classification
Luke K. McDowell, Kalyan Moy Gupta, David W. Aha Combining Multiple Heuristics Online
Matthew J. Streeter, Daniel Golovin, Stephen F. Smith Complexity Boundaries for Horn Description Logics
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler Computational Complexity of Weighted Threshold Games
Edith Elkind, Leslie Ann Goldberg, Paul W. Goldberg, Michael J. Wooldridge Computing Optimal Subsets
Maxim Binshtok, Ronen I. Brafman, Solomon Eyal Shimony, Ajay Mani, Craig Boutilier Conservative Dual Consistency
Christophe Lecoutre, Stéphane Cardon, Julien Vion Content Analysis for Proactive Intelligence: Marshaling Frame Evidence
Antonio Sanfilippo, Andrew J. Cowell, Stephen Tratz, A. M. Boek, Amanda K. Cowell, Christian Posse, Line C. Pouchard Cost-Sensitive Imputing Missing Values with Ordering
Xiaofeng Zhu, Shichao Zhang, Jilian Zhang, Chengqi Zhang Counting CSP Solutions Using Generalized XOR Constraints
Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal, Bart Selman Custom DU® - A Web Based Business User Driven Automated Underwriting System
Srinivas Krovvidy, Robin Landsman, Steve Opdahl, Nancy Templeton, Sydnor Smalera Disaster Evacuation Support
Christopher J. Carpenter, Christopher Dugan, Joseph Kopena, Robert N. Lass, Gaurav Naik, Duc N. Nguyen, Evan Sultanik, Pragnesh Jay Modi, William C. Regli Discovering near Symmetry in Graphs
Maria Fox, Derek Long, Julie Porteous DL-Lite in the Light of First-Order Logic
Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev Dynamic DFS Tree in ADOPT-Ing
Marius-Calin Silaghi, Makoto Yokoo Efficient Structure Learning in Factored-State MDPs
Alexander L. Strehl, Carlos Diuk, Michael L. Littman Enabling Domain-Awareness for a Generic Natural Language Interface
Yunyao Li, Ishan Chaudhuri, Huahai Yang, Satinder Singh, H. V. Jagadish GRIN: A Graph Based RDF Index
Octavian Udrea, Andrea Pugliese, V. S. Subrahmanian Humans Perform Semi-Supervised Classification Too
Xiaojin Zhu, Timothy T. Rogers, Ruichen Qian, Chuck Kalish Inconsistent Heuristics
Uzi Zahavi, Ariel Felner, Jonathan Schaeffer, Nathan R. Sturtevant Inference Rules for High-Order Consistency in Weighted CSP
Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà Intention Guided Belief Revision
Timothy William Cleaver, Abdul Sattar Isometric Projection
Deng Cai, Xiaofei He, Jiawei Han Journal-Ranking.com: An Online Interactive Journal Ranking System
Andrew Lim, Hong Ma, Qi Wen, Zhou Xu, Brenda Cheang, Bernard C. Y. Tan, Wenbin Zhu Knowledge Compilation Properties of Tree-of-BDDs
Sathiamoorthy Subbarayan, Lucas Bordeaux, Youssef Hamadi KSU Willie in Semantic Vision Challenge
David Gustafson, Aarón Chávez, Michael Marlen, Andrew L. King, Alejandro Alliana, Ondrej Linda L2R: A Logical Method for Reference Reconciliation
Fatiha Saïs, Nathalie Pernelle, Marie-Christine Rousset Learning by Combining Observations and User Edits
Vittorio Castelli, Lawrence D. Bergman, Daniel Oblinger Learning by Reading: A Prototype System, Performance Baseline and Lessons Learned
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 Large Scale Common Sense Models of Everyday Life
William Pentney, Matthai Philipose, Jeff A. Bilmes, Henry A. Kautz Learning to Solve QBF
Horst Samulowitz, Roland Memisevic Learning Voting Trees
Ariel D. Procaccia, Aviv Zohar, Yoni Peleg, Jeffrey S. Rosenschein Llull and Copeland Voting Broadly Resist Bribery and Control
Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe Logic for Automated Mechanism Design - A Progress Report
Michael J. Wooldridge, Thomas Ågotnes, Paul E. Dunne, Wiebe van der Hoek M2ICAL Analyses HC-Gammon
Wee-Chong Oon, Martin Henz Measuring the Uncertainty of Differences for Contrasting Groups
Jilian Zhang, Shichao Zhang, Xiaofeng Zhu, Xindong Wu, Chengqi Zhang Minimal Mental Models
David V. Pynadath, Stacy Marsella Mining Web Query Hierarchies from Clickthrough Data
Dou Shen, Min Qin, Weizhu Chen, Qiang Yang, Zheng Chen Modeling Contextual Factors of Click Rates
Hila Becker, Christopher Meek, David Maxwell Chickering Near-Optimal Search in Continuous Domains
Samuel Ieong, Nicolas S. Lambert, Yoav Shoham, Ronen I. Brafman Nonmyopic Informative Path Planning in Spatio-Temporal Models
Alexandra Meliou, Andreas Krause, Carlos Guestrin, Joseph M. Hellerstein On Balanced CSPs with High Treewidth
Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carles Mateu On Capturing Semantics in Ontology Mapping
Bo Hu, Srinandan Dasmahapatra, Paul H. Lewis, Nigel Shadbolt Online Collective Entity Resolution
Indrajit Bhattacharya, Lise Getoor Optimal Multi-Agent Scheduling with Constraint Programming
Willem Jan van Hoeve, Carla P. Gomes, Bart Selman, Michele Lombardi PLOW: A Collaborative Task Learning Agent
James F. Allen, Nathanael Chambers, George Ferguson, Lucian Galescu, Hyuckchul Jung, Mary D. Swift, William Taysom Point-Based Policy Iteration
Shihao Ji, Ronald Parr, Hui Li, Xuejun Liao, Lawrence Carin Probabilistic Modal Logic
Afsaneh Shirazi, Eyal Amir Propagating Knapsack Constraints in Sublinear Time
Irit Katriel, Meinolf Sellmann, Eli Upfal, Pascal Van Hentenryck Purely Epistemic Markov Decision Processes
Régis Sabbadin, Jérôme Lang, Nasolo Ravoanjanahry Reasoning from Desires to Intentions: A Dialectical Framework
Nicolás D. Rotstein, Alejandro Javier García, Guillermo Ricardo Simari Repairing Ontology Mappings
Christian Meilicke, Heiner Stuckenschmidt, Andrei Tamilin Representative Explanations for Over-Constrained Problems
Barry O'Sullivan, Alexandre Papadopoulos, Boi Faltings, Pearl Pu Reputation in the Venture Games
Philip Hendrix, Barbara J. Grosz Restart Schedules for Ensembles of Problem Instances
Matthew J. Streeter, Daniel Golovin, Stephen F. Smith Revenue Monotonicity in Combinatorial Auctions
Baharak Rastegari, Anne Condon, Kevin Leyton-Brown Scalable Semantic Retrieval Through Summarization and Refinement
Julian Dolby, Achille Fokoue, Aditya Kalyanpur, Aaron Kershenbaum, Edith Schonberg, Kavitha Srinivas, Li Ma Scaling up: Solving POMDPs Through Value Based Clustering
Yan Virin, Guy Shani, Solomon Eyal Shimony, Ronen I. Brafman Semantic Inference at the Lexical-Syntactic Level
Roy Bar-Haim, Ido Dagan, Iddo Greental, Eyal Shnarch Spatial Representation and Reasoning for Human-Robot Collaboration
William G. Kennedy, Magdalena D. Bugajska, Matthew Marge, William Adams, Benjamin R. Fransen, Dennis Perzanowski, Alan C. Schultz, J. Gregory Trafton Supporting Feedback and Assessment of Digital Ink Answers to In-Class Exercises
Kimberle Koile, Kevin Chevalier, Michel Rbeiz, Adam Rogal, David Singer, Jordan Sorensen, Amanda Smith, Kah Seng Tay, Kenneth Wu The More the Merrier: Multi-Party Negotiation with Virtual Humans
Patrick G. Kenny, Arno Hartholt, Jonathan Gratch, David R. Traum, Stacy Marsella, William R. Swartout The PhotoSlap Game: Play to Annotate
Tsung-Hsiang Chang, Chien-Ju Ho, Jane Yung-jen Hsu The UBC Semantic Robot Vision System
Scott Helmer, David Meger, Per-Erik Forssén, Tristram Southey, Sancho McCann, Pooyan Fazli, Jim Little, David G. Lowe The VITA Financial Services Sales Support Environment
Alexander Felfernig, Klaus Isak, Kalman Szabo, Peter Zachar Theta*: Any-Angle Path Planning on Grids
Alex Nash, Kenny Daniel, Sven Koenig, Ariel Felner Towards an Integrated Robot with Multiple Cognitive Functions
Nick Hawes, Aaron Sloman, Jeremy L. Wyatt, Michael Zillich, Henrik Jacobsson, Geert-Jan M. Kruijff, Michael Brenner, Gregor Berginc, Danijel Skocaj Transposition Tables for Constraint Satisfaction
Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal User Model and Utility Based Power Management
Chih-Han Yu, Shie Mannor, Georgios Theocharous, Avi Pfeffer