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
Technical Papers
Agents, Game Theory, Auctions, and Mechanism Design
- Itai Ashlagi, Dov Monderer, Moshe Tennenholtz:
Learning Equilibrium in Resource Selection Games.
18-23
- Katie Atkinson, Trevor J. M. Bench-Capon:
Action-Based Alternating Transition Systems for Arguments about Action.
24-29
- Liad Blumrosen:
Implementing the Maximum of Monotone Algorithms.
30-35
- Timothy William Cleaver, Abdul Sattar:
Intention Guided Belief Revision.
36-41
- Bistra N. Dilkina, Carla P. Gomes, Ashish Sabharwal:
The Impact of Network Topology on Pure Nash Equilibria in Graphical Games.
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.
50-57
- Mohammad Taghi Hajiaghayi, Robert D. Kleinberg, Tuomas Sandholm:
Automated Online Mechanism Design and Prophet Inequalities.
58-65
- Anthony Hunter:
Real Arguments Are Approximate Arguments.
66-71
- Nathanael Hyafil, Craig Boutilier:
Partial Revelation Automated Mechanism Design.
72-78
- Albert Xin Jiang, Kevin Leyton-Brown:
Computing Pure Nash Equilibria in Symmetric Action Graph Games.
79-85
- H. Brendan McMahan, Geoffrey J. Gordon:
A Unification of Extensive-Form Games and Markov Decision Processes.
86-93
- David C. Parkes, Quang Duong:
An Ironing-Based Approach to Adaptive Online Mechanism Design in Single-Valued Domains.
94-101
- Avi Pfeffer, Ya'akov Gal:
On the Reasoning Patterns of Agents in Games.
102-109
- Ariel D. Procaccia, Aviv Zohar, Yoni Peleg, Jeffrey S. Rosenschein:
Learning Voting Trees.
110-115
- Iyad Rahwan, Philippe Pasquier, Liz Sonenberg, Frank Dignum:
On the Benefits of Exploiting Underlying Goals in Argument-based Negotiation.
116-121
- Baharak Rastegari, Anne Condon, Kevin Leyton-Brown:
Revenue Monotonicity in Combinatorial Auctions.
122-127
- Steven Reece, Stephen Roberts, Alex Rogers, Nicholas R. Jennings:
A Multi-Dimensional Trust Model for Heterogeneous Contract Observations.
128-135
- Nicolás D. Rotstein, Alejandro Javier García, Guillermo Ricardo Simari:
Reasoning from Desires to Intentions: A Dialectical Framework.
136-141
- Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer:
A Logic of Emotions for Intelligent Agents.
142-147
- David Robert Martin Thompson, Kevin Leyton-Brown:
Valuation Uncertainty and Imperfect Introspection in Second-Price Auctions.
148-153
- Dongmo Zhang:
Reasoning about Bargaining Situations.
154-160
Constraints and Satisfiability
- Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carles Mateu:
On Balanced CSPs with High Treewidth.
161-166
- Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà:
Inference Rules for High-Order Consistency in Weighted CSP.
167-172
- Russell Bent, Pascal Van Hentenryck:
Randomized Adaptive Spatial Decoupling for Large-Scale Vehicle Routing with Time Windows.
173-178
- Kenil C. K. Cheng, Roland H. C. Yap:
Search Space Reduction and Russian Doll Search.
179-184
- Jessica Davies, Fahiem Bacchus:
Using More Reasoning to Improve #SAT Solving.
185-190
- Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale:
Data Structures for Generalised Arc Consistency for Extensional Constraints.
191-197
- Vibhav Gogate, Rina Dechter:
Approximate Counting by Sampling the Backtrack-free Search Space.
198-203
- Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal, Bart Selman:
Counting CSP Solutions Using Generalized XOR Constraints.
204-209
- Esben Rune Hansen, Peter Tiedemann:
Compressing Configuration Data for Memory Limited Devices.
210-216
- Esben Rune Hansen, Henrik Reif Andersen:
Interactive Configuration with Regular String Constraints.
217-223
- Eric I. Hsu, Matthew Kitching, Fahiem Bacchus, Sheila A. McIlraith:
Using Expectation Maximization to Find Likely Assignments for Solving CSP's.
224-230
- Irit Katriel, Meinolf Sellmann, Eli Upfal, Pascal Van Hentenryck:
Propagating Knapsack Constraints in Sublinear Time.
231-236
- Christophe Lecoutre, Stéphane Cardon, Julien Vion:
Conservative Dual Consistency.
237-242
- Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal:
Transposition Tables for Constraint Satisfaction.
243-248
- Emma Rollon, Javier Larrosa:
Multi-Objective Russian Doll Search.
249-254
- Horst Samulowitz, Roland Memisevic:
Learning to Solve QBF.
255-260
- Daria Terekhov, J. Christopher Beck, Kenneth N. Brown:
Solving a Stochastic Queueing Design and Control Problem with Constraint Programming.
261-266
- Pascal Van Hentenryck, Yannis Vergados:
Population-Based Simulated Annealing for Traveling Tournaments.
267-271
- Pascal Van Hentenryck, Laurent D. Michel:
Synthesis of Constraint-Based Local Search Algorithms from High-Level Models.
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.
280-286
- Thomas Bittner, Maureen Donnelly:
A Temporal Mereology for Distinguishing between Integral Objects and Portions of Stuff.
287-292
- Matthew J. Daigle, Xenofon D. Koutsoukos, Gautam Biswas:
A Qualitative Approach to Multiple Fault Isolation in Continuous Systems.
293-298
- Julian Dolby, Achille Fokoue, Aditya Kalyanpur, Aaron Kershenbaum, Edith Schonberg, Kavitha Srinivas, Li Ma:
Scalable Semantic Retrieval through Summarization and Refinement.
299-304
- Alban Grastien, Anbulagan, Jussi Rintanen, Elena Kelareva:
Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms.
305-310
- Bo Hu, Srinandan Dasmahapatra, Paul H. Lewis, Nigel Shadbolt:
On Capturing Semantics in Ontology Mapping.
311-316
- Ying Liu, Kun Bai, Prasenjit Mitra, C. Lee Giles:
TableRank: A Ranking Algorithm for Table Search and Retrieval.
317-322
- Barry O'Sullivan, Alexandre Papadopoulos, Boi Faltings, Pearl Pu:
Representative Explanations for Over-Constrained Problems.
323-328
- Fatiha Saïs, Nathalie Pernelle, Marie-Christine Rousset:
L2R: A Logical Method for Reference Reconciliation.
329-334
- Anika Schumann, Yannick Pencolé, Sylvie Thiébaux:
A Spectrum of Symbolic On-line Diagnosis Approaches.
335-340
- Dou Shen, Min Qin, Weizhu Chen, Qiang Yang, Zheng Chen:
Mining Web Query Hierarchies from Clickthrough Data.
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.
347-353
- Ghim-Eng Yap, Ah-Hwee Tan, HweeHwa Pang:
Learning Causal Models for Noisy Biological Data Mining: An Application to Ovarian Cancer Detection.
354-359
Knowledge Representation and Logic
- Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev:
DL-Lite in the Light of First-Order Logic.
361-366
- Salem Benferhat, Sylvain Lagrue, Julien Rossit:
An Egalitarist Fusion of Incommensurable Ranked Belief Bases under Constraints.
367-372
- Salem Benferhat, Salma Smaoui:
Possibilistic Causal Networks for Handling Interventions: A New Propagation Algorithm.
373-378
- Meghyn Bienvenu:
Prime Implicates and Prime Implicants in Modal Logic.
379-384
- Gerhard Brewka, Thomas Eiter:
Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems.
385-390
- Diego Calvanese, Thomas Eiter, Magdalena Ortiz:
Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach.
391-396
- Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe:
Approximate Query Answering in Locally Closed Databases.
397-402
- Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati:
On the Approximation of Instance Level Update and Erasure in Description Logics.
403-408
- Esra Erdem, Paolo Ferraris:
Forgetting Actions in Domain Descriptions.
409-414
- Maria Fox, Derek Long, Julie Porteous:
Discovering Near Symmetry in Graphs.
415-420
- Hojjat Ghaderi, Hector J. Levesque, Yves Lespérance:
A Logical Theory of Coordination and Joint Ability.
421-426
- Aaron Hunter, James P. Delgrande:
Belief Change and Cryptographic Protocol Verification.
427-433
- Katsumi Inoue, Chiaki Sakama:
Generality and Equivalence Relations in Default Logic.
434-439
- Yi Jin, Michael Thielscher, Dongmo Zhang:
Mutual Belief Revision: Semantics and Computation.
440-445
- Matthew Klenk, Kenneth D. Forbus:
Measuring the Level of Transfer Learning by an AP Physics Problem-Solver.
446-451
- Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler:
Complexity Boundaries for Horn Description Logics.
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.
458-464
- William Pentney, Matthai Philipose, Jeff A. Bilmes, Henry A. Kautz:
Learning Large Scale Common Sense Models of Everyday Life.
465-470
- Guilin Qi:
A Model-based Approach for Merging Prioritized Knowledge Bases in Possibilistic Logic.
471-476
- Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini:
Description Logics for Multi-Issue Bilateral Negotiation with Incomplete Information.
477-482
- Yi-Dong Shen, Jia-Huai You:
A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints.
483-488
- Afsaneh Shirazi, Eyal Amir:
Probabilistic Modal Logic.
489-495
- Kaile Su, Abdul Sattar, Han Lin, Mark Reynolds:
A Modal Logic for Beliefs and Pro Attitudes.
496-501
- Sathiamoorthy Subbarayan, Lucas Bordeaux, Youssef Hamadi:
Knowledge Compilation Properties of Tree-of-BDDs.
502-507
- Miroslaw Truszczynski:
The Modal Logic S4F, the Default Logic, and the Logic Here-and-There.
508-514
Machine Learning
- Nolan Bard, Michael H. Bowling:
Particle Filtering for Dynamic Agent Modelling in Simplified Poker.
515-521
- Jinbo Bi, Tao Xiong:
A Mathematical Programming Formulation for Sparse Collaborative Computer Aided Diagnosis.
522-527
- Deng Cai, Xiaofei He, Jiawei Han:
Isometric Projection.
528-533
- Feilong Chen, Rong Jin:
Active Algorithm Selection.
534-539
- Wenyuan Dai, Gui-Rong Xue, Qiang Yang, Yong Yu:
Transferring Naive Bayes Classifiers for Text Classification.
540-545
- Christopher P. Diehl, Galileo Namata, Lise Getoor:
Relationship Identification for Social Network Discovery.
546-552
- Roy Fox, Moshe Tennenholtz:
A Reinforcement Learning Algorithm with Polynomial Interaction Complexity for Only-Costly-Observable MDPs.
553-558
- Jeffrey Johns, Sridhar Mahadevan, Chang Wang:
Compact Spectral Bases for Value Function Approximation Using Kronecker Factorization.
559-564
- Kwangmoo Koh, Seung-Jean Kim, Stephen P. Boyd:
A Method for Large-Scale l1-Regularized Logistic Regression.
565-571
- Bethany R. Leffler, Michael L. Littman, Timothy Edmunds:
Efficient Reinforcement Learning with Relocatable Action Models.
572-577
- Bo Long, Zhongfei (Mark) Zhang, Philip S. Yu:
Graph Partitioning Based on Link Distributions.
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.
584-589
- Sofus A. Macskassy:
Improving Learning in Networked Data by Combining Explicit and Mined Links.
590-595
- Luke McDowell, Kalyan Moy Gupta, David W. Aha:
Cautious Inference in Collective Classification.
596-601
- Alexandra Meliou, Andreas Krause, Carlos Guestrin, Joseph M. Hellerstein:
Nonmyopic Informative Path Planning in Spatio-Temporal Models.
602-607
- Lilyana Mihalkova, Tuyen N. Huynh, Raymond J. Mooney:
Mapping and Revising Markov Logic Networks for Transfer Learning.
608-614
- David Minnen, Charles Lee Isbell Jr., Irfan A. Essa, Thad Starner:
Discovering Multivariate Motifs using Subsequence Density Estimation and Greedy Mixture Learning.
615-620
- Wee-Chong Oon, Martin Henz:
M2ICAL Analyses HC-Gammon.
621-626
- Shibin Qiu, Terran Lane, Ljubomir J. Buturovic:
A Randomized String Kernel and Its Application to RNA Interference.
627-632
- Tomás Singliar, Denver Dash:
COD: Online Temporal Clustering for Outbreak Detection.
633-638
- Vishal Soni, Satinder P. Singh:
Abstraction in Predictive State Representations.
639-644
- Alexander L. Strehl, Carlos Diuk, Michael L. Littman:
Efficient Structure Learning in Factored-State MDPs.
645-650
- Wei Tong, Rong Jin:
Semi-Supervised Learning by Mixed Label Propagation.
651-656
- Fei Wang, Changshui Zhang, Tao Li:
Clustering with Local and Global Regularization.
657-662
- Haizheng Zhang, C. Lee Giles, Henry C. Foley, John Yen:
Probabilistic Community Discovery Using Hierarchical Latent Gaussian Mixture Model.
663-668
- Min-Ling Zhang, Zhi-Hua Zhou:
Multi-Label Learning by Instance Differentiation.
669-674
- Zhi-Hua Zhou, De-Chuan Zhan, Qiang Yang:
Semi-Supervised Learning with Very Few Labeled Training Examples.
675-680
- Xiaojin Zhu, Andrew B. Goldberg:
Kernel Regression with Order Preferences.
681-687
Multiagents
- Martin Allen, Shlomo Zilberstein:
Agent Influence as a Predictor of Difficulty for Decentralized Problem-Solving.
688-693
- Felix Brandt, Felix A. Fischer:
Computational Aspects of Covering in Dominance Graphs.
694-699
- Yann Chevaleyre, Ulrich Endriss, Nicolas Maudet:
Allocating Goods on a Graph to Eliminate Envy.
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.
706-711
- Prashant Doshi:
Improved State Estimation in Multiagent Settings with Continuous or Large Discrete State Spaces.
712-717
- Edith Elkind, Leslie Ann Goldberg, Paul W. Goldberg, Michael Wooldridge:
Computational Complexity of Weighted Threshold Games.
718-723
- Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe:
Llull and Copeland Voting Broadly Resist Bribery and Control.
724-730
- Natalie Fridman, Gal A. Kaminka:
Towards a Cognitive Model of Crowd Behavior Based on Social Comparison Theory.
731-737
- Tim Harbers, Rajiv T. Maheswaran, Pedro A. Szekely:
Centralized, Distributed or Something Else? Making Timely Decisions in Multi-Agent Systems.
738-743
- Katsutoshi Hirayama:
An alpha-approximation Protocol for the Generalized Mutual Assignment Problem.
744-749
- Marek Petrik, Shlomo Zilberstein:
Anytime Coordination Using Separable Bilinear Programs.
750-755
- Aaron P. Shon, Deepak Verma, Rajesh P. N. Rao:
Active Imitation Learning.
756-762
- Marius-Calin Silaghi, Makoto Yokoo:
Dynamic DFS Tree in ADOPT-ing.
763-769
- Eric Sodomka, John Collins, Maria L. Gini:
Efficient Statistical Methods for Evaluating Trading Agent Performance.
770-775
- Lirong Xia, Jérôme Lang, Mingsheng Ying:
Strongly Decomposable Voting Rules on Multiattribute Domains.
776-781
- Yifeng Zeng, Prashant Doshi, Qiongyu Chen:
Approximate Solutions of Interactive Dynamic Influence Diagrams Using Model Clustering.
782-787
- Martin Zinkevich, Michael H. Bowling, Neil Burch:
A New Algorithm for Generating Equilibria in Massive Zero-Sum Games.
788-794
Multidisciplinary Topics and Applications
- Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer:
A Logic of Agent Programs.
795-800
- Bobby D. Bryant, Risto Miikkulainen:
Acquiring Visibly Intelligent Behavior with Example-Guided Neuroevolution.
801-808
- Nitesh V. Chawla, Kevin W. Bowyer:
Actively Exploring Creation of Face Space(s) for Improved Face Recognition.
809-814
- Ya'akov Gal, Avi Pfeffer:
Modeling Reciprocal Behavior in Human Bilateral Negotiation.
815-820
- Ron Katz, Sarit Kraus:
Gender-Sensitive Automated Negotiators.
821-826
- Luís C. Lamb, Rafael V. Borges, Artur S. d'Avila Garcez:
A Connectionist Cognitive Model for Temporal Synchronisation and Learning.
827-832
- Yunyao Li, Ishan Chaudhuri, Huahai Yang, Satinder Singh, H. V. Jagadish:
Enabling Domain-Awareness for a Generic Natural Language Interface.
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.
839-845
- Tom Y. Ouyang, Randall Davis:
Recognition of Hand Drawn Chemical Diagrams.
846-851
- David L. Roberts, Sooraj Bhat, Kenneth St. Clair, Charles Lee Isbell Jr.:
Authorial Idioms for Target Distributions in TTD-MDPs.
852-857
- Shogo Takeuchi, Tomoyuki Kaneko, Kazunori Yamaguchi, Satoru Kawai:
Visualization and Adjustment of Evaluation Functions Based on Evaluation Values and Win Probability.
858-863
- Xiaojin Zhu, Timothy T. Rogers, Ruichen Qian, Chuck Kalish:
Humans Perform Semi-Supervised Classification Too.
864-870
Natural-Language Processing
- Roy Bar-Haim, Ido Dagan, Iddo Greental, Eyal Shnarch:
Semantic Inference at the Lexical-Syntactic Level.
871-876
- Jacob Eisenstein, Regina Barzilay, Randall Davis:
Turning Lectures into Comic Books Using Linguistically Salient Gestures.
877-882
- Kevin Gold, Brian Scassellati:
A Robot That Uses Existing Vocabulary to Infer Non-Visual Word Meanings from Observation.
883-888
- Brian Harrington, Stephen Clark:
ASKNet: Automated Semantic Knowledge Network.
889-894
- Rohit J. Kate, Raymond J. Mooney:
Learning Language Semantics from Ambiguous Supervision.
895-900
- Su Nam Kim, Timothy Baldwin:
Disambiguating Noun Compounds.
901-906
- Yuval Marom, Ingrid Zukerman, Nathalie Japkowicz:
A Meta-learning Approach for Selecting between Response Automation Strategies in a Help-desk Domain.
907-912
- Hoifung Poon, Pedro Domingos:
Joint Inference in Information Extraction.
913-918
- 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.
919-924
- Guihua Sun, Gao Cong, Xiaohua Liu, Chin-Yew Lin, Ming Zhou:
Mining Sequential Patterns and Tree Patterns to Detect Erroneous Sentences.
925-930
- Xiaojun Wan, Jianwu Yang:
Single Document Summarization with Document Expansion.
931-936
- Rui Wang, Günter Neumann:
Recognizing Textual Entailment Using a Subsequence Kernel Method.
937-943
Reasoning about Plans, Processes, and Actions
- Dorit Avrahami-Zilberbrand, Gal A. Kaminka:
Incorporating Observer Biases in Keyhole Plan Recognition (Efficiently!).
944-949
- Michael Buro, Alexander Kovarsky:
Concurrent Action Execution with Shared Fluents.
950-955
- Jens Claßen, Yuxiao Hu, Gerhard Lakemeyer:
A Situation-Calculus Semantics for an Expressive Fragment of PDDL.
956-961
- Nirmit Desai, Munindar P. Singh:
A Modular Action Description Language for Protocol Composition.
962-967
- Maria Fox, Jonathan Gough, Derek Long:
Detecting Execution Failures Using Learned Action Models.
968-973
- Alfredo Gabaldon, Gerhard Lakemeyer:
ESP: A Logic of Only-Knowing, Noisy Sensing and Acting.
974-979
- Natalia Hernandez-Gardiol, Leslie Pack Kaelbling:
Action-Space Partitioning for Planning.
980-986
- Enrico Giunchiglia, Marco Maratea:
Planning as Satisfiability with Preferences.
987-992
- Stéphane Grandcolas, Cyril Pain-Barre:
Filtering, Decomposition and Search Space Reduction for Optimal Sequential Planning.
993-998
- Hannaneh Hajishirzi, Eyal Amir:
Stochastic Filtering in a Probabilistic Action Model.
999-1006
- Patrik Haslum, Adi Botea, Malte Helmert, Blai Bonet, Sven Koenig:
Domain-Independent Construction of Pattern Database Heuristics for Cost-Optimal Planning.
1007-1012
- Jörg Hoffmann, Piergiorgio Bertoli, Marco Pistore:
Web Service Composition as Planning, Revisited: In Between Background Theories and Initial State Uncertainty.
1013-1018
- Laurence A. Kramer, Laura Barbulescu, Stephen F. Smith:
Understanding Performance Tradeoffs in Algorithms for Solving Oversubscribed Scheduling.
1019-1024
- Vladimir Lifschitz, Wanwan Ren:
The Semantics of Variables in Action Descriptions.
1025-1030
- Michael D. Moffitt:
On the Partial Observability of Temporal Uncertainty.
1031-1037
- David V. Pynadath, Stacy Marsella:
Minimal Mental Models.
1038-1044
- Jussi Rintanen:
Asymptotically Optimal Encodings of Conformant Planning in QBF.
1045-1050
- Gabriele Röger, Bernhard Nebel:
Expressiveness of ADL and Golog: Functions Make a Difference.
1051-1056
- Régis Sabbadin, Jérôme Lang, Nasolo Ravoanjanahry:
Purely Epistemic Markov Decision Processes.
1057-1062
- Sebastian Sardiña, Fabio Patrizi, Giuseppe De Giacomo:
Automatic Synthesis of a Global Behavior from Multiple Distributed Behaviors.
1063-1069
- Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima:
Optimal Regression for Reasoning about Knowledge and Actions.
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.
1077-1082
- Gregory Dudek, Dimitri Marinakis:
Topological Mapping with Weak Sensory Data.
1083-1088
- Dimitri Marinakis, David Meger, Ioannis M. Rekleitis, Gregory Dudek:
Hybrid Inference for Sensor Network Localization Using a Mobile Robot.
1089-1094
- Joseph Modayil, Benjamin Kuipers:
Autonomous Development of a Grounded Object Ontology by a Learning Robot.
1095-1101
- Jeffrey Junfeng Pan, Qiang Yang, Sinno Jialin Pan:
Online Co-Localization in Indoor Wireless Networks by Dimension Reduction.
1102-1107
- Sinno Jialin Pan, James T. Kwok, Qiang Yang, Jeffrey Junfeng Pan:
Adaptive Localization in a Dynamic WiFi Environment through Multi-view Learning.
1108-1113
- Subhash Suri, Elias Vicari, Peter Widmayer:
Simple Robots with Minimal Sensing: From Local Visibility to Global Geometry.
1114-1120
- Li Zhang, Andy M. Yip, Chew Lim Tan:
Photometric and Geometric Restoration of Document Images Using Inpainting and Shape-from-Shading.
1121-1126
- Stefan Zickler, Alexei A. Efros:
Detection of Multiple Deformable Objects using PCA-SIFT.
1127-1133
Search and Metareasoning
- James E. Clune:
Heuristic Evaluation Functions for General Game Playing.
1134-1139
- Hang T. Dinh, Alexander Russell, Yuan Su:
On the Value of Good Advice: The Complexity of A* Search with Accurate Heuristics.
1140-1145
- P. Alex Dow, Richard E. Korf:
Best-First Search for Treewidth.
1146-1151
- Frank Hutter, Holger H. Hoos, Thomas Stützle:
Automatic Algorithm Configuration Based on Local Search.
1152-1157
- Samuel Ieong, Nicolas S. Lambert, Yoav Shoham, Ronen I. Brafman:
Near-Optimal Search in Continuous Domains.
1158-1163
- Richard E. Korf:
Analyzing the Performance of Pattern Database Heuristics.
1164-1170
- Radu Marinescu, Rina Dechter:
Best-First AND/OR Search for Graphical Models.
1171-1176
- Alex Nash, Kenny Daniel, Sven Koenig, Ariel Felner:
Theta*: Any-Angle Path Planning on Grids.
1177-1183
- Talal Rahwan, Sarvapali D. Ramchurn, Viet Dung Dang, Andrea Giovannucci, Nicholas R. Jennings:
Anytime Optimal Coalition Structure Generation.
1184-1190
- Stephan Schiffel, Michael Thielscher:
Fluxplayer: A Successful General Game Player.
1191-1196
- Matthew J. Streeter, Daniel Golovin, Stephen F. Smith:
Combining Multiple Heuristics Online.
1197-1203
- Matthew J. Streeter, Daniel Golovin, Stephen F. Smith:
Restart Schedules for Ensembles of Problem Instances.
1204-1210
- Uzi Zahavi, Ariel Felner, Jonathan Schaeffer, Nathan R. Sturtevant:
Inconsistent Heuristics.
1211-1216
- Rong Zhou, Eric A. Hansen:
Parallel Structured Duplicate Detection.
1217-1224
Uncertainty in AI
- Mustafa Bilgic, Lise Getoor:
VOILA: Efficient Feature-value Acquisition for Classification.
1225-1230
- Maxim Binshtok, Ronen I. Brafman, Solomon Eyal Shimony, Ajay Mani, Craig Boutilier:
Computing Optimal Subsets.
1231-1236
- Eric A. Hansen:
Indefinite-Horizon POMDPs with Action-Based Termination.
1237-1242
- Shihao Ji, Ronald Parr, Hui Li, Xuejun Liao, Lawrence Carin:
Point-Based Policy Iteration.
1243-1249
- Colin McMillen, Manuela M. Veloso:
Thresholded Rewards: Acting Optimally in Timed, Zero-Sum Games.
1250-1255
- Ole J. Mengshoel:
Macroscopic Models of Clique Tree Growth for Bayesian Networks.
1256-1262
- Avi Pfeffer:
Sampling with Memoization.
1263-1270
- David Poole:
Logical Generative Models for Probabilistic Reasoning about Existence, Roles and Identity.
1271-1277
- Mark W. Schmidt, Alexandru Niculescu-Mizil, Kevin P. Murphy:
Learning Graphical Model Structure Using L1-Regularization Paths.
1278-1283
- Jin Tian:
On the Identification of a Class of Linear Models.
1284-1289
- Yan Virin, Guy Shani, Solomon Eyal Shimony, Ronen I. Brafman:
Scaling Up: Solving POMDPs through Value Based Clustering.
1290-1295
- Changhe Yuan, Marek J. Druzdzel:
Generalized Evidence Pre-propagated Importance Sampling for Hybrid Bayesian Networks.
1296-1303
Special Track on Artificial Intelligence and the Web
- Jie Bao, Giora Slutzki, Vasant Honavar:
A Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies.
1304-1309
- Hila Becker, Christopher Meek, David Maxwell Chickering:
Modeling Contextual Factors of Click Rates.
1310-1315
- Sebastian Blohm, Philipp Cimiano, Egon Stemle:
Harvesting Relations from the Web - Quantifiying the Impact of Filtering Functions.
1316-1321
- Bruno Norberto da Silva, Ana Cristina Bicharra Garcia:
KA-CAPTCHA: An Opportunity for Knowledge Acquisition on the Web.
1322-1327
- Nirmit Desai, Amit K. Chopra, Munindar P. Singh:
Representing and Reasoning about Commitments in Business Processes.
1328-1333
- Gaël Dias, Elsa Alves, José Gabriel Pereira Lopes:
Topic Segmentation Algorithms for Text Summarization and Passage Retrieval: An Exhaustive Evaluation.
1334-1339
- Kathleen T. Durant, Michael D. Smith:
The Impact of Time on the Accuracy of Sentiment Classifiers Created from a Web Log Corpus.
1340-1346
- Theodore Elhourani, Nathan Denny, Michael M. Marefat:
A Distributed Constraint Optimization Solution to the P2P Video Streaming Problem.
1347-1352
- Tadanobu Furukawa, Mitsuru Ishizuka, Yutaka Matsuo, Ikki Ohmukai, Koki Uchiyama:
Analyzing Reading Behavior by Blog Mining.
1353-1358
- Chien-Ju Ho, Tsung-Hsiang Chang, Jane Yung-jen Hsu:
PhotoSlap: A Multi-player Online Game for Semantic Annotation.
1359-1364
- Takahiro Kawamura, Shinichi Nagano, Masumi Inaba, Yumiko Mizoguchi:
Mobile Service for Reputation Extraction from Weblogs - Public Experiment and Evaluation.
1365-1370
- Masahiro Kimura, Kazumi Saito, Ryohei Nakano:
Extracting Influential Nodes for Information Diffusion on a Social Network.
1371-1376
- Ugur Kuter, Jennifer Golbeck:
SUNNY: A New Algorithm for Trust Inference in Social Networks Using Probabilistic Confidence Models.
1377-1382
- Freddy Lécué, Alexandre Delteil:
Making the Difference in Semantic Web Service Composition.
1383-1388
- Zhen Liu, Anand Ranganathan, Anton Riabov:
A Planning Approach for Message-Oriented Semantic Web Service Composition.
1389-1394
- Yutaka Matsuo, Hironori Tomobe, Takuichi Nishimura:
Robust Estimation of Google Counts for Social Network Extraction.
1395-1401
- Bhaskar Mehta:
Unsupervised Shilling Detection for Collaborative Filtering.
1402-1407
- Christian Meilicke, Heiner Stuckenschmidt, Andrei Tamilin:
Repairing Ontology Mappings.
1408-1413
- Dat P. T. Nguyen, Yutaka Matsuo, Mitsuru Ishizuka:
Relation Extraction from Wikipedia Using Subtree Mining.
1414-1420
- Lan Nie, Brian D. Davison, Baoning Wu:
From Whence Does Your Authority Come? Utilizing Community Relevance in Ranking.
1421-1426
- Yann Ollivier, Pierre Senellart:
Finding Related Pages Using Green Measures: An Illustration with Wikipedia.
1427-1433
- Jeff Z. Pan, Edward Thomas:
Approximating OWL-DL Ontologies.
1434-1439
- Simone Paolo Ponzetto, Michael Strube:
Deriving a Large-Scale Taxonomy from Wikipedia.
1440-1445
- Iyad Rahwan, Fouad Zablith, Chris Reed:
Towards Large Scale Argumentation Support on the Semantic Web.
1446-1451
- Sebastian Stein, Nicholas R. Jennings, Terry R. Payne:
Provisioning Heterogeneous and Unreliable Providers for Service Workflows.
1452-1458
- Heiner Stuckenschmidt:
Partial Matchmaking using Approximate Subsumption.
1459-1464
- Octavian Udrea, Andrea Pugliese, V. S. Subrahmanian:
GRIN: A Graph Based RDF Index.
1465-1470
- Tony Veale, Yanfen Hao:
Comprehending and Generating Apt Metaphors: A Web-driven, Case-based Approach to Figurative Language.
1471-1476
- Thomas Wölfl:
Reasoning about Attribute Authenticity in a Web Environment.
1477-1482
- Zhenglu Yang, Lin Li, Botao Wang, Masaru Kitsuregawa:
Towards Efficient Dominant Relationship Exploration of the Product Items on the Web.
1483-1488
- Wen-tau Yih, Christopher Meek:
Improving Similarity Measures for Short Segments of Text.
1489-1494
- Jie Zhang, Robin Cohen:
Design of a Mechanism for Promoting Honesty in E-Marketplaces.
1495-1500
- Qiankun Zhao, Prasenjit Mitra, Bi Chen:
Temporal and Information Flow Based Event Detection from Social Text Streams.
1501-1506
- Shuyi Zheng, Ruihua Song, Ji-Rong Wen:
Template-Independent News Extraction Based on Visual Consistency.
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.
1514-1519
- Nicholas L. Cassimatis, Magdalena D. Bugajska, Scott Dugas, Arthi Murugesan, Paul Bello:
An Architecture for Adaptive Algorithmic Hybrids.
1520-1526
- Michael H. Coen:
Learning to Sing Like a Bird: The Self-Supervised Acquisition of Birdsong.
1527-1534
- Xiaocong Fan, John Yen:
R-CAST: Integrating Team Intelligence for Human-Centered Teamwork.
1535-1541
- Kenneth D. Forbus, Christopher Riesbeck, Lawrence Birnbaum, Kevin Livingston, Abhishek Sharma, Leo C. Ureel II:
Integrating Natural Language, Knowledge Representation and Reasoning, and Analogical Processing to Learn by Reading.
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.
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.
1554-1559
- Andrew Nuxoll, John E. Laird:
Extending Cognitive Architecture with Episodic Memory.
1560-1564
- Leen-Kiat Soh:
Integrated Introspective Case-Based Reasoning for Intelligent Tutoring Systems.
1566-1571
- Samuel Wintermute, John E. Laird:
Predicate Projection in a Bimodal Spatial Reasoning System.
1572-1577
- Songhua Xu, Hao Jiang, Francis Chi-Moon Lau, Yunhe Pan:
An Intelligent System for Chinese Calligraphy.
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.
1584-1589
- Xiaojin Zhu, Andrew B. Goldberg, Mohamed Eldawy, Charles R. Dyer, Bradley Strock:
A Text-to-Picture Synthesis System for Augmenting Communication.
1590-1596
Senior Member Papers
New Scientific and Technical Advances in Research Papers (NECTAR)
- Indrajit Bhattacharya, Lise Getoor:
Online Collective Entity Resolution.
1606-1609
- Vittorio Castelli, Lawrence D. Bergman, Daniel Oblinger:
Learning by Combining Observations and User Edits.
1610-1613
- Cristina Conati, Christina Merten, Saleema Amershi, Kasia Muldner:
Using Eye-Tracking Data for High-Level User Modeling in Adaptive Interfaces.
1614-1617
- Susan Craw, Stewart Massie, Nirmalie Wiratunga:
Informed Case Base Maintenance: A Complexity Profiling Approach.
1618-1621
- Agostino Dovier, Andrea Formisano, Enrico Pontelli:
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming.
1622-1625
- Georg Gottlob, Reinhard Pichler, Fang Wei:
Efficient Datalog Abduction through Bounded Treewidth.
1626-1631
- Kristen Grauman:
The Pyramid Match: Efficient Learning with Partial Correspondences.
1632-1636
- Arthur Gretton, Karsten M. Borgwardt, Malte J. Rasch, Bernhard Schölkopf, Alexander J. Smola:
A Kernel Approach to Comparing Distributions.
1637-1641
- Aria Haghighi, John DeNero, Dan Klein:
A* Search via Approximate Factoring.
1642-1645
- Matthias Hein, Markus Maier:
Manifold Denoising as Preprocessing for Finding Natural Representations of Data.
1646-1649
- Andreas Krause, Carlos Guestrin:
Near-optimal Observation Selection using Submodular Functions.
1650-1654
- Jason M. O'Kane, Steven M. LaValle:
Dominance and Equivalence for Sensor-Based Agents.
1655-1658
- Feng Pan, Rutu Mulkar, Jerry R. Hobbs:
Modeling and Learning Vague Event Durations for Temporal Reasoning.
1659-1662
- Slav Petrov, Dan Klein:
Learning and Inference for Hierarchically Split PCFGs.
1663-1666
- Steven David Prestwich, Inês Lynce:
Refutation by Randomised General Resolution.
1667-1670
- Raquel Ros, Manuela M. Veloso, Ramon López de Mántaras, Carles Sierra, Josep Lluís Arcos:
Beyond Individualism: Modeling Team Playing Behavior in Robot Soccer through Case-Based Reasoning.
1671-1674
- Matthew E. Taylor, Shimon Whiteson, Peter Stone:
Temporal Difference and Policy Search Methods for Reinforcement Learning: An Empirical Comparison.
1675-1678
- Makoto Yokoo, Atsushi Iwasaki:
Making VCG More Robust in Combinatorial Auctions via Submodular Approximation.
1679-1683
Innovative Applications of Artificial Intelligence
Deployed Applications
- Andy Hon Wai Chun:
Using AI for e-Government Automatic Assessment of Immigration Application Forms.
1684-1691
- Alexander Felfernig, Klaus Isak, Kalman Szabo, Peter Zachar:
The VITA Financial Services Sales Support Environment.
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.
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.
1707-1714
- Srinivas Krovvidy, Robin Landsman, Steve Opdahl, Nancy Templeton, Sydnor Smalera:
Custom DU® - A Web Based Business User Driven Automated Underwriting System.
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.
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.
1730-1737
- Anne Menendez, Guy Paillet:
Fish Inspection System using a Parallel Neural Network Chip and Image Knowledge Builder Application.
1738-1743
- Barry Smyth, Paul Cotter, Stephen Oman:
Enabling Intelligent Content Discovery on the Mobile Internet.
1744-1751
- Peter R. Wurman, Raffaello D'Andrea, Mick Mountz:
Coordinating Hundreds of Cooperative, Autonomous Vehicles in Warehouses.
1752-1760
Emerging Applications
- Beenish Bhatia, Tim Oates, Yan Xiao, Peter Fu-Ming Hu:
Real-Time Identification of Operating Room State from Video.
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.
1767-1774
- Carlos Gonzalez-Morcillo, Gerhard Weiss, Luis Jiménez, David Vallejo:
A Multi-Agent Approach to Distributed Rendering Optimization.
1775-1780
- Masoumeh T. Izadi, David L. Buckeridge:
Optimizing Anthrax Outbreak Detection Using Reinforcement Learning.
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.
1787-1794
- Branislav Kveton, Prashant Gandhi, Georgios Theocharous, Shie Mannor, Barbara Rosario, Nilesh Shah:
Adaptive Timeout Policies for Fast Fine-Grained Power Management.
1795-1800
- Megan Smith, Stephen Lee-Urban, Hector Muñoz-Avila:
RETALIATE: Learning Winning Policies in First-Person Shooter Games.
1801-1806
- Tomasz F. Stepinski, Soumya Ghosh, Ricardo Vilalta:
Machine Learning for Automatic Mapping of Planetary Surfaces.
1807-1812
- Willem Jan van Hoeve, Carla P. Gomes, Bart Selman, Michele Lombardi:
Optimal Multi-Agent Scheduling with Constraint Programming.
1813-1818
- Shimon Whiteson, Daniel Whiteson:
Stochastic Optimization for Collision Selection in High Energy Physics.
1819-1825
- Ari Yakir, Gal A. Kaminka:
An Integrated Development Environment and Architecture for Soar-Based Agents.
1826-1832
- Philip Zigoris, Hongxia Jin:
Adaptive Traitor Tracing with Bayesian Networks.
1833-1839
Student Abstracts
- Adam Anthony, Marie desJardins:
Data Clustering with a Relational Push-Pull Model.
1840-1841
- Tom Armstrong, Tim Oates:
UNDERTOW: Multi-Level Segmentation of Real-Valued Time Series.
1842-1843
- Daniel Bahls, Thomas Roth-Berghofer:
Explanation Support for the Case-Based Reasoning Tool myCBR.
1844-1845
- Camille Besse, Brahim Chaib-draa:
A Markovian Model for Dynamic and Constrained Resource Allocation Problems.
1846-1847
- Nikos Dimaresis, Grigoris Antoniou:
Implementing Modal Extensions of Defeasible Logic for the Semantic Web.
1848-1849
- Xiangyu Duan, Jun Zhao, Bo Xu:
Ungreedy Methods for Chinese Deterministic Dependency Parsing.
1850-1851
- Eric Eaton, Marie desJardins, John Stevenson:
Using Multiresolution Learning for Transfer in Image Classification.
1852-1853
- Ibrahim Eden, David B. Cooper:
Robust Estimation of 3-D Line Segments from Satellite Images for Model Building and Change Detection.
1854-1855
- M. Esmaeili:
Classifiers Fusion for EEG Signals Processing in Human-Computer Interface Systems.
1856-1857
- Robby Goetschalckx, Jan Ramon:
On Policy Learning in Restricted Policy Spaces.
1858-1859
- Jagadeesh Gorla, Amit Goyal, Rajeev Sangal:
Two Approaches for Building an Unsupervised Dependency Parser and Their Other Applications.
1860-1861
- Brian Harrington:
ASKNet: Automated Semantic Knowledge Network.
1862-1863
- Thomas K. Harris, Alexander I. Rudnicky:
TeamTalk: A Platform for Multi-Human-Robot Dialog Research in Coherent Real and Virtual Spaces.
1864-1865
- Philip Hendrix, Barbara J. Grosz:
Reputation in the Venture Games.
1866-1867
- John Huddleston, Jianna Zhang:
Evolutionary Rhythm Composition with Trajectory-based Fitness Evaluation.
1868-1869
- Hsieh-Chuan Hung, Richard Tzong-Han Tsai, Wen-Lian Hsu:
Identifying Protein Interaction Abstracts with Contextual Bag of Words.
1870-1871
- Ece Kamar, Barbara J. Grosz, David Sarne:
Modeling User Perception of Interaction Opportunities in Collaborative Human-Computer Settings.
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.
1874-1875
- Pavel Klinov, Lawrence J. Mazlack:
On Possible Applications of Rough Mereology to Handling Granularity in Ontological Knowledge.
1876-1877
- Ralf Krestel, René Witte, Sabine Bergler:
Fuzzy Set Theory-Based Belief Processing for Natural Language Texts.
1878-1879
- Benjamin Lambert, Scott E. Fahlman:
Knowledge-Driven Learning and Discovery.
1880-1881
- Julien Laumonier:
Reinforcement Using Supervised Learning for Policy Generalization.
1882-1883
- Lin Li, Zhenglu Yang, Masaru Kitsuregawa:
Aggregating User-Centered Rankings to Improve Web Search.
1884-1885
- Fabiana Lorenzi, Ana L. C. Bazzan, Mara Abel:
Recommending Travel Packages Upon Distributed Knowledge.
1886-1887
- Justin Martineau, Akshay Java, Pranam Kolari, Timothy W. Finin, Anupam Joshi, James Mayfield:
BlogVox: Learning Sentiment Classifiers.
1888-1889
- Ross Mead, Jerry B. Weinberg:
Impromptu Teams of Heterogeneous Mobile Robots.
1890-1891
- Piotr W. Mirowski, Deepak Madhavan, Yann LeCun:
Time-Delay Neural Networks and Independent Component Analysis for EEG-Based Prediction of Epileptic Seizures Propagation.
1892-1893
- Victor Naroditskiy, Amy Greenwald:
Using Iterated Best-Response to Find Bayes-Nash Equilibria in Auctions.
1894-1895
- Marc Pickett, Tim Oates:
The Marchitecture: A Cognitive Architecture for a Robot Baby.
1896-1897
- Sushmita Roy, Terran Lane, Margaret Werner-Washburne:
Integrative Construction and Analysis of Condition-specific Biological Networks.
1898-1899
- John C. Stamper, Tiffany Barnes, Marvin J. Croy:
Extracting Student Models for Intelligent Tutoring Systems.
1900-1901
- Wei Sun, Kuo-Chu Chang:
Unscented Message Passing for Arbitrary Continuous Variables in Bayesian Networks.
1902-1903
- Julia M. Taylor, Lawrence J. Mazlack:
An Investigation into Computational Recognition of Children's Jokes.
1904-1905
- Matthew E. Taylor, Peter Stone:
Representation Transfer via Elaboration.
1906-1907
- William Thompson:
Situated Conversational Agents.
1908-1909
- Yan Virin, Guy Shani, Solomon Eyal Shimony, Ronen I. Brafman:
Scaling Up: Solving POMDPs through Value Based Clustering.
1910-1911
- Yi Wang, Jianhua Feng, Shi-Xia Liu:
Learn to Compress and Restore Sequential Data.
1912-1913
- Andrew W. Wicker, Jon Doyle:
Interest-Matching Comparisons using CP-nets.
1914-1915
- Minghao Yin, Hai Lin, Jigui Sun:
Counting Models using Extension Rules.
1916-1917
- Chih-Han Yu, Shie Mannor, Georgios Theocharous, Avi Pfeffer:
User Model and Utility Based Power Management.
1918-1919
- Jilian Zhang, Shichao Zhang, Xiaofeng Zhu, Xindong Wu, Chengqi Zhang:
Measuring the Uncertainty of Differences for Contrasting Groups.
1920-1921
- Xiaofeng Zhu, Shichao Zhang, Jilian Zhang, Chengqi Zhang:
Cost-Sensitive Imputing Missing Values with Ordering.
1922-1923
AAAI / SIGART Doctoral Consortium
- Emma Brunskill:
Continuous State POMDPs for Object Manipulation Tasks.
1925-1926
- Vibhav Gogate:
Approximate Inference in Probabilistic Graphical Models with Determinism.
1927-1928
- Carlos Gómez Gallo:
Handling Non-Sentential Utterances in a Continuous Understanding Framework.
1929-1930
- Brian Harrington:
ASKNet: Automatically Generating Semantic Knowledge Networks.
1931-1932
- Akshay Java:
A Framework for Modeling Influence, Opinions and Structure in Social Media.
1933-1934
- Christopher Kiekintveld:
Empirical Game-Theoretic Methods for Strategy Design and Analysis in Complex Games.
1935-1936
- Kate Lockwood:
Using Spatial Language in Multi-Modal Knowledge Capture.
1937-1938
- Scott W. McQuiggan:
Responding to Student Affect and Efficacy through Empathetic Companion Agents in Interactive Learning Environments.
1939-1940
- Marc Pickett:
The Übercruncher: Concept Formation by Analogy Discovery.
1941-1942
- Mark Roberts:
Harnessing Algorithm Bias in Classical Planning.
1943-1944
- Antonio Roque:
Reacting to Agreement and Error in Spoken Dialogue Systems Using Degrees of Groundedness.
1945-1946
- Murat Sensoy:
A Framework for Ontology-Based Service Selection in Dynamic Environments.
1947-1948
- Sebastian Stein:
Flexible Provisioning of Service Workflows.
1949-1950
- Matthew E. Taylor:
Autonomous Inter-Task Transfer in Reinforcement Learning Domains.
1951-1952
- David R. Thompson:
Predictive Exploration for Autonomous Science.
1953-1954
- Timothy Weale:
Spatial Reference Resolution for an Embodied Dialogue Agent.
1955-1956
- Jie Zhang:
An Incentive Mechanism for Promoting Honesty in E-Marketplaces.
1957-1958
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.
1960-1961
- Kurt D. Bollacker, Robert P. Cook, Patrick Tufts:
Freebase: A Shared Database of Structured General Human Knowledge.
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.
1964-1965
- Tsung-Hsiang Chang, Chien-Ju Ho, Jane Yung-jen Hsu:
The PhotoSlap Game: Play to Annotate.
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.
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.
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.
1972-1973
- Barry O'Sullivan, John Horan:
Generating and Solving Logic Puzzles through Constraint Satisfaction.
1974-1975
- Christopher G. Reeson, Kai-Chen Huang, Kenneth M. Bayer, Berthe Y. Choueiry:
An Interactive Constraint-Based Approach to Sudoku.
1976-1977
Mobile Robot Competition and Exhibition
- John Anderson, Jacky Baltes:
A Mixed Reality Approach to Undergraduate Robotics Education.
1979-1980
- David Gustafson, Aaron Chavez, Michael Marlen, Andrew L. King, Alejandro Alliana, Ondrej Linda:
KSU Willie in Semantic Vision Challenge.
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.
1983-1984
- Cory D. Kidd, Cynthia Breazeal:
A Robotic Weight Loss Coach.
1985-1986
- Li-Jia Li, Juan Carlos Niebles, Fei-Fei Li:
OPTIMOL: A Framework for Online Picture Collection via Incremental Model Learning.
1987-1988
- Ross Mead, Jerry B. Weinberg, Jeffrey R. Croxell:
An Implementation of Robot Formations using Local Interactions.
1989-1990
Last update Sun May 19 21:18:02 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
