Seventh International Conference on Scalable Uncertainty Management (SUM 2013)
Washington DC Area, USA, September 16-18, 2013


Monday, September 16

8:00–8:45 - Registration and Breakfast

8:45-9:00 - Welcome

9:00-10:30 - Invited talk by Christos Faloutsos Influence Propagation in Large Graphs -- Theorems, Algorithms, and Case Studies

10:30–11:00 - Break

11:00-13:00 - Paper session 1 (chair: Sergio Flesca)

Phokion Kolaitis and Francesca Spezzano
   The Semantics of Aggregate Queries in Data Exchange Revisited
Batya Kenig, Avigdor Gal and Ofer Strichman
   A New Class of Lineage Expressions over Probabilistic Databases Computable in P-time
John Grant, Cristian Molinaro and Francesco Parisi
   Aggregate Count Queries in Probabilistic Spatio-Temporal Databases
Gosta Grahne, Adrian Onet and Nihat Tartal
   PossDB: An Uncertainty Database Management System (short paper)

13:00–14:30 - Lunch

14:30-16:00 - Paper session 2 (chair: Leila Amgould)
     Intelligent Data Analytics

Sebastian Link
   Approximate Reasoning about Generalized Conditional Independence with Certain Random Variables
Walter Powell, Robin Hanson, Kathryn Laskey and Charles Twardy
   Combinatorial Prediction Markets: An Experimental Study
Mathieu Serrurier and Henri Prade
   A Scalable Learning Algorithm for Kernel Probabilistic Classifier

16:00–16:30 - Break

16:30-18:00 - Paper session 3 (chair: Kathryn Laskey)
     Argumentation I

Anthony Hunter
   Analysis of Dialogical Argumentation via Finite State Machines
Madalina Croitoru and Srdjan Vesic
   What Can Argumentation Do for Inconsistent Ontology Query Answering?
Pierre Bisquert, Claudette Cayrol, Florence Dupin de Saint-Cyr and Marie-Christine Lagasquie
   Enforcement in Argumentation is a Kind of Update

19:00 - Reception at UMUC Marriott Inn & Conference Center

Tuesday, September 17

8:00–9:00 - Breakfast

9:00-10:30 - Invited talk by Stephen Eubank Using Network Reliability Polynomials to Characterize Contact Networks for Infectious Disease Epidemiology

10:30–11:00 - Break

11:00-12:30 - Paper session 4 (chair: Henri Prade)
     Logics, Description Logic, and Semantic Web I

Salem Benferhat and Zied Bouraoui
   Possibilistic DL-Lite
Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo Simari and Oana Tifrea-Marciuska
   Group Preferences for Query Answering in Datalog ± Ontologies
Tommaso Di Noia, Thomas Lukasiewicz and Gerardo I. Simari
   Reasoning with Semantic-Enabled Qualitative Preferences

12:30–14:00 - Lunch

14:00-15:30 - Paper session 5 (chair: Anthony Hunter)
     Belief Functions, Possibility Theory and their Applications

Jianbing Ma, Weiru Liu, Paul Miller and Fabin Campbell-West
   An Improvement of Subject Reacquisition by Reasoning and Revision
Milan Daniel
   A Revision of Plausibility Conflict of Belief Functions and Related Approaches
Didier Dubois, Emiliano Lorini and Henri Prade
   Bipolar Possibility Theory as a Basis for a Logic of Desires and Beliefs

15:30–16:00 - Break

16:00-18:00 - Paper session 6 (chair: Salem Benferhat)
     Argumentation II

Philippe Besnard, Eric Grégoire and Badran Raddaoui
   A Conditional Logic-Based Argumentation Framework
Anthony Hunter
   Modelling Uncertainty in Persuasion
Leila Amgoud and Philippe Besnard
   A Formal Characterization of the Outcomes of Rule-Based Argumentation Systems
Teresa Alsinet, Ramón Béjar, Lluis Godo and Francesc Guitart
   On the Implementation of a Multiple Outputs Algorithm for Defeasible Argumentation (short paper)
Wednesday, September 18

8:00–9:00 - Breakfast

9:00-10:30 - Invited talk by Rama Chellappa The Evolution of Probabilistic Models and Uncertainty Analysis in Computer Vision Research

10:30–11:00 - Break

11:00-12:30 - Paper session 7 (chair: John Grant)
     Mixed: Applications + Argumentation III

Xun Wang, Benjamin Quost, Jean-Daniel Chazot and Jérôme Antoni
   Localization in the Sound Sources Model with Uncertainty Using EM and Evidential EM Algorithm
Leila Amgoud and Jonathan Bennaim
   Ranking-Based Semantics for Argumentation Frameworks
Richard Booth, Souhila Kaci, Tjitze Rienstra and Leendert Van Der Torre
   A Logical Theory about Dynamics in Abstract Argumentation

12:30–14:00 - Lunch

14:00-15:30 - Paper session 8 (chair: Francesca Spezzano)
     Argumentation IV

Jann Müller, Anthony Hunter and Philip Taylor
   Bimodal Graphs for Meta-Argumentation with Argument Schemes
Bettina Fazzinga, Sergio Flesca and Francesco Parisi
   Efficiently Estimating the Probability of Extensions in Abstract Argumentation
Farid Nouioua
   AFs with Necessities: Further Semantics and Labelling Characterization

15:30–16:00 - Break

16:00-17:30 - Paper session 9 (chair: Edoardo Serra)
     Logics, Description Logic, and Semantic Web II

Tsan-Sheng Hsu, Churn-Jung Liau and Da-Wei Wang
   Privacy-Preserving Social Network Publication Based on Positional Indiscernibility
Pilar Pozos-Parra, Kevin McAreavey and Weiru Liu
   On the Merit of Selecting Different Belief Merging Operators
Teresa Alsinet, David Barroso, Ramón Béjar, Félix Bou, Marco Cerami and Francesc Esteva
   On the Implementation of a Fuzzy DL Solver over Infinite-Valued Product Logic with SMT Solvers (short paper)