Knowledge Representation and Logic Programming
Logic programming and knowledge representation—The A-Prolog perspective
Answer set programming and plan generation
Fixed-parameter complexity in AI and nonmonotonic reasoning
LUPS—A language for updating logic programs
Preference Logic Grammars: Fixed point semantics and application to data standardization
Annotated revision programs
Extending and implementing the stable model semantics
Forthcoming Papers
Author Index—Volume 138 (2002)