Agent-Based and Multiagent Systems
| Verifying Normative Behaviour via Normative Mechanism Design | |
| Nils Bulling, Mehdi Dastani |
| Changing One's Mind: Erase or Rewind? Possibilistic Belief Revision with Fuzzy Argumentation Based on Trust | |
| Célia da Costa Pereira, Andrea G. B. Tettamanzi, Serena Villata |
| Multi-Agent Soft Constraint Aggregation via Sequential Voting | |
| Giorgio Dalla Pozza, Maria Silvia Pini, Francesca Rossi, K. Brent Venable |
| Human-Agent Auction Interactions: Adaptive-Aggressive Agents Dominate | |
| Marco De Luca, Dave Cliff |
Constraints, Satisfiability, and Search
| Tackling the Partner Units Configuration Problem | |
| Markus Aschinger, Conrad Drescher, Georg Gottlob, Peter Jeavons, Evgenij Thorstensen |
| Probabilistic Satisfiability: Logic-Based Algorithms and Phase Transition | |
| Marcelo Finger, Glauber De Bona |
Knowledge Representation, Reasoning, and Logic
| Relating the Semantics of Abstract Dialectical Frameworks and Standard AFs | |
| Gerd Brewka, Paul Edward Dunne, Stefan Woltran |
| SDD: A New Canonical Representation of Propositional Knowledge Bases | |
| Adnan Darwiche |
| Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals | |
| Giuseppe De Giacomo, Yves Lesperance, Hector J. Levesque |
| Revising by an Inconsistent Set of Formulas | |
| James Delgrande |
| Revising Horn Theories | |
| James P. Delgrande, Pavlos Peppas |
| Expressiveness of the Interval Logics of Allen's Relations on the Class of all Linear Orders: Complete Classification | |
| Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
| Parametric Properties of Ideal Semantics | |
| Wolfgang Dvorak, Paul Edward Dunne, Stefan Woltran |
| Generalized Planning: Synthesizing Plans that Work for Multiple Environments | |
| Yuxiao Hu, Giuseppe De Giacomo |
Machine Learning
| Generative Structure Learning for Markov Logic Networks Based on Graph of Predicates | |
| Quang-Thang Dinh, Matthieu Exbrayat, Christel Vrain |
| On Trivial Solution and Scale Transfer Problems in Graph Regularized NMF | |
| Quanquan Gu, Chris Ding, Jiawei Han |
| Cluster Indicator Decomposition for Efficient Matrix Factorization | |
| Dijun Luo, Chris Ding, Heng Huang |
| Robust Principal Component Analysis with Non-Greedy ℓ1-Norm Maximization | |
| Feiping Nie, Heng Huang, Chris Ding, Dijun Luo, Hua Wang |
| Discovering Deformable Motifs in Continuous Time Series Data | |
| Suchi Saria, Andrew Duchi, Daphne Koller |
| Angular Decomposition | |
| Dengdi Sun, Chris H.Q. Ding, Bin Luo, Jin Tang |
| Learning Driving Behavior by Timed Syntactic Pattern Recognition | |
| Sicco Verwer, Mathijs de Weerdt, Cees Witteveen |
Multidisciplinary Topics And Applications
| A Neural-Symbolic Cognitive Agent for Online Learning and Reasoning | |
| H. Leo H. de Penning, Artur S. d'Avila Garcez, Luis C. Lamb, John-Jules C. Meyer |
| Using Multiple Models to Understand Data | |
| Kayur Patel, Steven M. Drucker, James Fogarty, Ashish Kapoor, Desney S. Tan |
| Active Graph Reachability Reduction for Network Security and Software Engineering | |
| Alice X. Zheng, John Dunagan, Ashish Kapoor |
Natural-Language Processing
| Predicting Globally-Coherent Temporal Structures from Texts Via Endpoint Inference and Graph Decomposition | |
| Pascal Denis, Philippe Muller |
Planning and Scheduling
| Computing Infinite Plans for LTL Goals Using a Classical Planner | |
| Fabio Patrizi, Nir Lipoveztky, Giuseppe De Giacomo, Hector Geffner |
Uncertainty in AI
| New Complexity Results for MAP in Bayesian Networks | |
| Cassio Polpo de Campos |
| Inference with Multinomial Data: Why to Weaken the Prior Strength | |
| Cassio Polpo de Campos, Alessio Benavoli |
| Motor Simulation via Coupled Internal Models Using Sequential Monte Carlo | |
| Haris Dindo, Daniele Zambuto, Giovanni Pezzulo |
| Pairwise Decomposition for Combinatorial Optimization in Graphical Models | |
| Aurélie Favier, Simon de Givry, Andrès Legarra, Thomas Schiex |
| A Trust Prediction Approach Capturing Agents' Dynamic Behavior | |
| Xin Liu, Anwitaman Datta |
| Lifted Probabilistic Inference by First-Order Knowledge Compilation | |
| Guy Van den Broeck, Nima Taghipour, Wannes Meert, Jesse Davis, Luc De Raedt |
Web and Knowledge-Based Information Systems
| The Modular Structure of an Ontology: Atomic Decomposition | |
| Chiara Del Vescovo, Bijan Parsia, Uli Sattler, Thomas Schneider |
| Multi-Perspective Linking of News Articles within a Repository | |
| Arpit Khurdiya, Lipika Dey, Nidhi Raj, Sk. Mirajul Haque |
Special Track on Integrated and Embedded AI
| Enhancing Search Results with Semantic Annotation Using Augmented Browsing | |
| Hong-Jie Dai, Wei-Chi Tsai, Richard Tzong-Han Tsai, Wen-Lian Hsu |
| Simulation-Based Data Mining Solution to the Structure of Water Surrounding Proteins | |
| Bao Tu Ho, Chi Hieu Dam, Ayumu Sugiyama |
| A Natural Language Question Answering System as a Participant in Human Q&A Portals | |
| Tiansi Dong, Ulrich Furbach, Ingo Glöckner, Björn Pelzer |
| Exploiting Probabilistic Knowledge under Uncertain Sensing for Efficient Robot Behaviour | |
| Marc Hanheide, Charles Gretton, Richard W Dearden, Nick A Hawes, Jeremy L Wyatt, Andrzej Pronobis, Alper Aydemir, Moritz Göbelbecker, Hendrik Zender |
| Learning Compact Visual Descriptor for Low Bit Rate Mobile Landmark Search | |
| Rongrong Ji, Ling-Yu Duan, Jie Chen, Hongxun Yao, Tiejun Huang, Wen Gao |
Best Paper Track
| A Geometric View of Conjugate Priors | |
| Arvind Agarwal, Hal Daume III |
| Exploring Protein Fragment Assembly Using CLP | |
| Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli |
| Translation-Based Constraint Answer Set Solving | |
| Christian Drescher, Toby Walsh |
Doctoral Consortium
| Statement of Thesis Research: Multi-Robot Sampling Strategies for Large-Scale Oceanographic Experiments | |
| Jnaneshwar Das |
| Control of Robotic Systems for Safe Interaction with Human Operators | |
| Hao Ding |
| Combining Machine Learning and Optimization Techniques to Determine 3-D Structures of Polypeptides | |
| Marcio Dorn, Luciana Salete Buriol, Luis da Cunha Lamb |
| Towards Social Problem-Solving with Human Subjects | |
| Daniel Scain Farenzena, Luis da Cunha Lamb, Ricardo Matsumura de Araújo |