Conference materials

Invited talks

  1. Jack Minker, Reminiscences on Nonmonotonic Reasoning
  2. Vladimir Lifschitz, Circumscription Has Two daughters
  3. David Pearce, The Goedel and the Splitting Translations (slides)
  4. David Pearce, The Goedel and the Splitting Translations (paper)
  5. Marc Denecker, On the Informal and Formal Semantics of Defaults
  6. Jim Delgrande, What's in a Default? On the Role and Nature of Defaults in Nonmonotonic Reasoning
  7. Didier Dubois, Uncertainty Theories and Non-Monotonic Reasoning (slides)
  8. Didier Dubois, Uncertainty Theories and Non-Monotonic Reasoning (bibliography)
  9. Ilkka Niemelae, Origins of Answer Set Programming
  10. Torsten Schaub, Modern Answer Set Solving
  11. Nicola Leone, ASP with Function Symbols: Overview and Perspectives (presented by Wolfgang Faber)
  12. Thomas Eiter, Distributed Nonmonotonic Reasoning
  13. Erik Sandewall, Early History of Nonmonotonic Reasoning (slides not available)
  14. Daniel Lehman, Nonmonotonic Logics Without and With Connectives
  15. Alexander Bochman, Nonmonotonic Reasoning and Logic
  16. Michael Kaminski, First-order Non-monotonic Logics: a Unified Approach
  17. Jeffrey Remmel, Extensions of Answer Set Programming
  18. Georg Gottlob, From Complexity of Nonmonotonic Reasoning to Datalog++
  19. Chitta Baral, Nonmonotonicity in Specifying Goals and Directives
  20. Michael Gelfond, The Development of Logic Progbramming Based KR Languages - a Personal Perspective

Contributed talks

  1. Wolfgang Dvorak, Stefan Woltran, On the Intertranslability of Argumentation Semantics
  2. Paolo Mancarella and Francesca Toni, A Semantics for Positive Abductive Programs with Implicative and Denial Integrity
  3. David Pearce and Levan Uridia, Algebraic Semantics for Modal and Superintuitionistic Non-monotonic Logics
  4. Douglas Cenzer and Jeffrey Remmel, A Connection between the Cantor-Bendixson Derivative and the Well-Founded Semantics of Finite Logic Programs
  5. Chiaki Sakama and Martin Caminada, The Many Faces of Deception
  6. Henri Prade and Gilles Richard, Nonmonotonic reasoning - From Cataloguing to Analogizing
  7. Alex Brik and Jeffrey Remmel, Computing Stable Models of Logic Programs Using Metropolis Algorithm
  8. Shahab Tasharrofi and Eugenia Ternovska, Built-in Arithmetic in Knowledge Representation Languages
  9. Thomas Eiter, Michael Fink and Peter Schüller, Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems
  10. Daniela Inclezan, Computing Trajectories of Dynamic Systems Using ASP and Flora-2
  11. Mingyi Zhang and Ying Zhang, Default Logic and Its Variants: Finite Characterizations, Monotonicity and Cumulativity
  12. Yisong Wang, Jia-Huai You, Li-Yan Yuan and Yi-Dong Shen, Normal Description Logic Programs as Default Theories
  13. Enrico Pontelli and Tran Cao Son, Goal Default Theory with Priorities as a Non-Monotonic Goal Specification Language