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

Verifying Normative Behaviour via Normative Mechanism Design PDF
Nils Bulling, Mehdi Dastani
Changing One's Mind: Erase or Rewind? Possibilistic Belief Revision with Fuzzy Argumentation Based on Trust PDF
Célia da Costa Pereira, Andrea G. B. Tettamanzi, Serena Villata
Multi-Agent Soft Constraint Aggregation via Sequential Voting PDF
Giorgio Dalla Pozza, Maria Silvia Pini, Francesca Rossi, K. Brent Venable
Human-Agent Auction Interactions: Adaptive-Aggressive Agents Dominate PDF
Marco De Luca, Dave Cliff

Constraints, Satisfiability, and Search

Tackling the Partner Units Configuration Problem PDF
Markus Aschinger, Conrad Drescher, Georg Gottlob, Peter Jeavons, Evgenij Thorstensen
Probabilistic Satisfiability: Logic-Based Algorithms and Phase Transition PDF
Marcelo Finger, Glauber De Bona

Knowledge Representation, Reasoning, and Logic

Relating the Semantics of Abstract Dialectical Frameworks and Standard AFs PDF
Gerd Brewka, Paul Edward Dunne, Stefan Woltran
SDD: A New Canonical Representation of Propositional Knowledge Bases PDF
Adnan Darwiche
Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals PDF
Giuseppe De Giacomo, Yves Lesperance, Hector J. Levesque
Revising by an Inconsistent Set of Formulas PDF
James Delgrande
Revising Horn Theories PDF
James P. Delgrande, Pavlos Peppas
Expressiveness of the Interval Logics of Allen's Relations on the Class of all Linear Orders: Complete Classification PDF
Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
Parametric Properties of Ideal Semantics PDF
Wolfgang Dvorak, Paul Edward Dunne, Stefan Woltran
Generalized Planning: Synthesizing Plans that Work for Multiple Environments PDF
Yuxiao Hu, Giuseppe De Giacomo

Machine Learning

Generative Structure Learning for Markov Logic Networks Based on Graph of Predicates PDF
Quang-Thang Dinh, Matthieu Exbrayat, Christel Vrain
On Trivial Solution and Scale Transfer Problems in Graph Regularized NMF PDF
Quanquan Gu, Chris Ding, Jiawei Han
Cluster Indicator Decomposition for Efficient Matrix Factorization PDF
Dijun Luo, Chris Ding, Heng Huang
Robust Principal Component Analysis with Non-Greedy ℓ1-Norm Maximization PDF
Feiping Nie, Heng Huang, Chris Ding, Dijun Luo, Hua Wang
Discovering Deformable Motifs in Continuous Time Series Data PDF
Suchi Saria, Andrew Duchi, Daphne Koller
Angular Decomposition PDF
Dengdi Sun, Chris H.Q. Ding, Bin Luo, Jin Tang
Learning Driving Behavior by Timed Syntactic Pattern Recognition PDF
Sicco Verwer, Mathijs de Weerdt, Cees Witteveen

Multidisciplinary Topics And Applications

A Neural-Symbolic Cognitive Agent for Online Learning and Reasoning PDF
H. Leo H. de Penning, Artur S. d'Avila Garcez, Luis C. Lamb, John-Jules C. Meyer
Using Multiple Models to Understand Data PDF
Kayur Patel, Steven M. Drucker, James Fogarty, Ashish Kapoor, Desney S. Tan
Active Graph Reachability Reduction for Network Security and Software Engineering PDF
Alice X. Zheng, John Dunagan, Ashish Kapoor

Natural-Language Processing

Predicting Globally-Coherent Temporal Structures from Texts Via Endpoint Inference and Graph Decomposition PDF
Pascal Denis, Philippe Muller

Planning and Scheduling

Computing Infinite Plans for LTL Goals Using a Classical Planner PDF
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 PDF
Cassio Polpo de Campos, Alessio Benavoli
Motor Simulation via Coupled Internal Models Using Sequential Monte Carlo PDF
Haris Dindo, Daniele Zambuto, Giovanni Pezzulo
Pairwise Decomposition for Combinatorial Optimization in Graphical Models PDF
Aurélie Favier, Simon de Givry, Andrès Legarra, Thomas Schiex
A Trust Prediction Approach Capturing Agents' Dynamic Behavior PDF
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 PDF
Chiara Del Vescovo, Bijan Parsia, Uli Sattler, Thomas Schneider
Multi-Perspective Linking of News Articles within a Repository PDF
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 PDF
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 PDF
Bao Tu Ho, Chi Hieu Dam, Ayumu Sugiyama
A Natural Language Question Answering System as a Participant in Human Q&A Portals PDF
Tiansi Dong, Ulrich Furbach, Ingo Glöckner, Björn Pelzer
Exploiting Probabilistic Knowledge under Uncertain Sensing for Efficient Robot Behaviour PDF
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 PDF
Rongrong Ji, Ling-Yu Duan, Jie Chen, Hongxun Yao, Tiejun Huang, Wen Gao

Best Paper Track

A Geometric View of Conjugate Priors PDF
Arvind Agarwal, Hal Daume III
Exploring Protein Fragment Assembly Using CLP PDF
Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli
Translation-Based Constraint Answer Set Solving PDF
Christian Drescher, Toby Walsh

Doctoral Consortium

Statement of Thesis Research: Multi-Robot Sampling Strategies for Large-Scale Oceanographic Experiments PDF
Jnaneshwar Das
Control of Robotic Systems for Safe Interaction with Human Operators PDF
Hao Ding
Combining Machine Learning and Optimization Techniques to Determine 3-D Structures of Polypeptides PDF
Marcio Dorn, Luciana Salete Buriol, Luis da Cunha Lamb
Towards Social Problem-Solving with Human Subjects PDF
Daniel Scain Farenzena, Luis da Cunha Lamb, Ricardo Matsumura de Araújo