Answer set programming and plan generation
type: Item
instance of: scholarly article
title: Answer set programming and plan generation
zbMATH Open document ID: 0995.68020
DOI: 10.1016/S0004-3702(02)00186-8
author: Vladimir Lifschitz
published in: Artificial Intelligence
publication date: 2002-07-15T00:00:00Z
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 1767930
zbMATH Keywords: answer sets
zbMATH Keywords: default logic
zbMATH Keywords: frame problem
zbMATH Keywords: logic programming
zbMATH Keywords: planning
Wikidata QID: Q56562303
MaRDI profile type: Publication
cites work: Q4955332
cites work: STRIPS: A new approach to the application of theorem proving to problem solving
cites work: Q3829537
cites work: Representing action and change by logic programs
cites work: Nonmonotonic logic and temporal projection
cites work: Q4264234
cites work: Q4702576
cites work: Q4955331
cites work: Q4702577
cites work: The anomalous extension problem in default reasoning
cites work: Logic programs with stable model semantics as a constraint programming paradigm
cites work: Extending and implementing the stable model semantics
cites work: A logic for default reasoning
cites work: Representing actions in logic programs and default theories a situation calculus approach
DBLP publication ID: journals/ai/Lifschitz02
description: scientific article; zbMATH DE number 1767930