Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning


Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011) .. Balduccini


Table of Contents

Opening: Homage to Michael Gelfond on His 65th Birthday . . . 1

Jack Minker

Foundations: ASP and Theories of LP, KR, and NMR

Answer Set Programming’s Contributions to Classical Logic: An Analysis of ASP Methodology . . . 12

Marc Denecker, Joost Vennekens, Hanne Vlaeminck, Johan Wittocx, and Maurice Bruynooghe

Closure and Consistency Rationalities in Logic-Based Argumentation . . . 33

Phan Minh Dung and Phan Minh Thang

Manifold Answer-Set Programs and Their Applications . . . 44

Wolfgang Faber and Stefan Woltran

On the Minimality of Stable Models . . . 64

Paolo Ferraris and Vladimir Lifschitz

Challenges in Answer Set Solving . . . 74

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub

Exploring Relations between Answer Set Programs . . . 91

Katsumi Inoue and Chiaki Sakama

Compact Translations of Non-disjunctive Answer Set Programs to Propositional Clauses . . . 111

Tomi Janhunen and Ilkka Niemela

Effectively Reasoning about Infinite Sets in Answer Set Programming . . . 131

Victor Marek and Jeffrey B. Remmel

Inspecting Side-Effects of Abduction in Logic Programs . . . 148

Luis Moniz Pereira and Alexandre Miguel Pinto

Argumentation and Answer Set Programming . . . 164

Francesca Toni and Marek Sergot

Interlude: Cantor’s Paradise Regained: Constructive Mathematics from Brouwer to Kolmogorov to Gelfond. . . 181

Vladik Kreinovich

Interlude: Recollections on Michael Gelfond’s 65th Birthday . . . 191

Alessandro Provetti

ASP and Dynamic Domains

Evolving Logic Programs with Temporal Operators . . . 193

Jose Julio Alferes, Alfredo Gabaldon, and Jo˜ao Leite

On Representing Actions in Multi-agent Domains . . . 213

Chitta Baral and Gregory Gelfond

Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources . . . 233

Gerhard Brewka, Thomas Eiter, and Michael Fink

Perspectives on Logic-Based Approaches for Reasoning about Actions and Change . . . 259

Agostino Dovier, Andrea Formisano, and Enrico Pontelli

Refinement of History-Based Policies . . . 280

Jorge Lobo, Jiefei Ma, Alessandra Russo, Emil Lupu, Seraphin Calo, and Morris Sloman

Translating General Game Descriptions into an Action Language . . . 300

Michael Thielscher

Revisiting Epistemic Specifications . . . 315

Miroslaw Truszczynski

Interlude: Answer Set; Programming? . . . 334

Pedro Cabalar

Interlude: Michael Gelfond: Essay in Honour of His 65th Birthday. . . 344

Stefania Costantini

ASP – Applications and Tools

PLINI: A Probabilistic Logic Program Framework for Inconsistent News Information . . . 347

Massimiliano Albanese, Matthias Broecheler, John Grant, Maria Vanina Martinez, and V.S. Subrahmanian

ASP as a Cognitive Modeling Tool: Short-Term Memory and Long-Term Memory . . . 377

Marcello Balduccini and Sara Girotto

A Temporally Expressive Planner Based on Answer Set Programming with Constraints: Preliminary Design . . . 398

Forrest Sheng Bao, Sandeep Chintabathina, A. Ricardo Morales, Nelson Rushton, Richard Watson, and Yuanlin Zhang

Applications of Answer Set Programming in Phylogenetic Systematics . . . 415

Esra Erdem

ASP at Work: Spin-off and Applications of the DLV System . . . 432

Giovanni Grasso, Nicola Leone, Marco Manna, and Francesco Ricca

Combining Answer Set Programming and Prolog: The ASP–PROLOG System . . . 452

Enrico Pontelli, Tran Cao Son, and Ngoc-Hieu Nguyen

On the Practical Side of Answer Set Programming . . . 473

Tommi Syrj¨anen

ASTREA: Answer Sets for a Trusted Reasoning Environment for Agents . . . 490

Richard Watson and Marina De Vos

Ending: Tea Times with Gelfond . . . 510

Veena S. Mellarkod

Author Index . . . 513