๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Introduction: Logic programming, non-monotonicreasoning and reasoning about actions

โœ Scribed by Chitta Baral; Vladik Kreinovich; Vladimir Lifschitz

Book ID
110379356
Publisher
Springer Netherlands
Year
1997
Tongue
English
Weight
32 KB
Volume
21
Category
Article
ISSN
1012-2443

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Guest editor's introduction: Reasoning a
Guest editor's introduction: Reasoning about action and change
โœ Vladimir Lifschitz ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 94 KB

The automation of reasoning about the consequences of actions has been viewed as an important problem since the early days of Artificial Intelligence. Logic programming turned out to be an excellent tool for describing actions and their effects. The use of negation as failure leads to a simple solut