• 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, 24 /

No. 1: Twenty-Fourth AAAI Conference on Artificial Intelligence

AI and Bioinformatics Special Track

  • A Fast Heuristic Search Algorithm for Finding the Longest Common Subsequence of Multiple Strings

    Qingguo Wang, Mian Pan, Yi Shang, Dmitry Korkin

    1287

    PDF
  • A Cross-Entropy Method that Optimizes Partially Decomposable Problems: A New Way to Interpret NMR Spectra

    Siamak (Moshen) Ravanbakhsh, Barnabas Poczos, Russell Greiner

    1280

    PDF
  • Fast Conditional Density Estimation for Quantitative Structure-Activity Relationships

    Fabian Buchwald, Tobias Girschick, Eibe Frank, Stefan Kramer

    1268

    PDF
  • Predicting Structural and Functional Sites in Proteins by Searching for Maximum-weight Cliques

    Franco Mascia, Elisa Cilia, Mauro Brunato, Andrea Passerini

    1274

    PDF

AAAI Technical Track: AI and the Web

  • Adopting Inference Networks for Online Thread Retrieval

    Sumit Bhatia, Prasenjit Mitra

    1300

    PDF
  • Sentiment Analysis with Global Topics and Local Dependency

    Fangtao Li, Minlie Huang, Xiaoyan Zhu

    1371

    PDF
  • Materializing and Persisting Inferred and Uncertain Knowledge in RDF Datasets

    James McGlothlin, Latifur Khan

    1405

    PDF
  • UserRec: A User Recommendation Framework in Social Tagging Systems

    Tom Zhou, Hao Ma, Michael Lyu, Irwin King

    1486

    PDF
  • PR + RQ ≈ PQ: Transliteration Mining Using Bridge Language

    Mitesh Khapra, Raghavendra Udupa, A. Kumaran, Pushpak Bhattacharyya

    1346

    PDF
  • Integrity Constraints in OWL

    Jiao Tao, Evren Sirin, Jie Bao, Deborah McGuinness

    1443

    PDF
  • Fast Algorithms for Top-k Approximate String Matching

    Zhenglu Yang, Jianjun Yu, Masaru Kitsuregawa

    1467

    PDF
  • Visual Contextual Advertising: Bringing Textual Advertisements to Images

    Yuqiang Chen, Ou Jin, Gui-Rong Xue, Jia Chen, Qiang Yang

    1314

    PDF
  • Extraction and Visualization of Implicit Social Relations on Social Networking Services

    Meesun Song, Wonkyu Lee, Junghwan Kim

    1425

    PDF
  • Temporal Information Extraction

    Xiao Ling, Daniel Weld

    1385

    PDF
  • Diversifying Query Suggestion Results

    Hao Ma, Michael Lyu, Irwin King

    1399

    PDF
  • On the Reputation of Agent-Based Web Services

    Babak Khosravifar, Jamal Bentahar, Ahmad Moazin, Philippe Thiran

    1352

    PDF
  • Modeling Dynamic Multi-Topic Discussions in Online Forums

    Hao Wu, Jiajun Bu, Chun Chen, Can Wang, Guang Qiu, Lijun Zhang, Jianfeng Shen

    1455

    PDF
  • Predicting the Importance of Newsfeed Posts and Social Network Friends

    Tim Paek, Michael Gamon, Scott Counts, David Chickering, Aman Dhesi

    1419

    PDF
  • Session Based Click Features for Recency Ranking

    Yoshiyuki Inagaki, Narayanan Sadagopan, Georges Dupret, Anlei Dong, Ciya Liao, Yi Chang, Zhaohui Zheng

    1334

    PDF
  • Toward an Architecture for Never-Ending Language Learning

    Andrew Carlson, Justin Betteridge, Bryan Kisiel, Burr Settles, Estevam Hruschka, Tom Mitchell

    1306

    PDF
  • Utilizing Context in Generative Bayesian Models for Linked Corpus

    Saurabh Kataria, Prasenjit Mitra, Sumit Bhatia

    1340

    PDF
  • A General Framework for Representing and Reasoning with Annotated Semantic Web Data

    Umberto Straccia, Nuno Lopes, Gergely Lukacsy, Axel Polleres

    1437

    PDF
  • Prioritization of Domain-Specific Web Information Extraction

    Jian Huang, Cong Yu

    1327

    PDF
  • News Recommendation in Forum-Based Social Media

    Jia Wang, Qing Li, Yuanzhu Chen, Jiafen Liu, Chen Zhang, Zhangxi Lin

    1449

    PDF
  • Subjective Trust Inference in Composite Services

    Lei Li, Yan Wang

    1377

    PDF
  • A Probabilistic-Logical Framework for Ontology Matching

    Mathias Niepert, Christian Meilicke, Heiner Stuckenschmidt

    1413

    PDF
  • GTPA: A Generative Model For Online Mentor-Apprentice Networks

    Muhammad Ahmad, David Huffakar, Jing Wang, Jeff Treem, Marshall Poole, Jaideep Srivastava

    1294

    PDF
  • Commonsense Knowledge Mining from the Web

    Chi-Hsin Yu, Hsin-Hsi Chen

    1480

    PDF
  • Temporal and Social Context Based Burst Detection from Folksonomies

    Junjie Yao, Bin Cui, Yuxin Huang, Xin Jin

    1474

    PDF
  • Keyword Extraction and Headline Generation Using Novel Word Features

    Songhua Xu, Shaohui Yang, Francis Lau

    1461

    PDF
  • Optimal Social Trust Path Selection in Complex Social Networks

    Guanfeng Liu, Yan Wang, Mehmet Orgun

    1391

    PDF
  • Optimal Strategies for Reviewing Search Results

    Jeff Huang, Anna Kazeykina

    1321

    PDF
  • How Incomplete Is Your Semantic Web Reasoner?

    Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrocks

    1431

    PDF
  • Learning to Predict Opinion Share in Social Networks

    Masahiro Kimura, Kazumi Saito, Kouzou Ohara, Hiroshi Motoda

    1364

    PDF
  • Towards an Intelligent Code Search Engine

    Jinhan Kim, Sanghoon Lee, Seung-won Hwang, Sunghun Kim

    1358

    PDF

Challenges in AI Special Track

  • Collusion Detection in Online Bridge

    Jeff Yan

    1510

    PDF
  • Hidden Market Design

    Sven Seuken, Kamal Jain, David Parkes

    1498

    PDF
  • Ad Hoc Autonomous Agent Teams: Collaboration without Pre-Coordination

    Peter Stone, Gal Kaminka, Sarit Kraus, Jeffrey Rosenschein

    1504

    PDF
  • Automated Modelling and Solving in Constraint Programming

    Barry O'Sullivan

    1493

    PDF

Constraints, Satisfiability, and Search

  • Searching Without a Heuristic: Efficient Use of Abstraction

    Bradford Larsen, Ethan Burns, Wheeler Ruml, Robert Holte

    114

    PDF
  • Understanding the Success of Perfect Information Monte Carlo Sampling in Game Tree Search

    Jeffrey Long, Nathan Sturtevant, Michael Buro, Timothy Furtak

    134

    PDF
  • Collaborative Expert Portfolio Management

    David Stern, Horst Samulowitz, Ralf Herbrich, Thore Graepel, Luca Pulina, Armando Tacchella

    179

    PDF
  • Hydra: Automatically Configuring Algorithms for Portfolio-Based Selection

    Lin Xu, Holger Hoos, Kevin Leyton-Brown

    210

    PDF
  • Lazy Theta*: Any-Angle Path Planning and Path Length Analysis in 3D

    Alex Nash, Sven Koenig, Craig Tovey

    147

    PDF
  • Finding Optimal Solutions to Cooperative Pathfinding Problems

    Trevor Standley

    173

    PDF
  • A Stronger Consistency for Soft Global Constraints in Weighted Constraint Satisfaction

    Jimmy Lee, K. Leung

    121

    PDF
  • Coalition Structure Generation based on Distributed Constraint Optimization

    Suguru Ueda, Atsushi Iwasaki, Makoto Yokoo, Marius Silaghi, Katsutoshi Hirayama, Toshihiro Matsui

    197

    PDF
  • A Restriction of Extended Resolution for Clause Learning SAT Solvers

    Gilles Audemard, George Katsirelos, Laurent Simon

    15

    PDF
  • Single-Frontier Bidirectional Search

    Ariel Felner, Carsten Moldenhauer, Nathan Sturtevant, Jonathan Schaeffer

    59

    PDF
  • Search Space Reduction Using Swamp Hierarchies

    Nir Pochter, Aviv Zohar, Jeffrey Rosenschein, Ariel Felner

    155

    PDF
  • Propagating Conjunctions of AllDifferent Constraints

    Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh

    27

    PDF
  • Fast Local Search Algorithm for Weighted Feedback Arc Set in Tournaments

    Fedor Fomin, Daniel Lokshtanov, Venkatesh Raman, Saket Saurabh

    65

    PDF
  • 1.6-Bit Pattern Databases

    Teresa Breyer, Richard Korf

    39

    PDF
  • Using Lookaheads with Optimal Best-First Search

    Roni Stern, Tamar Kulberis, Ariel Felner, Robert Holte

    185

    PDF
  • Filtering Bounded Knapsack Constraints in Expected Sublinear Time

    Yuri Malitsky, Meinolf Sellmann, Radoslaw Szymanek

    141

    PDF
  • Exploiting Monotonicity in Interval Constraint Propagation

    Ignacio Araya, Gilles Trombettoni, Bertrand Neveu

    9

    PDF
  • High-Quality Policies for the Canadian Traveler’s Problem

    Patrick Eyerich, Thomas Keller, Malte Helmert

    51

    PDF
  • A Proof-Producing CSP Solver

    Michael Veksler, Ofer Strichman

    204

    PDF
  • A Novel Transition Based Encoding Scheme for Planning as Satisfiability

    Ruoyun Huang, Yixin Chen, Weixiong Zhang

    89

    PDF
  • Independent Additive Heuristics Reduce Search Multiplicatively

    Teresa Breyer, Richard Korf

    33

    PDF
  • Latent Class Models for Algorithm Portfolio Methods

    Bryan Silverthorn, Risto Miikkulainen

    167

    PDF
  • A New Algorithm for Weighted Partial MaxSAT

    Carlos Ansotegui, Maria Luisa Bonet, Jordi Levy

    3

    PDF
  • Exploiting QBF Duality on a Circuit Representation

    Alexandra Goultiaeva, Fahiem Bacchus

    71

    PDF
  • Symmetry in Solutions

    Marijn Heule, Toby Walsh

    77

    PDF
  • Parallel Depth First Proof Number Search

    Tomoyuki Kaneko

    95

    PDF
  • Computing Cost-Optimal Definitely Discriminating Tests

    Anika Schumann, Jinbo Huang, Martin Sachenbacher

    161

    PDF
  • The Tree Representation of Feasible Solutions for the TSP with Pickup and Delivery and LIFO Loading

    Dejian Tu, Songshan Guo, Hu Qin, Wee-Chong Oon, Andrew Lim

    191

    PDF
  • Dealing with Infinite Loops, Underestimation, and Overestimation of Depth-First Proof-Number Search

    Akihiro Kishimoto

    108

    PDF
  • An Efficient Branch-and-Bound Algorithm Based on MaxSAT for the Maximum Clique Problem

    Chu-Min Li, Zhe Quan

    128

    PDF
  • A First Practical Algorithm for High Levels of Relational Consistency

    Shant Karakashian, Robert Woodward, Christopher Reeson, Berthe Choueiry, Christian Bessiere

    101

    PDF
  • New Worst-Case Upper Bound for #2-SAT and #3-SAT with the Number of Clauses as the Parameter

    Junping Zhou, Minghao Yin, Chunguang Zhou

    217

    PDF
  • Optimal Rectangle Packing on Non-Square Benchmarks

    Eric Huang, Richard Korf

    83

    PDF
  • Transmission Network Expansion Planning with Simulation Optimization

    Russell Bent, Alan Berscheid, G. Loren Toole

    21

    PDF
  • EWLS: A New Local Search for Minimum Vertex Cover

    Shaowei Cai, Kaile Su, Qingliang Chen

    45

    PDF

Integrated Intelligence Special Track

  • Learning Methods to Generate Good Plans: Integrating HTN Learning and Reinforcement Learning

    Chad Hogg, Ugur Kuter, Hector Munoz-Avila

    1530

    PDF
  • An Integrated Systems Approach to Explanation-Based Conceptual Change

    Scott Friedman, Kenneth Forbus

    1523

    PDF
  • Supporting Wilderness Search and Rescue with Integrated Intelligence: Autonomy and Information at the Right Time and the Right Place

    Lanny Lin, Michael Roscheck, Michael Goodrich, Bryan Morse

    1542

    PDF
  • Integrating a Closed World Planner with an Open World Robot: A Case Study

    Kartik Talamadupula, J. Benton, Paul Schermerhorn, Subbarao Kambhampati, Matthias Scheutz

    1561

    PDF
  • Integrating Constraint Satisfaction and Spatial Reasoning

    Unmesh Kurup, Nicholas Cassimatis

    1536

    PDF
  • Goal-Driven Autonomy in a Navy Strategy Simulation

    Matthew Molineaux, Matthew Klenk, David Aha

    1548

    PDF
  • Creating Dynamic Story Plots with Continual Multiagent Planning

    Michael Brenner

    1517

    PDF
  • Integrated Systems for Inducing Spatio-Temporal Process Models

    Chunki Park, Will Bridewell, Pat Langley

    1555

    PDF
  • Instance-Based Online Learning of Deterministic Relational Action Models

    Joseph Xu, John Laird

    1574

    PDF
  • Using Imagery to Simplify Perceptual Abstraction in Reinforcement Learning Agents

    Samuel Wintermute

    1567

    PDF

Knowledge-Based Information Systems

  • Collaborative Filtering Meets Mobile Recommendation: A User-Centered Approach

    Vincent Zheng, Bin Cao, Yu Zheng, Xing Xie, Qiang Yang

    236

    PDF
  • Transfer Learning in Collaborative Filtering for Sparsity Reduction

    Weike Pan, Evan Xiang, Nathan Liu, Qiang Yang

    230

    PDF
  • Clickthrough Log Analysis by Collaborative Ranking

    Bin Cao, Dou Shen, Kuansan Wang, Qiang Yang

    224

    PDF

Knowledge Representation and Reasoning

  • A Lower Bound on the Size of Decomposable Negation Normal Form

    Thammanit Pipatsrisawat, Adnan Darwiche

    345

    PDF
  • Soundness Preserving Approximation for TBox Reasoning

    Yuan Ren, Jeff Pan, Yuting Zhao

    351

    PDF
  • Decidable Fragments of First-Order Language Under Stable Model Semantics and Circumscription

    Heng Zhang, Mingsheng Ying

    375

    PDF
  • Space Efficient Evaluation of ASP Programs with Bounded Predicate Arities

    Thomas Eiter, Wolfgang Faber, Mushthofa Mushthofa

    303

    PDF
  • A New Approach to Knowledge Base Revision in DL-Lite

    Zhe Wang, Kewen Wang, Rodney Topor

    369

    PDF
  • In Defense of Large Qualitative Calculi

    Jason Li, Jochen Renz

    315

    PDF
  • Ordered Completion for First-Order Logic Programs on Finite Structures

    Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou

    249

    PDF
  • Reasoning about Imperfect Information Games in the Epistemic Situation Calculus

    Vaishak Belle, Gerhard Lakemeyer

    255

    PDF
  • Two-Player Game Structures for Generalized Planning and Agent Composition

    Giuseppe De Giacomo, Paolo Felli, Fabio Patrizi, Sebastian Sardina

    297

    PDF
  • Node Selection Query Languages for Trees

    Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Vardi

    279

    PDF
  • Dominance Testing via Model Checking

    Ganesh Ram Santhanam, Samik Basu, Vasant Honavar

    357

    PDF
  • Situation Calculus as Answer Set Programming

    Joohyung Lee, Ravi Palla

    309

    PDF
  • Ontologies and Representations of Matter

    Ernest Davis

    291

    PDF
  • An Inconsistency-Tolerant Approach to Information Merging Based on Proposition Relaxation

    Steven Schockaert, Henri Prade

    363

    PDF
  • Decomposed Utility Functions and Graphical Models for Reasoning about Preferences

    Ronen Brafman, Yagil Engel

    267

    PDF
  • Representing Preferences Among Sets

    Gerhard Brewka, Miroslaw Truszczynski, Stefan Woltran

    273

    PDF
  • Topological Relations between Convex Regions

    Sanjiang Li, Weiming Liu

    321

    PDF
  • A Belief Revision Framework for Revising Epistemic States with Partial Epistemic States

    Jianbing Ma, Weiru Liu, Salem Benferhat

    333

    PDF
  • Knowledge Compilation in the Modal Logic S5

    Meghyn Bienvenu, Hélène Fargier, Pierre Marquis

    261

    PDF
  • Inducing Probability Distributions from Knowledge Bases with (In)dependence Relations

    Jianbing Ma, Weiru Liu, Anthony Hunter

    339

    PDF
  • First-Order Indefinability of Answer Set Programs on Finite Structures

    Yin Chen, Yan Zhang, Yi Zhou

    285

    PDF
  • Automated Program Debugging Via Multiple Predicate Switching

    Yongmei Liu, Bing Li

    327

    PDF
  • Past and Future of DL-Lite

    Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev

    243

    PDF

AAAI Technical Track: Multiagent Systems

  • Automated Channel Abstraction for Advertising Auctions

    William Walsh, Craig Boutilier, Tuomas Sandholm, Rob Shields, George Nemhauser, David Parkes

    887

    PDF
  • Sequential Incremental-Value Auctions

    Xiaoming Zheng, Sven Koenig

    941

    PDF
  • Stability and Incentive Compatibility in a Kernel-Based Combinatorial Auction

    Sebastien Lahaie

    811

    PDF
  • Beyond Equilibrium: Predicting Human Behavior in Normal-Form Games

    James Wright, Kevin Leyton-Brown

    901

    PDF
  • Intentions in Equilibrium

    John Grant, Sarit Kraus, Michael Wooldridge

    786

    PDF
  • Competing Schedulers

    Itai Ashlagi, Moshe Tennenholtz, Aviv Zohar

    691

    PDF
  • Dynamic Auction: A Tractable Auction Procedure

    Dongmo Zhang, Laurent Perrussel

    935

    PDF
  • Private and Third-Party Randomization in Risk-Sensitive Equilibrium Concepts

    Mickey Brautbar, Michael Kearns, Umar Syed

    723

    PDF
  • Approximate Coalition Structure Generation

    Travis Service, Julie Adams

    854

    PDF
  • Algorithms for Finding Approximate Formations in Games

    Patrick Jordan, Michael Wellman

    798

    PDF
  • Bypassing Combinatorial Protections: Polynomial-Time Algorithms for Single-Peaked Electorates

    Felix Brandt, Markus Brill, Edith Hemaspaandra, Lane Hemaspaandra

    715

    PDF
  • Complexity of Computing Optimal Stackelberg Strategies in Security Resource Allocation Games

    Dmytro Korzhyk, Vincent Conitzer, Ronald Parr

    805

    PDF
  • Possible Winners when New Candidates Are Added: The Case of Scoring Rules

    Yann Chevaleyre, Jérôme Lang, Nicolas Maudet, Jérôme Monnot

    762

    PDF
  • Multi-Agent Learning with Policy Prediction

    Chongjie Zhang, Victor Lesser

    927

    PDF
  • Truth, Justice, and Cake Cutting

    Yiling Chen, John Lai, David Parkes, Ariel Procaccia

    756

    PDF
  • Voting Almost Maximizes Social Welfare Despite Limited Communication

    Ioannis Caragiannis, Ariel Procaccia

    743

    PDF
  • An Approximate Subgame-Perfect Equilibrium Computation Technique for Repeated Games

    Andriy Burkov, Brahim Chaib-draa

    729

    PDF
  • Envy Quotes and the Iterated Core-Selecting Combinatorial Auction

    Abraham Othman, Tuomas Sandholm

    829

    PDF
  • Convergence to Equilibria in Plurality Voting

    Reshef Meir, Maria Polukarov, Jeffrey Rosenschein, Nicholas Jennings

    823

    PDF
  • Stackelberg Voting Games: Computational Aspects and Paradoxes

    Lirong Xia, Vincent Conitzer

    921

    PDF
  • Compilation Complexity of Common Voting Rules

    Lirong Xia, Vincent Conitzer

    915

    PDF
  • Increasing Threshold Search for Best-Valued Agents

    David Sarne, Simon Shamoun, Eli Rata

    848

    PDF
  • Tolerable Manipulability in Dynamic Assignment without Money

    James Zou, Sujit Gujar, David Parkes

    947

    PDF
  • Accounting Mechanisms for Distributed Work Systems

    Sven Seuken, Jie Tang, David Parkes

    860

    PDF
  • Security Games with Arbitrary Schedules: A Branch and Price Approach

    Manish Jain, Erim Kardes, Christopher Kiekintveld, Fernando Ordonez, Milind Tambe

    792

    PDF
  • Urban Security: Game-Theoretic Resource Allocation in Networked Domains

    Jason Tsai, Zhengyu Yin, Jun-young Kwak, David Kempe, Christopher Kiekintveld, Milind Tambe

    881

    PDF
  • Nonmanipulable Randomized Tournament Selections

    Alon Altman, Robert Kleinberg

    686

    PDF
  • Facilitating the Evaluation of Automated Negotiators using Peer Designed Agents

    Raz Lin, Sarit Kraus, Yinon Oshrat, Ya'akov (Kobi) Gal

    817

    PDF
  • Approximation Algorithms and Mechanism Design for Minimax Approval Voting

    Ioannis Caragiannis, Dimitris Kalaitzis, Evangelos Markakis

    737

    PDF
  • Trial-Based Dynamic Programming for Multi-Agent Planning

    Feng Wu, Shlomo Zilberstein, Xiaoping Chen

    908

    PDF
  • Fixing a Tournament

    Virginia Williams

    895

    PDF
  • Asymmetric Spite in Auctions

    Ankit Sharma, Tuomas Sandholm

    867

    PDF
  • Can Approximation Circumvent Gibbard-Satterthwaite?

    Ariel Procaccia

    836

    PDF
  • Coalitional Structure Generation in Skill Games

    Yoram Bachrach, Reshef Meir, Kyomin Jung, Pushmeet Kohli

    703

    PDF
  • Lifting Rationality Assumptions in Binary Aggregation

    Umberto Grandi, Ulle Endriss

    780

    PDF
  • Trust Models and Con-Man Agents: From Mathematical to Empirical Analysis

    Amirali Salehi-Abari, Tony White

    842

    PDF
  • Transferable Utility Planning Games

    Ronen Brafman, Carmel Domshlak, Yagil Engel, Moshe Tennenholtz

    709

    PDF
  • Cloning in Elections

    Edith Elkind, Piotr Faliszewski, Arkadii Slinko

    768

    PDF
  • Good Rationalizations of Voting Rules

    Edith Elkind, Piotr Faliszewski, Arkadii Slinko

    774

    PDF
  • A Decentralised Coordination Algorithm for Mobile Sensors

    Ruben Stranders, Francesco Delle Fave, Alex Rogers, Nicholas Jennings

    874

    PDF
  • Probabilistic Possible Winner Determination

    Yoram Bachrach, Nadja Betzler, Piotr Faliszewski

    697

    PDF
  • A Distributed Algorithm for Optimising over Pure Strategy Nash Equilibria

    Archie Chapman, Alessandro Farinelli, Enrique Munoz de Cote, Alex Rogers, Nicholas Jennings

    749

    PDF

Multidisciplinary Topics

  • Learning Simulation Control in General Game-Playing Agents

    Hilmar Finnsson, Yngvi Björnsson

    954

    PDF
  • Generalized Task Markets for Human and Machine Computation

    Dafna Shahaf, Eric Horvitz

    986

    PDF
  • A Temporal Proof System for General Game Playing

    Michael Thielscher, Sebastian Voigt

    1000

    PDF
  • A General Game Description Language for Incomplete Information Games

    Michael Thielscher

    994

    PDF
  • User-Specific Learning for Recognizing a Singer’s Intended Pitch

    Andrew Guillory, Sumit Basu, Dan Morris

    960

    PDF
  • A Computational Model for Saliency Maps by Using Local Entropy

    Yuewei Lin, Bin Fang, Yuanyan Tang

    967

    PDF
  • Symmetry Detection in General Game Playing

    Stephan Schiffel

    980

    PDF
  • Grouping Strokes into Shapes in Hand-Drawn Diagrams

    Eric Peterson, Thomas Stahovich, Eric Doi, Christine Alvarado

    974

    PDF

AAAI Technical Track: Machine Learning

  • Constrained Metric Learning Via Distance Gap Maximization

    Wei Liu, Xinmei Tian, Dacheng Tao, Jianzhuang Liu

    518

    PDF
  • Semi-Supervised Dimension Reduction for Multi-Label Classification

    Buyue Qian, Ian Davidson

    569

    PDF
  • Multi-Task Sparse Discriminant Analysis (MtSDA) with Overlapping Categories

    Yahong Han, Fei Wu, Jinzhu Jia, Yueting Zhuang, Bin Yu

    469

    PDF
  • Latent Variable Model for Learning in Pairwise Markov Networks

    Saeed Amizadeh, Milos Hauskrecht

    382

    PDF
  • Assisting Users with Clustering Tasks by Combining Metric Learning and Classification

    Sumit Basu, Danyel Fisher, Steven Drucker, Hao Lu

    394

    PDF
  • Local and Global Regressive Mapping for Manifold Learning with Out-of-Sample Extrapolation

    Yi Yang, Feiping Nie, Shiming Xiang, Yueting Zhuang, Wenhua Wang

    649

    PDF
  • Learning Causal Models of Relational Domains

    Marc Maier, Brian Taylor, Huseyin Oktay, David Jensen

    531

    PDF
  • Gaussian Process Latent Random Field

    Guoqiang Zhong, Wu-Jun Li, Dit-Yan Yeung, Xinwen Hou, Cheng-Lin Liu

    679

    PDF
  • Multi-Task Active Learning with Output Constraints

    Yi Zhang

    667

    PDF
  • Multi-Instance Dimensionality Reduction

    Yu-Yin Sun, Michael Ng, Zhi-Hua Zhou

    587

    PDF
  • Multi-Label Learning with Weak Label

    Yu-Yin Sun, Yin Zhang, Zhi-Hua Zhou

    593

    PDF
  • Constrained Coclustering for Textual Documents

    Yangqiu Song, Shimei Pan, Shixia Liu, Furu Wei, Michelle Zhou, Weihong Qian

    581

    PDF
  • Non-Negative Matrix Factorization with Constraints

    Haifeng Liu, Zhaohui Wu

    506

    PDF
  • Non-Metric Locality-Sensitive Hashing

    Yadong Mu, Shuicheng Yan

    539

    PDF
  • Bayesian Matrix Factorization with Side Information and Dirichlet Process Mixtures

    Ian Porteous, Arthur Asuncion, Max Welling

    563

    PDF
  • Exact Algorithms and Experiments for Hierarchical Tree Clustering

    Sepp Hartung, Jiong Guo, Christian Komusiewicz, Rolf Niedermeier, Johannes Uhlmann

    457

    PDF
  • A Topic Model for Linked Documents and Update Rules for its Estimation

    Zhen Guo, Shenghuo Zhu, Zhongfei Zhang, Yun Chi, Yihong Gong

    463

    PDF
  • Structure Learning for Markov Logic Networks with Many Descriptive Attributes

    Hassan Khosravi, Oliver Schulte, Tong Man, Xiaoyuan Xu, Bahareh Bina

    487

    PDF
  • Interactive Learning Using Manifold Geometry

    Eric Eaton, Gary Holness, Daniel McFarlane

    437

    PDF
  • Integrating Sample-Based Planning and Model-Based Reinforcement Learning

    Thomas Walsh, Sergiu Goschin, Michael Littman

    612

    PDF
  • Reinforcement Learning Via Practice and Critique Advice

    Kshitij Judah, Saikat Roy, Alan Fern, Thomas Dietterich

    481

    PDF
  • The Induction and Transfer of Declarative Bias

    Will Bridewell, Ljupco Todorovski

    401

    PDF
  • G-Optimal Design with Laplacian Regularization

    Chun Chen, Zhengguang Chen, Jiajun Bu, Can Wang, Lijun Zhang, Cheng Zhang

    413

    PDF
  • Efficient Spectral Feature Selection with Minimum Redundancy

    Zheng Zhao, Lei Wang, Huan Liu

    673

    PDF
  • Smooth Optimization for Effective Multiple Kernel Learning

    Zenglin Xu, Rong Jin, Shenghuo Zhu, Michael Lyu, Irwin King

    637

    PDF
  • Multitask Bregman Clustering

    Jianwen Zhang, Changshui Zhang

    655

    PDF
  • The Genetic Algorithm as a General Diffusion Model for Social Networks

    Mayank Lahiri, Manuel Cebrian

    494

    PDF
  • Conformal Mapping by Computationally Efficient Methods

    Stefan Pintilie, Ali Ghodsi

    557

    PDF
  • Multilinear Maximum Distance Embedding Via L1-Norm Optimization

    Yang Liu, Yan Liu, Keith Chan

    525

    PDF
  • Bayesian Policy Search for Multi-Agent Role Discovery

    Aaron Wilson, Alan Fern, Prasad Tadepalli

    624

    PDF
  • Adaptive Transfer Learning

    Bin Cao, Sinno Jialin Pan, Yu Zhang, Dit-Yan Yeung, Qiang Yang

    407

    PDF
  • Cost-Sensitive Semi-Supervised Support Vector Machine

    Yu-Feng Li, James Kwok, Zhi-Hua Zhou

    500

    PDF
  • Discriminant Laplacian Embedding

    Hua Wang, Heng Huang, Chris Ding

    618

    PDF
  • Properties of Bayesian Dirichlet Scores to Learn Bayesian Network Structures

    Cassio de Campos, Qiang Ji

    431

    PDF
  • Non-Negative Matrix Factorization Clustering on Multiple Manifolds

    Bin Shen, Luo Si

    575

    PDF
  • Discovering Long Range Properties of Social Networks with Multi-Valued Time-Inhomogeneous Models

    Danny Wyatt, Tanzeem Choudhury, Jeff Bilmes

    630

    PDF
  • Reinforcement Learning via AIXI Approximation

    Joel Veness, Kee Siong Ng, Marcus Hutter, David Silver

    605

    PDF
  • Nonparametric Curve Extraction Based on Ant Colony System

    Qing Tan, Qing He, Zhongzhi Shi

    599

    PDF
  • Myopic Policies for Budgeted Optimization with Constrained Experiments

    Javad Azimi, Xiaoli Fern, Alan Fern, Elizabeth Burrows, Frank Chaplen, Yanzhen Fan, Hong Liu, Jun Jaio, Rebecca Schaller

    388

    PDF
  • A Two-Dimensional Topic-Aspect Model for Discovering Multi-Faceted Topics

    Michael Paul, Roxana Girju

    545

    PDF
  • Transductive Learning on Adaptive Graphs

    Yan-Ming Zhang, Yu Zhang, Dit-Yan Yeung, Cheng-Lin Liu, Xinwen Hou

    661

    PDF
  • Non-I.I.D. Multi-Instance Dimensionality Reduction by Learning a Maximum Bag Margin Subspace

    Wei Ping, Ye Xu, Kexin Ren, Chi-Hung Chi, Furao Shen

    551

    PDF
  • Two-Stage Sparse Representation for Robust Recognition on Large-Scale Database

    Ran He, BaoGang Hu, Wei-Shi Zheng, YanQing Guo

    475

    PDF
  • Dependence Minimizing Regression with Model Selection for Non-Linear Causal Inference under Non-Gaussian Noise

    Makoto Yamada, Masashi Sugiyama

    643

    PDF
  • Facial Age Estimation by Learning from Label Distributions

    Xin Geng, Kate Smith-Miles, Zhi-Hua Zhou

    451

    PDF
  • What if the Irresponsible Teachers Are Dominating?

    Shuo Chen, Jianwen Zhang, Guangyun Chen, Changshui Zhang

    419

    PDF
  • Learning Spatial-Temporal Varying Graphs with Applications to Climate Data Analysis

    Xi Chen, Yan Liu, Han Liu, Jaime Carbonell

    425

    PDF
  • Gaussian Mixture Model with Local Consistency

    Jialu Liu, Deng Cai, Xiaofei He

    512

    PDF
  • Learning Discriminative Piecewise Linear Models with Boundary Points

    Kun Gai, Changshui Zhang

    444

    PDF

New Scientific and Technical Advances in Research

  • Intelligently Aiding Human-Guided Correction of Speech Recognition

    Keith Vertanen, Per Ola Kristensson

    1698

    PDF
  • Evolving Compiler Heuristics to Manage Communication and Contention

    Matthew Taylor, Katherine Coons, Behnam Robatmili, Bertrand Maher, Doug Burger, Kathryn McKinley

    1690

    PDF
  • Local Search in Histogram Construction

    Felix Halim, Panagiotis Karras, Roland Yap

    1680

    PDF
  • Enhancing ASP by Functions: Decidable Classes and Implementation Techniques

    Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone

    1666

    PDF
  • Panlingual Lexical Translation via Probabilistic Inference

    Mausam, Stephen Soderland, Oren Etzioni

    1686

    PDF
  • Active Inference for Collective Classification

    Mustafa Bilgic, Lise Getoor

    1652

    PDF
  • Biologically-Inspired Control for Multi-Agent Self-Adaptive Tasks

    Chih-Han Yu, Radhika Nagpal

    1702

    PDF
  • Automatic Derivation of Finite-State Machines for Behavior Control

    Blai Bonet, Hector Palacios, Hector Geffner

    1656

    PDF
  • Computationally Feasible Automated Mechanism Design: General Approach and Case Studies

    Mingyu Guo, Vincent Conitzer

    1676

    PDF
  • Constraint Programming for Data Mining and Machine Learning

    Luc De Raedt, Tias Guns, Siegfried Nijssen

    1671

    PDF
  • Comparing Position Auctions Computationally

    David Thompson, Kevin Leyton-Brown

    1694

    PDF
  • Ontological Reasoning with F-logic Lite and its Extensions

    Andrea Cali, Georg Gottlob, Michael Kifer, Thomas Lukasiewicz, Andreas Pieris

    1660

    PDF

AAAI Technical Track: Natural Language Processing

  • Extracting Ontological Selectional Preferences for Non-Pertainym Adjectives from the Google Corpus

    John Tanner, Fernando Gomez

    1033

    PDF
  • Automatic Attribution of Quoted Speech in Literary Narrative

    David Elson, Kathleen McKeown

    1013

    PDF
  • CAO: A Fully Automatic Emoticon Analysis System

    Michal Ptaszynski, Jacek Maciejewski, Pawel Dybala, Rafal Rzepka, Kenji Araki

    1026

    PDF
  • Forest-Based Semantic Role Labeling

    Hao Xiong, Haitao Mi, Yang Liu, Qun Liu

    1039

    PDF
  • What Is an Opinion About? Exploring Political Standpoints Using Opinion Scoring Model

    Bi Chen, Leilei Zhu, Daniel Kifer, Dongwon Lee

    1007

    PDF
  • Bidirectional Integration of Pipeline Models

    Xiaofeng Yu, Wai Lam

    1045

    PDF
  • Kernelized Sorting for Natural Language Processing

    Jagadeesh Jagaralmudi, Seth Juarez, Hal Daume

    1020

    PDF

Physically Grounded AI Special Track

  • Community-Guided Learning: Exploiting Mobile Sensor Users to Model Human Behavior

    Daniel Peebles, Hong Lu, Nicholas Lane, Tanzeem Choudhury, Andrew Campbell

    1600

    PDF
  • A Bayesian Nonparametric Approach to Modeling Mobility Patterns

    Joshua Joseph, Finale Doshi-Velez, Nicholas Roy

    1587

    PDF
  • Activity and Gait Recognition with Time-Delay Embeddings

    Jordan Frank, Shie Mannor, Doina Precup

    1581

    PDF
  • A Layered Approach to People Detection in 3D Range Data

    Luciano Spinello, Kai Arras, Rudolph Triebel, Roland Siegwart

    1625

    PDF
  • The Boosting Effect of Exploratory Behaviors

    Jivko Sinapov, Alexander Stoytchev

    1613

    PDF
  • Relative Entropy Policy Search

    Jan Peters, Katharina Mulling, Yasemin Altun

    1607

    PDF
  • Unsupervised Learning of Event Classes from Video

    Muralikrishna Sridhar, Anthony Cohn, David Hogg

    1631

    PDF
  • Online Learning of Uneven Terrain for Humanoid Bipedal Walking

    Seung Joon Yi, Byoung Tak Zhang, Daniel Lee

    1639

    PDF
  • Biped Walk Learning Through Playback and Corrective Demonstration

    Cetin Mericli, Manuela Veloso

    1594

    PDF
  • A Low False Negative Filter for Detecting Rare Bird Species from Short Video Segments using a Probable Observation Data Set-based EKF Method

    Dezhen Song, Yiliang Xu

    1619

    PDF
  • Error Aware Monocular Visual Odometry using Vertical Line Pairs for Small Robots in Urban Areas

    Ji Zhang, Dezhen Song

    1645

    PDF

AAAI Technical Track: Robotics

  • g-Planner: Real-time Motion Planning and Global Navigation using GPUs

    Jia Pan, Christian Lauterbach, Dinesh Manocha

    1245

    PDF
  • Asynchronous Multi-Robot Patrolling against Intrusions in Arbitrary Topologies

    Nicola Basilico, Nicola Gatti, Federico Villa

    1224

    PDF
  • Design and Implementation of Two-level Synchronization for Interactive Music Robot

    Takuma Otsuka, Kazuhiro Nakadai, Toru Takahashi, Kazunori Komatani, Tetsuya Ogata, Hiroshi Okuno

    1238

    PDF
  • Search-Based Path Planning with Homotopy Class Constraints

    Subhrajit Bhattacharya

    1230

    PDF
  • A Single-Step Maximum A Posteriori Update for Bearing-Only SLAM

    Stephen Tully, George Kantor, Howie Choset

    1252

    PDF

Reasoning about Plans, Processes and Actions

  • Using Bisimulation for Policy Transfer in MDPs

    Pablo Castro, Doina Precup

    1065

    PDF
  • Compressing POMDPs Using Locality Preserving Non-Negative Matrix Factorization

    Georgios Theocharous, Sridhar Mahadevan

    1147

    PDF
  • Planning in Dynamic Environments: Extending HTNs with Nonlinear Continuous Effects

    Matthew Molineaux, Matthew Klenk, David Aha

    1115

    PDF
  • To Max or Not to Max: Online Learning for Speeding Up Optimal Planning

    Carmel Domshlak, Erez Karpas, Shaul Markovitch

    1071

    PDF
  • Relational Partially Observable MDPs

    Chenggang Wang, Roni Khardon

    1153

    PDF
  • An Analytic Characterization of Model Minimization in Factored Markov Decision Processes

    Wenyuan Guo, Tze-Yun Leong

    1077

    PDF
  • Structured Parameter Elicitation

    Li Ling Ko, David Hsu, Wee Sun Lee, Sylvie Ong

    1102

    PDF
  • Multi-Agent Plan Recognition: Formalization and Algorithms

    Bikramjit Banerjee, Landon Kraemer, Jeremy Lyle

    1059

    PDF
  • Probabilistic Plan Recognition Using Off-the-Shelf Classical Planners

    Miguel Ramírez, Hector Geffner

    1121

    PDF
  • Symbolic Dynamic Programming for First-order POMDPs

    Scott Sanner, Kristian Kersting

    1140

    PDF
  • Finite-State Controllers Based on Mealy Machines for Centralized and Decentralized POMDPs

    Christopher Amato, Blai Bonet, Shlomo Zilberstein

    1052

    PDF
  • PUMA: Planning Under Uncertainty with Macro-Actions

    Ruijie He, Emma Brunskill, Nicholas Roy

    1089

    PDF
  • SixthSense: Fast and Reliable Recognition of Dead Ends in MDPs

    Andrey Kolobov, Mausam, Daniel Weld

    1108

    PDF
  • SAP Speaks PDDL

    Joerg Hoffmann, Ingo Weber, Frank Kraft

    1096

    PDF
  • Using Closed Captions as Supervision for Video Activity Recognition

    Sonal Gupta, Raymond Mooney

    1083

    PDF
  • Robust Policy Computation in Reward-Uncertain MDPs Using Nondominated Policies

    Kevin Regan, Craig Boutilier

    1127

    PDF
  • Recognizing Multi-Agent Activities from GPS Data

    Adam Sadilek, Henry Kautz

    1134

    PDF

Reasoning Under Uncertainty

  • Efficient Lifting for Online Probabilistic Inference

    Aniruddh Nath, Pedro Domingos

    1193

    PDF
  • Efficient Belief Propagation for Utility Maximization and Repeated Inference

    Aniruddh Nath, Pedro Domingos

    1187

    PDF
  • Decision-Theoretic Control of Crowd-Sourced Workflows

    Peng Dai, Mausam, Daniel Weld

    1168

    PDF
  • Respecting Markov Equivalence in Computing Posterior Probabilities of Causal Graphical Features

    Eun Yong Kang, Ilya Shpitser, Eleazar Eskin

    1175

    PDF
  • On the Use of Prime Implicates in Conformant Planning

    Son To, Tran Son, Enrico Pontelli

    1205

    PDF
  • DTProbLog: A Decision-Theoretic Probabilistic Prolog

    Guy Van den Broeck, Ingo Thon, Martijn van Otterlo, Luc De Raedt

    1217

    PDF
  • Simultaneous Elicitation of Preference Features and Utility

    Craig Boutilier, Kevin Regan, Paolo Viappiani

    1160

    PDF
  • Epsilon–First Policies for Budget–Limited Multi-Armed Bandits

    Long Tran-Thanh, Archie Chapman, Enrique Munoz de Cote, Alex Rogers, Nicholas R. Jennings

    1211

    PDF
  • New Mini-Bucket Partitioning Heuristics for Bounding the Probability of Evidence

    Emma Rollon, Rina Dechter

    1199

    PDF
  • Informed Lifting for Message-Passing

    Kristian Kersting, Youssef El Massaoudi, Fabian Hadiji, Babak Ahmadi

    1181

    PDF

Senior Member Papers

  • Progress on Agent Coordination with Cooperative Auctions

    Sven Koenig, Pinar Keskinocak, Craig Tovey

    1713

    PDF
  • Representation Discovery in Sequential Decision Making

    Sridhar Mahadevan

    1718

    PDF
  • The Model-Based Approach to Autonomous Behavior: A Personal View

    Hector Geffner

    1709

    PDF

Short Papers

  • An Optimization Variant of Multi-Robot Path Planning Is Intractable

    Pavel Surynek

    1261

    PDF
  • Saving Redundant Messages in BnB-ADOPT

    Patricia Gutierrez, Pedro Meseguer

    1259

    PDF
  • Multi-Label Classification: Inconsistency and Class Balanced K-Nearest Neighbor

    Hua Wang, Chris Ding, Heng Huang

    1264

    PDF

Student Abstracts

  • Task Space Behavior Learning for Humanoid Robots using Gaussian Mixture Models

    Kaushik Subramanian

    1961

    PDF
  • Toward Learning to Press Doorbell Buttons

    Liping Wu, Vladimir Sukhoy, Alexander Stoytchev

    1965

    PDF
  • A Distributed Method for Evaluating Properties of a Robot Formation

    Brent Beer, Ross Mead, Jerry Weinberg

    1923

    PDF
  • Finding Semantic Inconsistencies in UMLS using Answer Set Programming

    Halit Erdogan, Olivier Bodenreider, Esra Erdem

    1927

    PDF
  • Towards Interesting Patterns of Hard CSPs with Functional Constraints

    Chendong Li

    1941

    PDF
  • Relational Reinforcement Learning in Infinite Mario

    Shiwali Mohan, John Laird

    1953

    PDF
  • Integrating Transfer Learning in Synthetic Student

    Nan Li, William Cohen, Ken Koedinger

    1943

    PDF
  • Genome Rearrangement: A Planning Approach

    Tansel Uras, Esra Erdem

    1963

    PDF
  • Temporal Planning for Interacting Durative Actions with Continuous Effects

    Serdar Kecici, Sanem Sariel Talay

    1937

    PDF
  • Materializing Inferred and Uncertain Knowledge in RDF Datasets

    James McGlothlin, Latifur Khan

    1951

    PDF
  • Towards Multiagent Meta-level Control

    Shanjun Cheng, Anita Raja, Victor Lesser

    1925

    PDF
  • A Trust Model for Supply Chain Management

    Yasaman Haghpanah, Marie desJardins

    1933

    PDF
  • Distributed Auction-Based Initialization of Mobile Robot Formations

    Robert Long, Ross Mead, Jerry Weinberg

    1949

    PDF
  • Evolved Intrinsic Reward Functions for Reinforcement Learning

    Scott Niekum

    1955

    PDF
  • A Phrase-Based Method for Hierarchical Clustering of Web Snippets

    Zhao Li, Xindong Wu

    1947

    PDF
  • Interactive Categorization of Containers and Non-Containers by Unifying Categorizations Derived from Multiple Exploratory Behaviors

    Shane Griffith, Alexander Stoytchev

    1931

    PDF
  • Team Formation with Heterogeneous Agents in Computer Games

    Robert Price, Scott Goodwin

    1957

    PDF
  • Combining Human Reasoning and Machine Computation: Towards a Memetic Network Solution to Satisfiability

    Daniel Farenzena, Luis Lamb, Ricardo Araújo

    1929

    PDF
  • Control Model Learning for Whole-Body Mobile Manipulation

    Scott Kuindersma

    1939

    PDF
  • Intelligent Time-Aware Query Translation for Text Sources

    Amal Kaluarachchi, Aparna Warde, Jing Peng, Anna Feldman

    1935

    PDF
  • Semantic Search in Linked Data: Opportunities and Challenges

    Hamid Haidarian Shahri

    1959

    PDF
  • Learning to Surface Deep Web Content

    Zhaohui Wu, Lu Jiang, Qinghua Zheng, Jun Liu

    1967

    PDF
  • Market-Based Algorithms for Allocating Complex Tasks

    Xiaoming Zheng, Sven Koenig

    1969

    PDF
  • Learning from Concept Drifting Data Streams with Unlabeled Data

    Peipei Li, Xindong Wu, Xuegang Hu

    1945

    PDF

Primary Sidebar