Lifschitz, Vladimir


Answer Sets and the Language of Answer Set Programming

AI Magazine

Answer set programming is a declarative programming paradigm based on the answer set semantics of logic programs. This introductory article provides the mathematical background for the discussion of answer set programming in other contributions to this special issue.


The Sixth International Workshop on Nonmonotonic Reasoning

AI Magazine

The Sixth International Workshop on Nonmonotonic Reasoning was held 10 to 12 June 1996 in Timberline, Oregon. The aim of the workshop was to bring together active researchers interested in nonmonotonic reasoning to discuss current research, results, and problems of both a theoretical and a practical nature.


On the semantics of STRIPS

Classics

In: Proceedings of the 1986 Workshop on Planning and Reasoning about Action, Timberline, Oregon,