Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning

Keyphrases

Publications

2011

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
Challenges in Answer Set Solving. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Richard Watson, Marina De Vos
ASTREA: Answer Sets for a Trusted Reasoning Environment for Agents. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Forrest Sheng Bao, Sandeep Chintabathina, A. Ricardo Morales, Nelson Rushton, Richard Watson, Yuanlin Zhang
A Temporally Expressive Planner Based on Answer Set Programming with Constraints: Preliminary Design. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Marcello Balduccini, Sara Girotto
ASP as a Cognitive Modeling Tool: Short-Term Memory and Long-Term Memory. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
José Júlio Alferes, Alfredo Gabaldon, João Leite
Evolving Logic Programs with Temporal Operators. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Esra Erdem
Applications of Answer Set Programming in Phylogenetic Systematics. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Paolo Ferraris, Vladimir Lifschitz
On the Minimality of Stable Models. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Michael Thielscher
Translating General Game Descriptions into an Action Language. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Chitta Baral, Gregory Gelfond
On Representing Actions in Multi-agent Domains. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Victor W. Marek, Jeffrey B. Remmel
Effectively Reasoning about Infinite Sets in Answer Set Programming. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Giovanni Grasso, Nicola Leone, Marco Manna, Francesco Ricca
ASP at Work: Spin-off and Applications of the DLV System. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Stefania Costantini
Michael Gelfond: Essay in Honour of His 65th Birthday. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Agostino Dovier, Andrea Formisano, Enrico Pontelli
Perspectives on Logic-Based Approaches for Reasoning about Actions and Change. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Jack Minker
Opening: Homage to Michael Gelfond on His 65th Birthday. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Miroslaw Truszczynski
Revisiting Epistemic Specifications. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Pedro Cabalar
Answer Set; Programming? Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Tomi Janhunen, Ilkka Niemelä
Compact Translations of Non-disjunctive Answer Set Programs to Propositional Clauses. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Alessandro Provetti
Recollections on Michael Gelfond's 65th Birthday. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Tommi Syrjänen
On the Practical Side of Answer Set Programming. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Wolfgang Faber, Stefan Woltran
Manifold Answer-Set Programs and Their Applications. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Massimiliano Albanese, Matthias Broecheler, John Grant, Maria Vanina Martinez, V. S. Subrahmanian
PLINI: A Probabilistic Logic Program Framework for Inconsistent News Information. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Veena S. Mellarkod
Tea Times with Gelfond. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Jorge Lobo, Jiefei Ma, Alessandra Russo, Emil Lupu, Seraphin B. Calo, Morris Sloman
Refinement of History-Based Policies. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Gerhard Brewka, Thomas Eiter, Michael Fink
Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Marc Denecker, Joost Vennekens, Hanne Vlaeminck, Johan Wittocx, Maurice Bruynooghe
Answer Set Programming's Contributions to Classical Logic - An Analysis of ASP Methodology. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Katsumi Inoue, Chiaki Sakama
Exploring Relations between Answer Set Programs. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Phan Minh Dung, Phan Minh Thang
Closure and Consistency Rationalities in Logic-Based Argumentation. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Vladik Kreinovich
Cantor's Paradise Regained: Constructive Mathematics from Brouwer to Kolmogorov to Gelfond. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)

volume 6565, 2011

Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 6565 (2011)