Brewka, Gerhard


Answer Set Programming: An Introduction to the Special Issue

AI Magazine

This editorial introduces answer set programming, a vibrant research area in computational knowledge representation and declarative programming. We give a brief overview of the articles that form this special issue on answer set programming and of the main topics they discuss.


Preferences and Nonmonotonic Reasoning

AI Magazine

Selecting extended logic programming with the answer-set semantics as a "generic" nonmonotonic logic, we show how that logic defines preferred belief sets and how preferred belief sets allow us to represent and interpret normative statements. Conflicts among program rules (more generally, defaults) give rise to alternative preferred belief sets. Finally, we comment on formalisms which explicitly represent preferences on properties of belief sets. Such formalisms either build preference information directly into rules and modify the semantics of the logic appropriately, or specify preferences on belief sets independently of the mechanism to define them.


Report on the Seventh International Workshop on Nonmonotonic Reasoning

AI Magazine

The Seventh International Workshop on Nonmonotonic Reasoning was held in Trento, Italy, on 30 May to 1 June 1998 in conjunction with the Sixth International Conference on the Principles of Knowledge Representation and Reasoning (KR-98). The workshop was sponsored by the Association for the Advancement of Artificial Intelligence, Compulog, Associazione Italiana per l'Intelligenza Artificiale, and the Prolog Development Center.