5. SUM 2011: Dayton, OH, USA

Invited Talks

• Joseph Y. Halpern:
  Causality, Responsibility, and Blame: A Structural-Model Approach. 1
  
• Umberto Straccia:
  Fuzzy Logic, Annotation Domains and Semantic Web Languages. 2-21
  

Discussant Contributions

• Chitta Baral:
  Logic Programming and Uncertainty. 22-37
  
• Cory J. Butz:
  Evaluating Probabilistic Inference Techniques: A Question of "When, " not "Which". 38-51
  
• Matthew Iklé:
  Probabilistic Logic Networks in a Nutshell. 52-60
  
• Sébastien Konieczny:
  Dynamics of Beliefs. 61-74
  
• Anca L. Ralescu, Sofia Visa:
  Fuzzy Classifiers - Opportunities and Challenges -. 75-80
  
• Guillermo Ricardo Simari:
  A Brief Overview of Research in Argumentation Systems. 81-95
  

Argumentation Systems

• Teresa Alsinet, Ramón Béjar, Lluis Godo, Francesc Guitart:
  Maximal Ideal Recursive Semantics for Defeasible Argumentation. 96-109
  
• Leila Amgoud, Caroline Devred:
  Argumentation Frameworks as Constraint Satisfaction Problems. 110-122
  
• Leila Amgoud, Srdjan Vesic:
  On the Equivalence of Logic-Based Argumentation Systems. 123-136
  
• Claudette Cayrol, Marie-Christine Lagasquie-Schiex:
  Bipolarity in Argumentation Graphs: Towards a Better Understanding. 137-148
  
• Florence Dupin de Saint-Cyr:
  Handling Enthymemes in Time-Limited Persuasion Dialogs. 149-162
  
• Farid Nouioua, Vincent Risch:
  Argumentation Frameworks with Necessities. 163-176
  
• Nicolás D. Rotstein, Sebastian Gottifredi, Alejandro Javier García, Guillermo Ricardo Simari:
  A Heuristics-Based Pruning Technique for Argumentation Trees. 177-190
  
• Safa Yahi:
  On Warranted Inference in Argument Trees Based Framework. 191-204
  

Probabilistic Inference

• Christelle Jacob, Didier Dubois, Janette Cardoso:
  Uncertainty Handling in Quantitative BDD-Based Fault-Tree Analysis by Interval Computation. 205-218
  
• Zoran Ognjanovic, Dragan Doder, Zoran Markovic:
  A Branching Time Logic with Two Types of Probability Operators. 219-232
  
• Alessandro Panella, Piotr J. Gmytrasiewicz:
  A Partition-Based First-Order Probabilistic Logic to Represent Interactive Beliefs. 233-246
  
• Lionel Torti, Christophe Gonzales, Pierre-Henri Wuillemin:
  Patterns Discovery for Efficient Structured Probabilistic Inference. 247-260
  
• Yang Xiang, Minh Tri Truong, Zoe Jingyu Zhu, David Stanley, Blair Nonnecke:
  Indirect Elicitation of NIN-AND Trees in Causal Model Acquisition. 261-274
  

Dynamic of Beliefs

• Pierre Bisquert, Claudette Cayrol, Florence Dupin de Saint-Cyr, Marie-Christine Lagasquie-Schiex:
  Change in Argumentation Systems: Exploring the Interest of Removing an Argument. 275-288
  
• Fabian Panse, Norbert Ritter:
  Incorporating Domain Knowledge and User Expertise in Probabilistic Tuple Merging. 289-302
  
• Steven Schockaert, Henri Prade:
  Qualitative Reasoning about Incomplete Categorization Rules Based on Interpolation and Extrapolation in Conceptual Spaces. 303-316
  
• Luciano H. Tamargo, Marcelo A. Falappa, Alejandro Javier García, Guillermo Ricardo Simari:
  A Change Model for Credibility Partial Order. 317-330
  
• Vladimir Zadorozhny, Ying-Feng Hsu:
  Conflict-Aware Historical Data Fusion. 331-345
  

Information Retrieval and Databases

• Yassine Djouadi:
  Extended Galois Derivation Operators for Information Retrieval Based on Fuzzy Formal Concept Lattice. 346-358
  
• Olivier Pivert, Grégory Smits, Allel HadjAli:
  Processing Fuzzy Queries in a Peer Data Management System Using Distributed Fuzzy Summaries. 359-372
  
• Francesco Parisi, Amy Sliva, V. S. Subrahmanian:
  Embedding Forecast Operators in Databases. 373-386
  

Ontologies

• Valerie V. Cross, Xinran Yu:
  Investigating Ontological Similarity Theoretically with Fuzzy Set Theory, Information Content, and Tversky Similarity and Empirically with the Gene Ontology. 387-400
  
• Georg Gottlob, Thomas Lukasiewicz, Gerardo I. Simari:
  Answering Threshold Queries in Probabilistic Datalog+/- Ontologies. 401-414
  
• Jan Noessner, Mathias Niepert, Heiner Stuckenschmidt:
  Coherent Top-k Ontology Alignment for OWL EL. 415-427
  

Possibility Theory and Classification

• Didier Dubois, Henri Prade:
  Generalized Possibilistic Logic. 428-432
  
• Hadja Faiza Khellaf-Haned:
  Transformations around Quantitative Possibilistic Logic. 433-446
  
• Mathieu Serrurier, Henri Prade:
  Imprecise Regression Based on Possibilistic Likelihood. 447-459
  
• Karim Tabia:
  Possibilistic Network-Based Classifiers: On the Reject Option and Concept Drift Issues. 460-474
  

Logic Programming

• Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir:
  Weak and Strong Disjunction in Possibilistic ASP. 475-488
  
• Pere Pardo, Lluis Godo:
  t-DeLP: A Temporal Extension of the Defeasible Logic Programming Argumentative Framework. 489-503
  
• Emad Saad:
  Learning to Act Optimally in Partially Observable Markov Decision Processes Using Hybrid Probabilistic Logic Programs. 504-519
  

Applications

• Andrea De Francesco, Sergio Greco, Francesca Spezzano, Irina Trubitsyna:
  ChaseT: A Tool for Checking Chase Termination. 520-524
  
• Séverine Dubuisson, Christophe Gonzales, Xuan Son N'Guyen:
  Swapping-Based Partitioned Sampling for Better Complex Density Estimation: Application to Articulated Object Tracking. 525-538
  
• Timothy Hanratty, Robert J. Hammell II, Eric Heilman:
  A Fuzzy-Based Approach to the Value of Information in Complex Military Environments. 539-546
  
• Jianbing Ma, Weiru Liu, Paul Miller:
  Handling Sequential Observations in Intelligent Surveillance. 547-560
  

Last update Fri May 25 08:42:28 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page