14th International Workshop on
Non-Monotonic Reasoning
Non-Monotonic Reasoning
June 8-10, 2012 - Rome, Italy
Proceedings
Foreword
ForewordContent
- Answer-Set Programming
- Argumentation
- Preferences
- Action and Change
- Foundations
- Applications, Tools and Systems
Answer-Set Programming
- Alexander Bochman. On the Range of Logics for Logic Programming
- Vladimir Lifschitz. Two-Valued Logic Programs
- Marcello Balduccini. Answer Set Solving and Non-Herbrand Functions
- Marc Denecker, Yuliya Lierler, Mirek Truszczynski and Joost Vennekens. A Tarskian Semantics for Answer Set Programming
- Joohyung Lee and Yunsong Meng. Stable Models of Formulas with Generalized Quantifiers
Argumentation
- Nico Roos. Preferential model semantics, argumentation frameworks and closure properties
- Wolfgang Dvořák and Sarah Alice Gaggl. Incorporating Stage Semantics in the SCC-recursive Schema for Argumentation Semantics
- Ján Šefránek. Updates of argumentation frameworks
- Martin Baláž and Jozef Frtús. Abstract Argumentation with Structured Arguments
Preferences
- Alex Brik and Jeffrey Remmel. Expressing Preferences using Preference Set Constraint Atoms
- Giovanni Casini. A preferential proposal for contextual reasoning
- Katarina Britz and Ivan Varzinczak. Defeasible Modes of Inference: A Preferential Perspective
- Alexander Šimko. Preferred Answer Sets: Comparison of Generating Sets
Action and Change
- Michael Gelfond and Vladimir Lifschitz. The Common Core of Action Languages B and C
- Gerhard Brewka, Hannes Strass and Michael Thielscher. Declarative Strategies for Agents with Incomplete Knowledge
- Camilla Schwind. Belief Base Revision as a Binary Operation on Implicant Sets: a finitary approach
- Philippe Besnard, Éric Grégoire and Sébastien Ramon. Preemption Operators
- Patrick Krümpelmann and Gabriele Kern-Isberner. Belief Base Change Operations for Answer Set Programming
- Chitta Baral, Gregory Gelfond, Enrico Pontelli and Tran Cao Son. An Action Language for Reasoning about Beliefs in Multi-Agent Domains
Foundations
- Laura Giordano, Valentina Gliozzi, Nicola Olivetti and Gian Luca Pozzato. A Minimal Model Semantics for Rational Closure
- Ryo Takemura. Defeasible Inheritance Networks and Linear Logic: Horn Fragments and Proof Nets
- Vladimir Lifschitz, Karl Pichotta and Fangkai Yang. Relational Theories with Null Values and Non-Herbrand Stable Models
- Patrick Krümpelmann and Gabriele Kern-Isberner. On Agent-based Epistemic Secrecy
Applications, Tools and Systems
- Daniela Inclezan. Modeling a Theory of Second Language Acquisition in ASP
- João Moura. Characterising Access Control Conflicts
- Jeffrey Remmel and Alex Brik. Computing a Finite Horizon Optimal Strategy Using Hybrid ASP
- Marina De Vos, Doğa Gizem Kisa, Johannes Oetsch, Jörg Pührer and Hans Tompits. LANA: A Language for Annotating Answer-Set Programs
- Hannes Strass. The draculasp System: Default Reasoning about Actions and Change Using Logic and Answer Set Programming
- Onofrio Febbraro, Nicola Leone, Kristian Reale and Francesco Ricca. ASPIDE the Integrated Development Environment for Answer Set Programming: Progress Report
