• Skip to main content
  • Skip to primary sidebar
AAAI

AAAI

Association for the Advancement of Artificial Intelligence

    • AAAI

      AAAI

      Association for the Advancement of Artificial Intelligence

  • About AAAIAbout AAAI
    • AAAI Officers and Committees
    • AAAI Staff
    • Bylaws of AAAI
    • AAAI Awards
      • Fellows Program
      • Classic Paper Award
      • Dissertation Award
      • Distinguished Service Award
      • Allen Newell Award
      • Outstanding Paper Award
      • Award for Artificial Intelligence for the Benefit of Humanity
      • Feigenbaum Prize
      • Patrick Henry Winston Outstanding Educator Award
      • Engelmore Award
      • AAAI ISEF Awards
      • Senior Member Status
      • Conference Awards
    • AAAI Resources
    • AAAI Mailing Lists
    • Past AAAI Presidential Addresses
    • Presidential Panel on Long-Term AI Futures
    • Past AAAI Policy Reports
      • A Report to ARPA on Twenty-First Century Intelligent Systems
      • The Role of Intelligent Systems in the National Information Infrastructure
    • AAAI Logos
    • News
  • aaai-icon_ethics-diversity-line-yellowEthics & Diversity
  • Conference talk bubbleConferences & Symposia
    • AAAI Conference
    • AIES AAAI/ACM
    • AIIDE
    • IAAI
    • ICWSM
    • HCOMP
    • Spring Symposia
    • Summer Symposia
    • Fall Symposia
    • Code of Conduct for Conferences and Events
  • PublicationsPublications
    • AAAI Press
    • AI Magazine
    • Conference Proceedings
    • AAAI Publication Policies & Guidelines
    • Request to Reproduce Copyrighted Materials
  • aaai-icon_ai-magazine-line-yellowAI Magazine
    • Issues and Articles
    • Author Guidelines
    • Editorial Focus
  • MembershipMembership
    • Member Login
    • Developing Country List
    • AAAI Chapter Program

  • Career CenterCareer Center
  • aaai-icon_ai-topics-line-yellowAITopics
  • aaai-icon_contact-line-yellowContact

Home / Proceedings / Proceedings of the AAAI Conference on Artificial Intelligence, 22 /

No. 2: Technical Papers of the Twenty-Second Aaai Conference On Artificial Intelligence

Agents, Game Theory, Auctions, and Mechanism Design

  • A Unification of Extensive-Form Games and Markov Decision Processes

    H. Brendan McMahan, Geoffrey J. Gordon

    86

    PDF
  • An Ironing-Based Approach to Adaptive Online Mechanism Design in Single-Valued Domains

    David C. Parkes, Quang Duong

    94

    PDF
  • On the Reasoning Patterns of Agents in Games

    Avi Pfeffer, Ya'akov Gal

    102

    PDF
  • Learning Voting Trees

    Ariel D. Procaccia, Aviv Zohar, Yoni Peleg, Jeffrey S. Rosenschein

    110

    PDF
  • On the Benefits of Exploiting Underlying Goals in Argument-based Negotiation

    Iyad Rahwan, Philippe Pasquier, Liz Sonenberg, Frank Dignum

    116

    PDF
  • Revenue Monotonicity in Combinatorial Auctions

    Baharak Rastegari, Anne Condon, Kevin Leyton-Brown

    122

    PDF
  • A Multi-Dimensional Trust Model for Heterogeneous Contract Observations

    Steven Reece, Alex Rogers, Stephen Roberts, Nicholas R. Jennings

    128

    PDF
  • Reasoning from Desires to Intentions: A Dialectical Framework

    Nicolás D. Rotstein, Alejandro J. Garca, Guillermo R. Simari

    136

    PDF
  • A Logic of Emotions for Intelligent Agents

    Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer

    142

    PDF
  • Valuation Uncertainty and Imperfect Introspection in Second-Price Auctions

    David R.M. Thompson, Kevin Leyton-Brown

    148

    PDF
  • Reasoning about Bargaining Situations

    Dongmo Zhang

    154

    PDF
  • Learning Equilibrium in Resource Selection Games

    Itai Ashlagi, Dov Monderer, Moshe Tennenholtz

    18

    PDF
  • Action-Based Alternating Transition Systems for Arguments about Action

    Katie Atkinson, Trevor Bench-Capon

    24

    PDF
  • Implementing the Maximum of Monotone Algorithms

    Liad Blumrosen

    30

    PDF
  • Intention Guided Belief Revision

    Timothy W. Cleaver, Abdul Sattar

    36

    PDF
  • The Impact of Network Topology on Pure Nash Equilibria in Graphical Games

    Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal

    42

    PDF
  • Potential-Aware Automated Abstraction of Sequential Games, and Holistic Equilibrium Analysis of Texas Hold’em Poker

    Andrew Gilpin, Tuomas Sandholm, Troels Bjerre Sørensen

    50

    PDF
  • Automated Online Mechanism Design and Prophet Inequalities

    MohammadTaghi Hajiaghayi, Robert Kleinberg, Tuomas Sandholm

    58

    PDF
  • Real Arguments Are Approximate Arguments

    Anthony Hunter

    66

    PDF
  • Partial Revelation Automated Mechanism Design

    Nathanael Hyafil, Craig Boutilier

    72

    PDF
  • Computing Pure Nash Equilibria in Symmetric Action Graph Games

    Albert Xin Jiang, Kevin Leyton-Brown

    79

    PDF

Constraints and Satisfiability

  • Interactive Configuration with Regular String Constraints

    Esben R. Hansen, Henrik Reif Andersen

    217

    PDF
  • Using Expectation Maximization to Find Likely Assignments for Solving CSP’s

    Eric Hsu, Matthew Kitching, Fahiem Bacchus, Sheila McIlraith

    224

    PDF
  • Propagating Knapsack Constraints in Sublinear Time

    Irit Katriel, Meinolf Sellmann, Eli Upfal, Pascal Van Hentenryck

    231

    PDF
  • Conservative Dual Consistency

    Christophe Lecoutre, Stephane Cardon, Julien Vion

    237

    PDF
  • Transposition Tables for Constraint Satisfaction

    Christophe Lecoutre, Lakhdar Sais, Sebastien Tabary, Vincent Vidal

    243

    PDF
  • Multi-Objective Russian Doll Search

    Emma Rollon, Javier Larrosa

    249

    PDF
  • Learning to Solve QBF

    Horst Samulowitz, Roland Memisevic

    255

    PDF
  • Solving a Stochastic Queueing Design and Control Problem with Constraint Programming

    Daria Terekhov, J. Christopher Beck, Kenneth N. Brown

    261

    PDF
  • Population-Based Simulated Annealing for Traveling Tournaments

    Pascal Van Hentenryck, Yannis Vergados

    267

    PDF
  • Synthesis of Constraint-Based Local Search Algorithms from High-Level Models

    Pascal Van Hentenryck, Laurent Michel

    273

    PDF
  • On Balanced CSPs with High Treewidth

    Carlos Ansótegui, Ramón Béjar, César Fernàndez, Carles Mateu

    161

    PDF
  • Inference Rules for High-Order Consistency in Weighted CSP

    Carlos Ansotegui, Maria L. Bonet, Jordi Levy, F. Manya

    167

    PDF
  • Randomized Adaptive Spatial Decoupling for Large-Scale Vehicle Routing with Time Windows

    Pascal Van Hentenryck, Russell Bent

    173

    PDF
  • Search Space Reduction and Russian Doll Search

    Kenil C. K. Cheng, Roland H. C. Yap

    179

    PDF
  • Using More Reasoning to Improve #SAT Solving

    Jessica Davies, Fahiem Bacchus

    185

    PDF
  • Data Structures for Generalised Arc Consistency for Extensional Constraints

    Ian P. Gent, Chris Jefferson, Ian Miguel, Peter Nightingale

    191

    PDF
  • Approximate Counting by Sampling the Backtrack-free Search Space

    Vibhav Giridhar Gogate, Rina Dechter

    198

    PDF
  • Counting CSP Solutions Using Generalized XOR Constraints

    Carla P. Gomes, Willem-Jan van Hoeve, Ashish Sabharwal, Bart Selman

    204

    PDF
  • Compressing Configuration Data for Memory Limited Devices

    Esben R. Hansen, Peter Tiedemann

    210

    PDF

Knowledge and Information Systems

  • Mining Web Query Hierarchies from Clickthrough Data

    Dou Shen, Min Qin, Weizhu Chen, Qiang Yang, Zheng Chen

    341

    PDF
  • Posterior Probability Profiles for the Automated Assessment of the Recovery of Stroke Patients

    Gert Van Dijck, Jo Van Vaerenbergh, Marc M. Van Hulle.

    347

    PDF
  • Learning Causal Models for Noisy Biological Data Mining: An Application to Ovarian Cancer Detection

    Ghim-Eng Yap, Ah-Hwee Tan, Hwee-Hwa Pang

    354

    PDF
  • Learning by Reading: A Prototype System, Performance Baseline and Lessons Learned

    Ken Barker, B. Agashe, S. Chaw, J. Fan, N. Friedland, M. Glass, J. Hobbs, E. Hovy, D. Israel, R. Mulkar-Mehta, D.S. Kim, S. Patwardhan, B. Porter, D. Tecuci, P. Yeh

    280

    PDF
  • A Temporal Mereology for Distinguishing between Integral Objects and Portions of Stuff

    Thomas Bittner, Maureen Donnelly

    287

    PDF
  • A Qualitative Approach to Multiple Fault Isolation in Continuous Systems

    Matthew Daigle, Xenofon Koutsoukos, Gautam Biswas

    293

    PDF
  • Scalable Semantic Retrieval through Summarization and Refinement

    Julian Dolby, Achille Fokoue, Aditya Kalyanpur, Aaron Kershenbaum, Edith Schonberg, Kavitha Srinivas, Li L Ma

    299

    PDF
  • Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms

    Grastien Alban, Anbulagan, Jussi Rintanen, Elena Kelareva

    305

    PDF
  • On Capturing Semantics in Ontology Mapping

    Bo Hu, Srinandan Dasmahapatra, Paul Lewis, Nigel Shadbolt

    311

    PDF
  • TableRank: A Ranking Algorithm for Table Search and Retrieval

    Ying Liu, Kun Bai, Prasenjit Mitra, C. Lee Giles

    317

    PDF
  • Representative Explanations for Over-Constrained Problems

    Barry O'Sullivan, Alexandre Papadopoulos, Boi Faltings and Pearl Pu

    323

    PDF
  • L2R: A Logical Method for Reference Reconciliation

    Fatiha Saïs, Nathalie Pernelle, Marie-Christine Rousset

    329

    PDF
  • A Spectrum of Symbolic On-line Diagnosis Approaches

    Anika Schumann, Yannick Pencolé, Sylvie Thiebaux.

    335

    PDF

Knowledge Representation and Logic

  • Learning Large Scale Common Sense Models of Everyday Life

    William Pentney, Matthai Philipose, Jeff Bilmes, Henry Kautz

    465

    PDF
  • A Model-based Approach for Merging Prioritized Knowledge Bases in Possibilistic Logic

    Guilin Qi

    471

    PDF
  • Description Logics for Multi-Issue Bilateral Negotiation with Incomplete Information

    Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini

    477

    PDF
  • A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints

    Yi-Dong Shen, Jia-Huai You

    483

    PDF
  • Probabilistic Modal Logic

    Afsaneh H Shirazi, Eyal Amir

    489

    PDF
  • A Modal Logic for Beliefs and Pro Attitudes

    Su K, Abdul Sattar, Han Lin, Mark Reynolds

    496

    PDF
  • Knowledge Compilation Properties of Tree-of-BDDs

    Sathiamoorthy Subbarayan, Lucas Bordeaux, Youssef Hamadi

    502

    PDF
  • The Modal Logic S4F, the Default Logic, and the Logic Here-and-There

    Miroslaw Truszczynski

    508

    PDF
  • DL-Lite in the Light of First-Order Logic

    Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev

    361

    PDF
  • An Egalitarist Fusion of Incommensurable Ranked Belief Bases under Constraints

    Salem Benferhat, Sylvain Lagrue, Julien Rossit

    367

    PDF
  • Possibilistic Causal Networks for Handling Interventions: A New Propagation Algorithm

    Salem Benferhat, Salma Smaoui

    373

    PDF
  • Prime Implicates and Prime Implicants in Modal Logic

    Meghyn Bienvenu

    379

    PDF
  • Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems

    Gerhard Brewka, Thomas Eiter

    385

    PDF
  • Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach

    Diego Calvanese, Thomas Eiter, Magdalena Ortiz

    391

    PDF
  • Approximate Query Answering in Locally Closed Databases

    Alvaro Cortes-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe

    397

    PDF
  • On the Approximation of Instance Level Update and Erasure in Description Logics

    Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati

    403

    PDF
  • Forgetting Actions in Domain Descriptions

    Esra Erdem, Paolo Ferraris

    409

    PDF
  • Discovering Near Symmetry in Graphs

    Maria Fox, Derek Long, Julie Porteous

    415

    PDF
  • A Logical Theory of Coordination and Joint Ability

    Hojjat Ghaderi, Hector Levesque, Yves Lesperance

    421

    PDF
  • Belief Change and Cryptographic Protocol Verification

    Aaron Hunter, James P. Delgrande

    427

    PDF
  • Generality and Equivalence Relations in Default Logic

    Katsumi Inoue, Chiaki Sakama

    434

    PDF
  • Mutual Belief Revision: Semantics and Computation

    Yi Jin, Michael Thielscher, Dongmo Zhang

    440

    PDF
  • Measuring the Level of Transfer Learning by an AP Physics Problem-Solver

    Matthew Klenk, Ken Forbus

    446

    PDF
  • Complexity Boundaries for Horn Description Logics

    Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler

    452

    PDF
  • Facts Do Not Cease to Exist Because They Are Ignored: Relativised Uniform Equivalence with Answer-Set Projection

    Johannes Oetsch, Hans Tompits, Stefan Woltran

    458

    PDF

Machine Learning

  • Improving Learning in Networked Data by Combining Explicit and Mined Links

    Sofus A. Macskassy

    590

    PDF
  • Cautious Inference in Collective Classification

    Luke K. McDowell, Kalyan Moy Gupta, David W. Aha

    596

    PDF
  • Nonmyopic Informative Path Planning in Spatio-Temporal Models

    Alexandra Meliou, Andreas Krause, Carlos Guestrin, Joseph M. Hellerstein

    602

    PDF
  • Mapping and Revising Markov Logic Networks for Transfer Learning

    Lilyana Mihalkova, Tuyen Huynh, Raymond J. Mooney

    608

    PDF
  • Discovering Multivariate Motifs using Subsequence Density Estimation and Greedy Mixture Learning

    David Minnen, Charles L. Isbell, Irfan Essa, Thad Starner

    615

    PDF
  • M2ICAL Analyses HC-Gammon

    Wee-Chong Oon, Martin Henz

    621

    PDF
  • A Randomized String Kernel and Its Application to RNA Interference

    Shibin Qiu, Terran Lane, Ljubomir Buturovic

    627

    PDF
  • COD: Online Temporal Clustering for Outbreak Detection

    Tomas Singliar, Denver Dash

    633

    PDF
  • Abstraction in Predictive State Representations

    Vishal Soni, Satinder Singh

    639

    PDF
  • Efficient Structure Learning in Factored-State MDPs

    Alexander L. Strehl, Carlos Diuk, Michael L. Littman

    645

    PDF
  • Semi-Supervised Learning by Mixed Label Propagation

    Wei Tong, Rong Jin

    651

    PDF
  • Clustering with Local and Global Regularization

    Fei Wang, Changshui Zhang, Tao Li

    657

    PDF
  • Probabilistic Community Discovery Using Hierarchical Latent Gaussian Mixture Model

    Haizheng Zhang, C. Lee Giles, Henry C. Foley, John Yen.

    663

    PDF
  • Multi-Label Learning by Instance Differentiation

    Min-Ling Zhang, Zhi-Hua Zhou

    669

    PDF
  • Semi-Supervised Learning with Very Few Labeled Training Examples

    Zhi-Hua Zhou, De-Chuan Zhan, Qiang Yang

    675

    PDF
  • Kernel Regression with Order Preferences

    Xiaojin Zhu, Andrew Goldberg

    681

    PDF
  • Particle Filtering for Dynamic Agent Modelling in Simplified Poker

    Nolan Bard, Michael Bowling

    515

    PDF
  • A Mathematical Programming Formulation for Sparse Collaborative Computer Aided Diagnosis

    Jinbo Bi, Tao Xiong

    522

    PDF
  • Isometric Projection

    Deng Cai, Xiaofei He, Jiawei Han

    528

    PDF
  • Active Algorithm Selection

    Feilong Chen, Rong Jin

    534

    PDF
  • Transferring Naive Bayes Classifiers for Text Classification

    Wenyuan Dai, Gui-Rong Xue, Qiang Yang, Yong Yu

    540

    PDF
  • Relationship Identification for Social Network Discovery

    Christopher P. Diehl, Galileo Namata, Lise Getoor

    546

    PDF
  • A Reinforcement Learning Algorithm with Polynomial Interaction Complexity for Only-Costly-Observable MDPs

    Roy Fox, Moshe Tennenholtz

    553

    PDF
  • Compact Spectral Bases for Value Function Approximation Using Kronecker Factorization

    Jeff Johns, Sridhar Mahadevan, Chang Wang

    559

    PDF
  • A Method for Large-Scale l1-Regularized Logistic Regression

    Kwangmoo Koh, Seung-Jean Kim, Stephen Boyd

    565

    PDF
  • Efficient Reinforcement Learning with Relocatable Action Models

    Bethany R. Leffler, Michael L. Littman, Timothy Edmunds

    572

    PDF
  • Graph Partitioning Based on Link Distributions

    Bo Long, Zhongfei (Mark) Zhang, Philip S. Yu

    578

    PDF
  • Refining Rules Incorporated into Knowledge-Based Support Vector Learners Via Successive Linear Programming

    Richard Maclin, Edward Wild, Jude Shavlik, Lisa Torrey, Trevor Walker

    584

    PDF

Multiagents

  • Improved State Estimation in Multiagent Settings with Continuous or Large Discrete State Spaces

    Prashant Doshi

    712

    PDF
  • Computational Complexity of Weighted Threshold Games

    Edith Elkind, Leslie Ann Goldberg, Paul Goldberg, Michael Wooldridge

    718

    PDF
  • Llull and Copeland Voting Broadly Resist Bribery and Control

    Piotr Faliszewski, Edith Hemaspaandra, Lane Hemaspaandra, Joerg Rothe

    724

    PDF
  • Towards a Cognitive Model of Crowd Behavior Based on Social Comparison Theory

    Natalie Fridman, Gal A. Kaminka

    731

    PDF
  • Centralized, Distributed or Something Else? Making Timely Decisions in Multi-Agent Systems

    Tim Harbers, Rajiv T. Maheswaran, Pedro Szekely

    738

    PDF
  • An α-approximation Protocol for the Generalized Mutual Assignment Problem

    Katsutoshi Hirayama

    744

    PDF
  • Anytime Coordination Using Separable Bilinear Programs

    Marek Petrik, Shlomo Zilberstein

    750

    PDF
  • Active Imitation Learning

    Aaron P Shon, Deepak Verma, Rajesh P. N. Rao

    756

    PDF
  • Dynamic DFS Tree in ADOPT-ing

    Marius C Silaghi, Makoto Yokoo

    763

    PDF
  • Efficient Statistical Methods for Evaluating Trading Agent Performance

    Eric Sodomka, John Collins, Maria Gini

    770

    PDF
  • Strongly Decomposable Voting Rules on Multiattribute Domains

    Lirong Xia, Jerome Lang, Mingsheng Ying

    776

    PDF
  • Approximate Solutions of Interactive Dynamic Influence Diagrams Using Model Clustering

    Yifeng Zeng, Prashant Doshi, Qiongyu Chen

    782

    PDF
  • A New Algorithm for Generating Equilibria in Massive Zero-Sum Games

    Martin Zinkevich, Michael Bowling, Neil Burch

    788

    PDF
  • Agent Influence as a Predictor of Difficulty for Decentralized Problem-Solving

    Martin Allen, Shlomo Zilberstein

    688

    PDF
  • Computational Aspects of Covering in Dominance Graphs

    Felix Brandt, Felix Fischer

    694

    PDF
  • Allocating Goods on a Graph to Eliminate Envy

    Yann Chevaleyre, Ulle Endriss, Nicolas Maudet

    700

    PDF
  • Evolutionary and Lifetime Learning in Varying NK Fitness Landscape Changing Environments: An Analysis of Both Fitness and Diversity

    Dara Curran, Colm O'Riordan, Humphrey Sorensen

    706

    PDF

Multidisciplinary Topics and Applications

  • A Corpus-Based Hybrid Approach to Music Analysis and Composition

    Bill Manaris, Patrick Roos, Penousal Machado, Dwight Krehbiel, Luca Pellicoro, Juan Romero

    839

    PDF
  • Recognition of Hand Drawn Chemical Diagrams

    Tom Y. Ouyang, Randall Davis

    846

    PDF
  • Authorial Idioms for Target Distributions in TTD-MDPs

    David L. Roberts, Sooraj Bhat, Kenneth St. Clair, Charles L. Isbell

    852

    PDF
  • Visualization and Adjustment of Evaluation Functions Based on Evaluation Values and Win Probability

    Shogo Takeuchi, Tomoyuki Kaneko, Kazunori Yamaguchi, Satoru Kawai

    858

    PDF
  • Humans Perform Semi-Supervised Classification Too

    Xiaojin Zhu, Timothy Rogers, Ruichen Qian, Chuck Kalish

    864

    PDF
  • A Logic of Agent Programs

    Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer

    795

    PDF
  • Acquiring Visibly Intelligent Behavior with Example-Guided Neuroevolution

    Bobby D. Bryant, Risto Miikkulainen

    801

    PDF
  • Actively Exploring Creation of Face Space(s) for Improved Face Recognition

    Nitesh Chawla, Kevin Bowyer

    809

    PDF
  • Modeling Reciprocal Behavior in Human Bilateral Negotiation

    Ya'akov Gal, Avi Pfeffer

    815

    PDF
  • Gender-Sensitive Automated Negotiators

    Ron Katz, Sarit Kraus

    821

    PDF
  • A Connectionist Cognitive Model for Temporal Synchronisation and Learning

    Luis C. Lamb, Rafael V. Borges, Artur S. d'Avila Garcez

    827

    PDF
  • Enabling Domain-Awareness for a Generic Natural Language Interface

    Yunyao Li, Ishan Chaudhuri, Huahai Yang, Satinder Singh, H. V. Jagadish

    833

    PDF

Natural-Language Processing

  • Semantic Inference at the Lexical-Syntactic Level

    Roy Bar-Haim, Ido Dagan, Iddo Greental, Eyal Shnarch

    871

    PDF
  • Turning Lectures into Comic Books Using Linguistically Salient Gestures

    Jacob Eisenstein, Regina Barzilay, Randall Davis

    877

    PDF
  • A Robot That Uses Existing Vocabulary to Infer Non-Visual Word Meanings from Observation

    Kevin Gold, Brian Scassellati

    883

    PDF
  • ASKNet: Automated Semantic Knowledge Network

    Brian Harrington, Stephen Clark

    889

    PDF
  • Learning Language Semantics from Ambiguous Supervision

    Rohit J. Kate, Raymond J. Mooney

    895

    PDF
  • Disambiguating Noun Compounds

    Su Nam Kim, Timothy Baldwin

    901

    PDF
  • A Meta-learning Approach for Selecting between Response Automation Strategies in a Help-desk Domain

    Yuval Marom, Ingrid Zukerman, Nathalie Japkowicz

    907

    PDF
  • Joint Inference in Information Extraction

    Hoifung Poon, Pedro Domingos

    913

    PDF
  • Content Analysis for Proactive Intelligence: Marshaling Frame Evidence

    Antonio Sanfilippo, Andrew Cowell, Stephen Tratz, Annie Boek, Amanda Cowell, Christian Posse, Line Pouchard

    919

    PDF
  • Mining Sequential Patterns and Tree Patterns to Detect Erroneous Sentences

    Guihua Sun, Gao Cong, Xiaohua Liu, Chin-Yew Lin, Ming Zhou

    925

    PDF
  • Single Document Summarization with Document Expansion

    Xiaojun Wan, Jianwu Yang

    931

    PDF
  • Recognizing Textual Entailment Using a Subsequence Kernel Method

    Rui Wang, Günter Neumann

    937

    PDF

Reasoning about Plans, Processes, and Actions

  • A Modular Action Description Language for Protocol Composition

    Nirmit Desai, Munindar P. Singh

    962

    PDF
  • Detecting Execution Failures Using Learned Action Models

    Maria Fox, Jonathan Gough, Derek Long

    968

    PDF
  • ESP: A Logic of Only-Knowing, Noisy Sensing and Acting

    Alfredo Gabaldon, Gerhard Lakemeyer

    974

    PDF
  • Action-Space Partitioning for Planning

    Natalia H. Gardiol, Leslie Pack Kaelbling

    980

    PDF
  • Planning as Satisfiability with Preferences

    Enrico Giunchiglia, Marco Maratea

    987

    PDF
  • Filtering, Decomposition and Search Space Reduction for Optimal Sequential Planning

    Stéphane Grandcolas, Cyril Pain-Barre

    993

    PDF
  • Stochastic Filtering in a Probabilistic Action Model

    Hannaneh Hajishirzi, Eyal Amir

    999

    PDF
  • Domain-Independent Construction of Pattern Database Heuristics for Cost-Optimal Planning

    Patrik Haslum, Adi Botea, Malte Helmert, Blai Bonet, Sven Koenig

    1007

    PDF
  • Web Service Composition as Planning, Revisited: In Between Background Theories and Initial State Uncertainty

    Joerg Hoffmann, Piergiorgio Bertoli, Marco Pistore

    1013

    PDF
  • Understanding Performance Tradeoffs in Algorithms for Solving Oversubscribed Scheduling

    Laurence A. Kramer, Laura V. Barbulescu, Stephen F. Smith

    1019

    PDF
  • The Semantics of Variables in Action Descriptions

    Vladimir Lifschitz, Wanwan Ren

    1025

    PDF
  • On the Partial Observability of Temporal Uncertainty

    Michael D. Moffitt

    1031

    PDF
  • Minimal Mental Models

    David V. Pynadath, Stacy C. Marsella

    1038

    PDF
  • Asymptotically Optimal Encodings of Conformant Planning in QBF

    Jussi Rintanen

    1045

    PDF
  • Expressiveness of ADL and Golog: Functions Make a Difference

    Gabriele Röger, Bernhard Nebel

    1051

    PDF
  • Purely Epistemic Markov Decision Processes

    Régis Sabbadin, Jérome Lang, Nasolo Ravoanjanahry

    1057

    PDF
  • Automatic Synthesis of a Global Behavior from Multiple Distributed Behaviors

    Sebastian Sardina, Fabio Patrizi, Giuseppe De Giacomo

    1063

    PDF
  • Optimal Regression for Reasoning about Knowledge and Actions

    Hans van Ditmarsch, Andreas Herzig, Tiago de Lima

    1070

    PDF
  • Incorporating Observer Biases in Keyhole Plan Recognition (Efficiently!)

    Dorit Avrahami-Zilberbrand, Gal A. Kaminka

    944

    PDF
  • Concurrent Action Execution with Shared Fluents

    Michael Buro, Alexander Kovarsky

    950

    PDF
  • A Situation-Calculus Semantics for an Expressive Fragment of PDDL

    Jens Classen, Yuxiao Hu, Gerhard Lakemeyer

    956

    PDF

Robotics and Perception

  • Hybrid Inference for Sensor Network Localization Using a Mobile Robot

    Dimitri Marinakis, David Meger, Ioannis Rekleitis, Gregory Dudek

    1089

    PDF
  • Autonomous Development of a Grounded Object Ontology by a Learning Robot

    Joseph Modayil, Benjamin Kuipers

    1095

    PDF
  • Online Co-Localization in Indoor Wireless Networks by Dimension Reduction

    Jeffrey Junfeng Pan, Qiang Yang, Sinno Jialin Pan

    1102

    PDF
  • Adaptive Localization in a Dynamic WiFi Environment through Multi-view Learning

    Sinno Jialin Pan, James T. Kwok, Qiang Yang, Jeffrey Junfeng Pan

    1108

    PDF
  • Simple Robots with Minimal Sensing: From Local Visibility to Global Geometry

    Subhash Suri, Elias Vicari, Peter Widmayer

    1114

    PDF
  • Photometric and Geometric Restoration of Document Images Using Inpainting and Shape-from-Shading

    Li Zhang, Andy M. Yip, Chew Lim Tan

    1121

    PDF
  • Detection of Multiple Deformable Objects using PCA-SIFT

    Stefan Zickler, Alexei Efros

    1127

    PDF
  • A Vision-Based System for a UGV to Handle a Road Intersection

    Javed Ahmed, Mubarak Shah, Andrew Miller, Don Harper, M. N. Jafri

    1077

    PDF
  • Topological Mapping with Weak Sensory Data

    Gregory Dudek, Dimitri Marinakis

    1083

    PDF

Search and Metareasoning

  • Parallel Structured Duplicate Detection

    Rong Zhou, Eric A. Hansen

    1217

    PDF
  • Heuristic Evaluation Functions for General Game Playing

    James Clune

    1134

    PDF
  • On the Value of Good Advice: The Complexity of A* Search with Accurate Heuristics

    Hang Dinh, Alexander Russell, Yuan Su

    1140

    PDF
  • Best-First Search for Treewidth

    P. Alex Dow, Richard E. Korf

    1146

    PDF
  • Automatic Algorithm Configuration Based on Local Search

    Frank Hutter, Holger Hoos, Thomas Stuetzle

    1152

    PDF
  • Near-Optimal Search in Continuous Domains

    Samuel Ieong, Nicolas Lambert, Yoav Shoham, Ronen Brafman

    1158

    PDF
  • Analyzing the Performance of Pattern Database Heuristics

    Richard E. Korf

    1164

    PDF
  • Best-First AND/OR Search for Graphical Models

    Radu Marinescu, Rina Dechter

    1171

    PDF
  • Theta*: Any-Angle Path Planning on Grids

    Alex Nash, Kenny Daniel, Sven Koenig, Ariel Felner

    1177

    PDF
  • Anytime Optimal Coalition Structure Generation

    Talal Rahwan, Sarvapali Ramchurn, Viet D. Dang, Andrea Giovannucci, Nicholas R. Jennings

    1184

    PDF
  • Fluxplayer: A Successful General Game Player

    Stephan Schiffel, Michael Thielscher

    1191

    PDF
  • Combining Multiple Heuristics Online

    Matthew Streeter, Daniel Golovin, Stephen F. Smith

    1197

    PDF
  • Restart Schedules for Ensembles of Problem Instances

    Matthew Streeter, Daniel Golovin, Stephen F. Smith

    1204

    PDF
  • Inconsistent Heuristics

    Uzi Zahavi, Ariel Felner, Jonathan Schaeffer, Nathan Sturtevant.

    1211

    PDF

Uncertainty in AI

  • VOILA: Efficient Feature-value Acquisition for Classification

    Mustafa Bilgic, Lise Getoor

    1225

    PDF
  • Computing Optimal Subsets

    Maxim Binshtok, Ronen I. Brafman, Solomon E. Shimony, Ajay Martin, Craig Boutilier

    1231

    PDF
  • Indefinite-Horizon POMDPs with Action-Based Termination

    Eric A. Hansen

    1237

    PDF
  • Point-Based Policy Iteration

    Shihao Ji, Ronald Parr, Hui Li, Xuejun Liao, Lawrence Carin

    1243

    PDF
  • Thresholded Rewards: Acting Optimally in Timed, Zero-Sum Games

    Colin McMillen, Manuela Veloso

    1250

    PDF
  • Macroscopic Models of Clique Tree Growth for Bayesian Networks

    Ole J. Mengshoel

    1256

    PDF
  • Sampling with Memoization

    Avi Pfeffer

    1263

    PDF
  • Logical Generative Models for Probabilistic Reasoning about Existence, Roles and Identity

    David Poole

    1271

    PDF
  • Learning Graphical Model Structure Using L1-Regularization Paths

    Mark W. Schmidt, Alexandru Niculescu-Mizil, Kevin P. Murphy

    1278

    PDF
  • On the Identification of a Class of Linear Models

    Jin Tian

    1284

    PDF
  • Scaling Up: Solving POMDPs through Value Based Clustering

    Yan Virin, Guy Shani, Solomon Eyal Shimony, Ronen Brafman

    1290

    PDF
  • Generalized Evidence Pre-propagated Importance Sampling for Hybrid Bayesian Networks

    Changhe Yuan, Marek J. Druzdzel

    1296

    PDF

Special Track on Artificial Intelligence and the Web

  • Comprehending and Generating Apt Metaphors: A Web-driven, Case-based Approach to Figurative Language

    Tony Veale, Yanfen Hao

    1471

    PDF
  • Reasoning about Attribute Authenticity in a Web Environment

    Thomas Wolfl

    1477

    PDF
  • Towards Efficient Dominant Relationship Exploration of the Product Items on the Web

    Zhenglu Yang, Lin Li, Botao Wang, Masaru Kitsuregawa

    1483

    PDF
  • Improving Similarity Measures for Short Segments of Text

    Wen-tau Yih, Christopher Meek

    1489

    PDF
  • Design of a Mechanism for Promoting Honesty in E-Marketplaces

    Jie Zhang, Robin Cohen

    1495

    PDF
  • Temporal and Information Flow Based Event Detection from Social Text Streams

    Qiankun Zhao, Prasenjit Mitra, Bi Chen

    1501

    PDF
  • Template-Independent News Extraction Based on Visual Consistency

    Shuyi Zheng, Ruihua Song, Ji-Rong Wen

    1507

    PDF
  • A Distributed Constraint Optimization Solution to the P2P Video Streaming Problem

    Theodore Elhourani, Nathan Denny, Michael Marefat

    1347

    PDF
  • Analyzing Reading Behavior by Blog Mining

    Tadanobu Furukawa, Yutaka Matsuo, Ikki Ohmukai, Koki Uchiyama, Mitsuru Ishizuka

    1353

    PDF
  • PhotoSlap: A Multi-player Online Game for Semantic Annotation

    Chien-Ju Ho, Tsung-Hsiang Chang, Jane Yung-jen Hsu

    1359

    PDF
  • Mobile Service for Reputation Extraction from Weblogs — Public Experiment and Evaluation

    Takahiro Kawamura, Shinichi Nagano, Masumi Inaba, Yumiko Mizoguchi

    1365

    PDF
  • Extracting Influential Nodes for Information Diffusion on a Social Network

    Masahiro Kimura, Kazumi Saito, Ryohei Nakano.

    1371

    PDF
  • SUNNY: A New Algorithm for Trust Inference in Social Networks Using Probabilistic Confidence Models

    Ugur Kuter, Jennifer Golbeck

    1377

    PDF
  • Making the Difference in Semantic Web Service Composition

    Freddy Lecue, Alexandre Delteil

    1383

    PDF
  • A Planning Approach for Message-Oriented Semantic Web Service Composition

    Zhen Liu, Anand Ranganathan, Anton Riabov

    1389

    PDF
  • Robust Estimation of Google Counts for Social Network Extraction

    Yutaka Matsuo, Hironori Tomobe, Takuichi Nishimura

    1395

    PDF
  • Unsupervised Shilling Detection for Collaborative Filtering

    Bhaskar Mehta

    1402

    PDF
  • Repairing Ontology Mappings

    Christian Meilicke, Heiner Stuckenschmidt, Andrei Tamilin

    1408

    PDF
  • Relation Extraction from Wikipedia Using Subtree Mining

    Dat P.T. Nguyen, Yutaka Matsuo, Mitsuru Ishizuka

    1414

    PDF
  • From Whence Does Your Authority Come? Utilizing Community Relevance in Ranking

    Lan Nie, Brian D. Davison, Baoning Wu

    1421

    PDF
  • Finding Related Pages Using Green Measures: An Illustration with Wikipedia

    Yann Ollivier, Pierre Senellart

    1427

    PDF
  • Approximating OWL-DL Ontologies

    Jeff Z Pan, Edward Thomas

    1434

    PDF
  • Deriving a Large-Scale Taxonomy from Wikipedia

    Simone Paolo Ponzetto, Michael Strube

    1440

    PDF
  • Towards Large Scale Argumentation Support on the Semantic Web

    Iyad Rahwan, Fouad Zablith, Chris Reed

    1446

    PDF
  • Provisioning Heterogeneous and Unreliable Providers for Service Workflows

    Sebastian Stein, Nicholas R. Jennings, Terry R. Payne

    1452

    PDF
  • Partial Matchmaking using Approximate Subsumption

    Heiner Stuckenschmidt

    1459

    PDF
  • GRIN: A Graph Based RDF Index

    Octavian Udrea, Andrea Pugliese, V.S. Subrahmanian

    1465

    PDF
  • A Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies

    Jie Bao, Giora Slutzki, Vasant Honavar

    1304

    PDF
  • Modeling Contextual Factors of Click Rates

    Hila Becker, Christopher Meek, David Maxwell Chickering

    1310

    PDF
  • Harvesting Relations from the Web — Quantifiying the Impact of Filtering Functions

    Sebastian Blohm, Philipp Cimiano, Egon Stemle

    1316

    PDF
  • KA-CAPTCHA: An Opportunity for Knowledge Acquisition on the Web

    Bruno da Silva, Ana Cristina Garcia

    1322

    PDF
  • Representing and Reasoning about Commitments in Business Processes

    Nirmit Desai, Amit K. Chopra, Munindar P. Singh

    1328

    PDF
  • Topic Segmentation Algorithms for Text Summarization and Passage Retrieval: An Exhaustive Evaluation

    Gael Dias, Elsa Alves, Jose Gabriel Pereira Lopes

    1334

    PDF
  • The Impact of Time on the Accuracy of Sentiment Classifiers Created from a Web Log Corpus

    Kathleen T. Durant, Michael D. Smith

    1340

    PDF

Special Track on Integrated Intelligence

  • R-CAST: Integrating Team Intelligence for Human-Centered Teamwork

    Xiaocong Fan, John Yen

    1535

    PDF
  • Integrating Natural Language, Knowledge Representation and Reasoning, and Analogical Processing to Learn by Reading

    Kenneth D. Forbus, Christopher Riesbeck, Lawrence Birnbaum, Kevin Livingston, Abhishek Sharma, Leo Ureel

    1542

    PDF
  • Towards an Integrated Robot with Multiple Cognitive Functions

    Nick Hawes, Aaron Sloman, Jeremy Wyatt, Michael Zillich, Henrik Jacobsson, Geert-Jan M. Kruijff, Michael Brenner, Gregor Berginc, Danijel Skocaj

    1548

    PDF
  • Spatial Representation and Reasoning for Human-Robot Collaboration

    William G. Kennedy, Magdalena D. Bugajska, Matthew Marge, William Adams, Benjamin R. Fransen, Dennis Perzanowski, Alan C. Schultz, J. Gregory Trafton

    1554

    PDF
  • Extending Cognitive Architecture with Episodic Memory

    Andrew Nuxoll, John Laird

    1560

    PDF
  • Integrated Introspective Case-Based Reasoning for Intelligent Tutoring Systems

    Leen-Kiat Soh

    1566

    PDF
  • Predicate Projection in a Bimodal Spatial Reasoning System

    Samuel Wintermute, John E. Laird

    1572

    PDF
  • An Intelligent System for Chinese Calligraphy

    Songhua Xu, Hao Jiang, Francis C.M. Lau, Yunhe Pan

    1578

    PDF
  • An Integrated Robotic System for Spatial Understanding and Situated Interaction in Indoor Environments

    Hendrik Zender, Patric Jensfelt, Oscar Martinez Mozos, Geert-Jan M. Kruijff, Wolfram Burgard

    1584

    PDF
  • A Text-to-Picture Synthesis System for Augmenting Communication

    Xiaojin Zhu, Andrew B. Goldberg, Mohamed Eldawy, Charles R. Dyer, Bradley Strock

    1590

    PDF
  • PLOW: A Collaborative Task Learning Agent

    James Allen, Nathanael Chambers, George Ferguson, Lucian Galescu, Hyuckchul Jung, Mary Swift, William Taysom

    1514

    PDF
  • An Architecture for Adaptive Algorithmic Hybrids

    Nicholas Cassimatis, Magda Bugajska, Scott Dugas, Arthi Murugesan, Paul Bello

    1520

    PDF
  • Learning to Sing Like a Bird: The Self-Supervised Acquisition of Birdsong

    Michael H. Coen

    1527

    PDF

Primary Sidebar