Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID65. Birthday: Michael Gelfond , 2011
- Marcello Balduccini, Tran Cao Son:
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 6565, Springer 2011, ISBN 978-3-642-20831-7 - Jack Minker:
Opening: Homage to Michael Gelfond on His 65th Birthday. 1-11
Foundations: ASP and Theories of LP, KR, and NMR
- Marc Denecker
, Joost Vennekens, Hanne Vlaeminck, Johan Wittocx, Maurice Bruynooghe:
Answer Set Programming's Contributions to Classical Logic - An Analysis of ASP Methodology. 12-32 - Phan Minh Dung, Phan Minh Thang:
Closure and Consistency Rationalities in Logic-Based Argumentation. 33-43 - Wolfgang Faber, Stefan Woltran:
Manifold Answer-Set Programs and Their Applications. 44-63 - Paolo Ferraris, Vladimir Lifschitz:
On the Minimality of Stable Models. 64-73 - Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub:
Challenges in Answer Set Solving. 74-90 - Katsumi Inoue, Chiaki Sakama:
Exploring Relations between Answer Set Programs. 91-110 - Tomi Janhunen, Ilkka Niemelä:
Compact Translations of Non-disjunctive Answer Set Programs to Propositional Clauses. 111-130 - Victor W. Marek, Jeffrey B. Remmel:
Effectively Reasoning about Infinite Sets in Answer Set Programming. 131-147 - Vladik Kreinovich:
Cantor's Paradise Regained: Constructive Mathematics from Brouwer to Kolmogorov to Gelfond. 181-190 - Alessandro Provetti:
Recollections on Michael Gelfond's 65th Birthday. 191-192
ASP and Dynamic Domains
- José Júlio Alferes, Alfredo Gabaldon, João Leite:
Evolving Logic Programs with Temporal Operators. 193-212 - Chitta Baral, Gregory Gelfond:
On Representing Actions in Multi-agent Domains. 213-232 - Gerhard Brewka, Thomas Eiter, Michael Fink:
Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources. 233-258 - Agostino Dovier, Andrea Formisano, Enrico Pontelli:
Perspectives on Logic-Based Approaches for Reasoning about Actions and Change. 259-279 - Jorge Lobo, Jiefei Ma, Alessandra Russo, Emil Lupu, Seraphin B. Calo, Morris Sloman:
Refinement of History-Based Policies. 280-299 - Michael Thielscher:
Translating General Game Descriptions into an Action Language. 300-314 - Miroslaw Truszczynski:
Revisiting Epistemic Specifications. 315-333 - Pedro Cabalar:
Answer Set; Programming? 334-343 - Stefania Costantini:
Michael Gelfond: Essay in Honour of His 65th Birthday. 344-346
ASP - Applications and Tools
- Massimiliano Albanese, Matthias Broecheler, John Grant, Maria Vanina Martinez, V. S. Subrahmanian:
PLINI: A Probabilistic Logic Program Framework for Inconsistent News Information. 347-376 - Marcello Balduccini, Sara Girotto:
ASP as a Cognitive Modeling Tool: Short-Term Memory and Long-Term Memory. 377-397 - 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. 398-414 - Esra Erdem:
Applications of Answer Set Programming in Phylogenetic Systematics. 415-431 - Giovanni Grasso, Nicola Leone, Marco Manna, Francesco Ricca:
ASP at Work: Spin-off and Applications of the DLV System. 432-451 - Tommi Syrjänen:
On the Practical Side of Answer Set Programming. 473-489 - Richard Watson, Marina De Vos:
ASTREA: Answer Sets for a Trusted Reasoning Environment for Agents. 490-509 - Veena S. Mellarkod:
Tea Times with Gelfond. 510-512
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-06-26 21:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
