Invited talks- Jack Minker, Reminiscences on Nonmonotonic Reasoning
- Vladimir Lifschitz, Circumscription Has Two daughters
- David Pearce, The Goedel and the Splitting Translations (slides)
- David Pearce, The Goedel and the Splitting Translations (paper)
- Marc Denecker, On the Informal and Formal Semantics of Defaults
- Jim Delgrande, What's in a Default? On the Role and Nature of Defaults in Nonmonotonic Reasoning
- Didier Dubois, Uncertainty Theories and Non-Monotonic Reasoning (slides)
- Didier Dubois, Uncertainty Theories and Non-Monotonic Reasoning (bibliography)
- Ilkka Niemelae, Origins of Answer Set Programming
- Torsten Schaub, Modern Answer Set Solving
- Nicola Leone, ASP with Function Symbols: Overview and Perspectives (presented by Wolfgang Faber)
- Thomas Eiter, Distributed Nonmonotonic Reasoning
- Erik Sandewall, Early History of Nonmonotonic Reasoning (slides not available)
- Daniel Lehman, Nonmonotonic Logics Without and With Connectives
- Alexander Bochman, Nonmonotonic Reasoning and Logic
- Michael Kaminski, First-order Non-monotonic Logics: a Unified Approach
- Jeffrey Remmel, Extensions of Answer Set Programming
- Georg Gottlob, From Complexity of Nonmonotonic Reasoning to Datalog++
- Chitta Baral, Nonmonotonicity in Specifying Goals and Directives
- Michael Gelfond, The Development of Logic Progbramming Based KR Languages - a Personal Perspective
Contributed talks- Wolfgang Dvorak, Stefan Woltran, On the Intertranslability of Argumentation Semantics
- Paolo Mancarella and Francesca Toni, A Semantics for Positive Abductive Programs with Implicative and Denial Integrity
- David Pearce and Levan Uridia, Algebraic Semantics for Modal and Superintuitionistic Non-monotonic Logics
- Douglas Cenzer and Jeffrey Remmel, A Connection between the Cantor-Bendixson Derivative and the Well-Founded Semantics of Finite Logic Programs
- Chiaki Sakama and Martin Caminada, The Many Faces of Deception
- Henri Prade and Gilles Richard, Nonmonotonic reasoning - From Cataloguing to Analogizing
- Alex Brik and Jeffrey Remmel, Computing Stable Models of Logic Programs Using Metropolis Algorithm
- Shahab Tasharrofi and Eugenia Ternovska, Built-in Arithmetic in Knowledge Representation Languages
- Thomas Eiter, Michael Fink and Peter Schüller, Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems
- Daniela Inclezan, Computing Trajectories of Dynamic Systems Using ASP and Flora-2
- Mingyi Zhang and Ying Zhang, Default Logic and Its Variants: Finite Characterizations, Monotonicity and Cumulativity
- Yisong Wang, Jia-Huai You, Li-Yan Yuan and Yi-Dong Shen, Normal Description Logic Programs as Default Theories
- Enrico Pontelli and Tran Cao Son, Goal Default Theory with Priorities as a Non-Monotonic Goal Specification Language
|
|
