E-Books durchsuchen
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning [2011]
- 1
-
Homage to Michael Gelfond on His 65<Superscript> <Emphasis Type="Italic">th</Emphasis> </Superscript> Birthday
- 12
-
Answer Set Programming’s Contributions to Classical Logic
- 33
-
Closure and Consistency Rationalities in Logic-Based Argumentation
- 44
-
Manifold Answer-Set Programs and Their Applications
- 64
-
On the Minimality of Stable Models
- 74
-
Challenges in Answer Set Solving
- 91
-
Exploring Relations between Answer Set Programs
- 111
-
Compact Translations of Non-disjunctive Answer Set Programs to Propositional Clauses
- 131
-
Effectively Reasoning about Infinite Sets in Answer Set Programming
- 148
-
Inspecting Side-Effects of Abduction in Logic Programs
- 164
-
Argumentation and Answer Set Programming
- 181
-
Cantor’s Paradise Regained: Constructive Mathematics from Brouwer to Kolmogorov to Gelfond
- 191
-
Recollections on Michael Gelfond’s 65th Birthday
- 193
-
Evolving Logic Programs with Temporal Operators
- 213
-
On Representing Actions in Multi-agent Domains
- 233
-
Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources
- 259
-
Perspectives on Logic-Based Approaches for Reasoning about Actions and Change
- 280
-
Refinement of History-Based Policies
- 300
-
Translating General Game Descriptions into an Action Language
- 315
-
Revisiting Epistemic Specifications
- 334
-
Answer Set; Programming?
- 344
-
Michael Gelfond: Essay in Honour of His 65th Birthday
- 347
-
PLINI: A Probabilistic Logic Program Framework for Inconsistent News Information
- 377
-
ASP as a Cognitive Modeling Tool: Short-Term Memory and Long-Term Memory
- 398
-
A Temporally Expressive Planner Based on Answer Set Programming with Constraints: Preliminary Design
- 415
-
Applications of Answer Set Programming in Phylogenetic Systematics
- 432
-
ASP at Work: Spin-off and Applications of the DLV System
- 452
-
Combining Answer Set Programming and Prolog: The <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="978-3-642-20832-4_28_Chapter_TeX2GIF_IEq1.gif" Format="GIF" Rendition="HTML" Type="Linedraw" /> </InlineMediaObject> <EquationSource Format="TEX">$\mathbb{ASP{-}PROLOG}$</EquationSource> </InlineEquation> System
- 473
-
On the Practical Side of Answer Set Programming
- 490
-
ASTREA: Answer Sets for a Trusted Reasoning Environment for Agents
- 510
-
Tea Times with Gelfond