Presentations and Authors


Last name A B C D E F G H I J K L M N O P Q R S T U V W X Y Z All
Track:
 

Agent-Based and Multiagent Systems

Optimal Partitions in Additively Separable Hedonic Games PDF
Haris Aziz, Felix Brandt, Hans Georg Seedig
Coalitional Voting Manipulation: A Game-Theoretic Perspective PDF
Yoram Bachrach, Edith Elkind, Piotr Faliszewski
Unweighted Coalitional Manipulation Under the Borda Rule Is NP-Hard PDF
Nadja Betzler, Rolf Niedermeier, Gerhard J. Woeginger
Simulating the Emergence of Grammatical Agreement in Multi-Agent Language Games PDF
Katrien Beuls, Sebastian Höfer
Approximately Strategy-Proof Voting PDF
Eleanor Birrell, Rafael Pass
A General Elicitation-Free Protocol for Allocating Indivisible Goods PDF
Sylvain Bouveret, Jérôme Lang
Group-Strategyproof Irresolute Social Choice Functions PDF
Felix Brandt
On the Fixed-Parameter Tractability of Composition-Consistent Tournament Solutions PDF
Felix Brandt, Markus Brill, Hans Georg Seedig
Social Distance Games PDF
Simina Brânzei, Kate Larson
Modeling the Emergence and Convergence of Norms PDF
Logan Conrad Brooks, Wayne Iba, Sandip Sen
Verifying Normative Behaviour via Normative Mechanism Design PDF
Nils Bulling, Mehdi Dastani
Alternating Epistemic Mu-Calculus PDF
Nils Bulling, Wojciech Jamroga
Trust Decision-Making in Multi-Agent Systems PDF
Chris Burnett, Timothy J. Norman, Katia Sycara
Using Incentive Mechanisms for an Adaptive Regulation of Open Multi-Agent Systems PDF
Roberto Centeno, Holger Billhardt
Comparing Variants of Strategic Ability PDF
Wojciech Jamroga, Nils Bulling
Accelerating Best Response Calculation in Large Extensive Games PDF
Michael Johanson, Kevin Waugh, Michael Bowling, Martin Zinkevich
Budgeted Social Choice: From Consensus to Personalized Decision Making PDF
Tyler Lu, Craig Boutilier
Robust Approximation and Incremental Elicitation in Voting Protocols PDF
Tyler Lu, Craig Boutilier
Push and Swap: Fast Cooperative Path-Finding with Completeness Guarantees PDF
Ryan J. Luna, Kostas E. Bekris
Learning Where You Are Going and From Whence You Came: h- and g-Cost Learning in Real-Time Heuristic Search PDF
Nathan R. Sturtevant, Vadim Bulitko
Attack Semantics for Abstract Argumentation PDF
Serena Villata, Guido Boella, Leendert van der Torre

Constraints, Satisfiability, and Search

Depth-Driven Circuit-Level Stochastic Local Search for SAT PDF
Anton Belov, Matti Järvisalo, Zbigniew Stachniak
Tractable Set Constraints PDF
Manuel Bodirsky, Martin Hils, Alex Krimkevich
Using Payoff-Similarity to Speed Up Search PDF
Timothy Furtak, Michael Buro
A Uniform Approach for Generating Proofs and Strategies for both True and False QBF Formulas PDF
Alexandra Goultiaeva, Allen Van Gelder, Fahiem Bacchus
Real-Time Heuristic Search with Depression Avoidance PDF
Carlos Hernandez, Jorge A Baier
Real-Time Opponent Modelling in Trick-Taking Card Games PDF
Jeffrey Richard Long, Michael Buro
Finite-Length Markov Processes with Constraints PDF
Francois Pachet, Pierre Roy, Gabriele Barbieri
A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints PDF
Thierry Petit, Nicolas Beldiceanu, Xavier Lorca

Knowledge Representation, Reasoning, and Logic

Walking the Complexity Lines for Generalized Guarded Existential Rules PDF
Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph, Michaël Thomazo
Query Reasoning on Trees with Types, Interleaving, and Counting PDF
Everardo Barcenas, Pierre Geneves, Nabil Layaida, Alan Schmitt
First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription PDF
Michael Bartholomew, Joohyung Lee, Yunsong Meng
A Theory of Meta-Diagnosis: Reasoning About Diagnostic Systems PDF
Nuno Belard, Yannick Pencolé, Michel Combacau
A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results PDF
Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi
On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols PDF
Vaishak Belle, Gerhard Lakemeyer
Interval-Based Possibilistic Logic PDF
Salem Benferhat, Julien Hué, Sylvain Lagrue, Julien Rossit
RCC8 Is Polynomial on Networks of Bounded Treewidth PDF
Manuel Bodirsky, Stefan Wölfl
On the Complexity of EL with Defeasible Inclusions PDF
Piero A. Bonatti, Marco Faella, Luigi Sauro
Description Logics over Lattices with Multi-valued Ontologies PDF
Stefan Borgwardt, Rafael Peñaloza
Finite-Valued Lukasiewicz Modal Logic Is PSPACE-Complete PDF
Félix Bou, Marco Cerami, Francesc Esteva
Relating the Semantics of Abstract Dialectical Frameworks and Standard AFs PDF
Gerd Brewka, Paul Edward Dunne, Stefan Woltran
Managed Multi-Context Systems PDF
Gerhard Brewka, Thomas Eiter, Michael Fink, Antonius Weinzierl
Modeling Attempt and Action Failure in Probabilistic Stit Logic PDF
Jan Broersen

Machine Learning

Discerning Linkage-Based Algorithms Among Hierarchical Clustering Methods PDF
Margareta Ackerman, Shai Ben-David
Improving Performance of Topic Models by Variable Grouping PDF
Evgeniy Bart
Learning a Distance Metric by Empirical Loss Minimization PDF
Wei Bian, Dacheng Tao
A Hidden Markov Model Variant for Sequence Classification PDF
Sam Blasiak, Huzefa Rangwala
Approximation-Guided Evolutionary Multi-Objective Optimization PDF
Karl Bringmann, Tobias Friedrich, Frank Neumann, Markus Wagner
Using Cases as Heuristics in Reinforcement Learning: A Transfer Learning Application PDF
Luiz A. Celiberto Jr., Jackson P. Matsuura, Ramon Lopez de Mantaras, Reinaldo A. C. Bianchi

Multidisciplinary Topics And Applications

Explaining Genetic Knock-Out Effects Using Cost-Based Abduction PDF
Emad Abdel-Thalooth Andrews, Anthony Bonner
Just an Artifact: Why Machines are Perceived as Moral Agents PDF
Joanna J. Bryson, Philip P. Kime

Natural-Language Processing

Learning Bilingual Lexicons Using the Visual Similarity of Labeled Web Images PDF
Shane Bergsma, Benjamin Van Durme
Semantic Relationship Discovery with Wikipedia Structure PDF
Fan Bu, Yu Hao, Xiaoyan Zhu
Interfacing Virtual Agents With Collaborative Knowledge: Open Domain Question Answering Using Wikipedia-Based Topic Models PDF
Ulli Waltinger, Alexa Breuing, Ipke Wachsmuth

Planning and Scheduling

DetH*: Approximate Hierarchical Solution of Large Markov Decision Processes PDF
Jennifer L. Barry, Leslie Pack Kaelbling, Tomas Lozano-Perez
Planning Under Partial Observability by Classical Replanning: Theory and Experiments PDF
Blai Bonet, Hector Geffner
Simple and Fast Strong Cyclic Planning for Fully-Observable Nondeterministic Planning Problems PDF
Jicheng Fu, Vincent Ng, Farokh Bastani, I-Ling Yen
On the Decidability of HTN Planning with Task Insertion PDF
Thomas Geier, Pascal Bercher
Monitoring the Execution of Partial-Order Plans via Regression PDF
Christian Muise, Sheila A. McIlraith, J. Christopher Beck
Replanning in Domains with Partial Information and Sensing Actions PDF
Guy Shani, Ronen Brafman

Robotics and Vision

Capturing an Evader in a Polygonal Environment with Obstacles PDF
Deepak Bhadauria, Volkan Isler

Uncertainty in AI

Inference with Multinomial Data: Why to Weaken the Prior Strength PDF
Cassio Polpo de Campos, Alessio Benavoli
Eliciting Additive Reward Functions for Markov Decision Processes PDF
Kevin Regan, Craig Boutilier
Robust Online Optimization of Reward-Uncertain MDPs PDF
Kevin Regan, Craig Boutilier
Bayesian Chain Classifiers for Multidimensional Classification PDF
Julio Cesar Zaragoza, Enrique Sucar, Eduardo Morales, Concha Bielza, Pedro Larrañaga

Web and Knowledge-Based Information Systems

Relation Adaptation: Learning to Extract Novel Relations with Minimum Supervision PDF
Danushka Bollegala, Yutaka Matsuo, Mitsuru Ishizuka
Finding the Hidden Gems: Recommending Untagged Music PDF
Ben Horsburgh, Susan Craw, Stewart Massie, Robin Boswell

Special Track on Integrated and Embedded AI

A Comprehensive Approach to On-Board Autonomy Verification and Validation PDF
Marco Bozzano, Alessandro Cimatti, Marco Roveri, Andrei Tchaltsev
Non-Linear Monte-Carlo Search in Civilization II PDF
S.R.K. Branavan, David Silver, Regina Barzilay
Interest Prediction on Multinomial, Time-Evolving Social Graph PDF
Nozomi Nori, Danushka Bollegala, Mitsuru Ishizuka
Extending Computer Assisted Assessment Systems with Natural Language Processing, User Modeling and Recommendations Based on Human Computer Interaction and Data Mining PDF
Ismael Pascual-Nieto, Olga C. Santos, Diana Perez-Marin, Jesus G. Boticario

Best Paper Track

Lower Bounds for Width-Restricted Clause Learning on Formulas of Small Width PDF
Eli Ben-Sasson, Jan Johannsen
Reasoning and Proofing Services for Semantic Web Agents PDF
Kalliopi Kravari, Konstantinos Papatheodorou, Grigoris Antoniou, Nick Bassiliades
Evaluation of Group Profiling Strategies PDF
Christophe Senot, Dimitre Kostadinov, Makram Bouzid, Jérôme Picault, Armen Aghasaryan
Wsabie: Scaling Up to Large Vocabulary Image Annotation PDF
Jason Weston, Samy Bengio, Nicolas Usunier

Doctoral Consortium

Solving the Multiagent Selection and Scheduling Problem PDF
James Calvin Boerkoel Jr.
Combining Machine Learning and Optimization Techniques to Determine 3-D Structures of Polypeptides PDF
Marcio Dorn, Luciana Salete Buriol, Luis da Cunha Lamb
An Agent-Oriented Software Engineering Methodology to Develop Adaptive Virtual Organizations PDF
Sergio Esparcia, Estefania Argente, Vicente Botti
On Temporal Regulations and Commitment Protocols PDF
Elisa Marengo, Matteo Baldoni, Cristina Baroglio
Human Behavior Analysis from Video Data Using Bag-of-Gestures PDF
Víctor Ponce López, Mario Gorga López, Xavier Baró Solé, Sergio Escalera Guerrero