default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID22nd AAAI / 19th 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
- Toby Walsh:
Uncertainty in Preference Elicitation and Aggregation. 3-8 - Michael J. Wooldridge, Thomas Ågotnes, Paul E. Dunne, Wiebe van der Hoek:
Logic for Automated Mechanism Design - A Progress Report. 9-17
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 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 J. 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 R. M. 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 K. 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 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 J. 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 M. 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 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 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 G. 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 B. 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
- Thomas L. Dean, Glenn Carroll, Richard Washington:
On the Prospects for Building a Working Model of the Visual Cortex. 1597-1600 - Subbarao Kambhampati:
Model-lite Planning for the Web Age Masses: The Challenges of Planning with Incomplete and Evolving Domain Models. 1601-1605
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 D. Prestwich, Inês Lynce:
Refutation by Randomised General Resolution. 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. 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 C. Y. Tan, Wenbin Zhu:
Journal-Ranking.com: An Online Interactive Journal Ranking System. 1723-1729 - Deborah L. McGuinness, Peter Fox, Luca Cinquini, Patrick West, José García, 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 González-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 - Maryam 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, José García, 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, Aarón Chávez, 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, Jim 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, Li Fei-Fei:
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-13 00:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
