JAIR 2013

61 papers

A Case of Pathology in Multiobjective Heuristic Search José-Luis Pérez-de-la-Cruz, Lorenzo Mandow, Enrique Machuca

A Constraint Solver for Flexible Protein Model Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli

A Decidable Extension of SROIQ with Complex Role Chains and Unions Milenko Mosurovic, Nenad Krdzavac, Henson Graves, Michael Zakharyaschev

A Feature Subset Selection Algorithm Automatic Recommendation Method Guangtao Wang, Qinbao Song, Heli Sun, Xueying Zhang, Baowen Xu, Yuming Zhou

A Global Model for Concept-to-Text Generation Ioannis Konstas, Mirella Lapata

A Hybrid LP-RPG Heuristic for Modelling Numeric Resource Flows in Planning Amanda Jane Coles, Andrew Coles, Maria Fox, Derek Long

A Refined View of Causal Graphs and Component Sizes: SP-Closed Graph Classes and Beyond Christer Bäckström, Peter Jonsson

A Smooth Transition from Powerlessness to Absolute Power Elchanan Mossel, Ariel D. Procaccia, Miklós Z. Rácz

A Survey of Multi-Objective Sequential Decision-Making Diederik M. Roijers, Peter Vamplew, Shimon Whiteson, Richard Dazeley

A Survey on Latent Tree Models and Applications Raphaël Mourad, Christine Sinoquet, Nevin Lianwen Zhang, Tengfei Liu, Philippe Leray

Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang

AI Methods in Algorithmic Composition: A Comprehensive Survey Jose D. Fernández, Francisco J. Vico

An Online Mechanism for Multi-Unit Demand and Its Application to Plug-in Hybrid Electric Vehicle Charging Valentin Robu, Enrico H. Gerding, Sebastian Stein, David C. Parkes, Alex Rogers, Nick R. Jennings

Analysis of Watson's Strategies for Playing Jeopardy! Gerry Tesauro, David Gondek, Jonathan Lenchner, James Fan, John M. Prager

Asymmetric Distributed Constraint Optimization Problems Tal Grinshpoun, Alon Grubshtein, Roie Zivan, Arnon Netzer, Amnon Meisels

Automatic Aggregation by Joint Modeling of Aspects and Values Christina Sauper, Regina Barzilay

Beth Definability in Expressive Description Logics Balder ten Cate, Enrico Franconi, Inanç Seylan

Boolean Equi-Propagation for Concise and Efficient SAT Encodings of Combinatorial Problems Amit Metodi, Michael Codish, Peter J. Stuckey

Decentralized Anti-Coordination Through Multi-Agent Learning Ludek Cigler, Boi Faltings

Defeasible Inheritance-Based Description Logics Giovanni Casini, Umberto Straccia

Description Logic Knowledge and Action Bases Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli

Distributed Reasoning for Multiagent Simple Temporal Problems James C. Boerkoel Jr., Edmund H. Durfee

Efficient Computation of the Shapley Value for Game-Theoretic Network Centrality Tomasz P. Michalak, Aadithya V. Karthik, Piotr L. Szczepanski, Balaraman Ravindran, Nicholas R. Jennings

Exact Query Reformulation over Databases with First-Order and Description Logics Ontologies Enrico Franconi, Volha Kerhet, Nhung Ngo

Framing Image Description as a Ranking Task: Data, Models and Evaluation Metrics Micah Hodosh, Peter Young, Julia Hockenmaier

Generating Extractive Summaries of Scientific Paradigms Vahed Qazvinian, Dragomir R. Radev, Saif M. Mohammad, Bonnie J. Dorr, David M. Zajic, Michael Whidby, Taesun Moon

Generating Natural Language Descriptions from OWL Ontologies: The NaturalOWL System Ion Androutsopoulos, Gerasimos Lampouras, Dimitrios Galanis

Heuristic Search When Time Matters Ethan Burns, Wheeler Ruml, Minh Binh Do

Horn Clause Contraction Functions James P. Delgrande, Renata Wassermann

Identifying the Class of Maxi-Consistent Operators in Argumentation Srdjan Vesic

Incremental Clustering and Expansion for Faster Optimal Planning in Dec-POMDPs Frans A. Oliehoek, Matthijs T. J. Spaan, Christopher Amato, Shimon Whiteson

Integrative Semantic Dependency Parsing via Efficient Large-Scale Feature Selection Hai Zhao, Xiaotian Zhang, Chunyu Kit

Learning by Observation of Agent Software Images Paulo Roberto Costa, Luís Miguel Botelho

Learning Optimal Bayesian Networks: A Shortest Path Perspective Changhe Yuan, Brandon M. Malone

Lifted Variable Elimination: Decoupling the Operators from the Constraint Language Nima Taghipour, Daan Fierens, Jesse Davis, Hendrik Blockeel

Natural Language Inference for Arabic Using Extended Tree Edit Distance with Subtrees Maytham Alabbas, Allan Ramsay

NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover Shaowei Cai, Kaile Su, Chuan Luo, Abdul Sattar

On the Computation of Fully Proportional Representation Nadja Betzler, Arkadii Slinko, Johannes Uhlmann

Optimal Implementation of Watched Literals and More General Techniques Ian P. Gent

Optimal Rectangle Packing: An Absolute Placement Approach Eric Huang, Richard E. Korf

Optimizing SPARQL Query Answering over OWL Ontologies Ilianna Kollia, Birte Glimm

Parameterized Complexity Results for Exact Bayesian Network Structure Learning Sebastian Ordyniak, Stefan Szeider

Predicting Behavior in Unstructured Bargaining with a Probability Distribution David H. Wolpert, James W. Bono

Probabilistic Planning for Continuous Dynamic Systems Under Bounded Risk Masahiro Ono, Brian C. Williams, Lars Blackmore

Protecting Moving Targets with Multiple Mobile Resources Fei Fang, Albert Xin Jiang, Milind Tambe

Protecting Privacy Through Distributed Computation in Multi-Agent Decision Making Thomas Léauté, Boi Faltings

Qualitative Order of Magnitude Energy-Flow-Based Failure Modes and Effects Analysis Neal Andrew Snooke, Mark H. Lee

Reasoning About Explanations for Negative Query Answers in DL-Lite Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni

Scalable and Efficient Bayes-Adaptive Reinforcement Learning Based on Monte-Carlo Tree Search Arthur Guez, David Silver, Peter Dayan

Scheduling a Dynamic Aircraft Repair Shop with Limited Repair Resources Maliheh Aramon Bajestani, J. Christopher Beck

Sharing Rewards in Cooperative Connectivity Games Yoram Bachrach, Ely Porat, Jeffrey S. Rosenschein

Short and Long Supports for Constraint Propagation Peter Nightingale, Ian P. Gent, Christopher Jefferson, Ian Miguel

Single Network Relational Transductive Learning Amit Dhurandhar, Jun Wang

Strong Equivalence of Qualitative Optimization Problems Wolfgang Faber, Miroslaw Truszczynski, Stefan Woltran

Taming the Infinite Chase: Query Answering Under Expressive Relational Constraints Andrea Calì, Georg Gottlob, Michael Kifer

The Arcade Learning Environment: An Evaluation Platform for General Agents Marc G. Bellemare, Yavar Naddaf, Joel Veness, Michael Bowling

The Complexity of Optimal Monotonic Planning: The Bad, the Good, and the Causal Graph Carmel Domshlak, Anton Nazarenko

Topic Segmentation and Labeling in Asynchronous Conversations Shafiq R. Joty, Giuseppe Carenini, Raymond T. Ng

Toward Supervised Anomaly Detection Nico Görnitz, Marius Kloft, Konrad Rieck, Ulf Brefeld

Undominated Groves Mechanisms Mingyu Guo, Evangelos Markakis, Krzysztof R. Apt, Vincent Conitzer

Unsupervised Sub-Tree Alignment for Tree-to-Tree Translation Tong Xiao, Jingbo Zhu