Publisher Summary This chapter discusses Answer Set Prolog, which is a language for
knowledge representation and reasoning based on the answer set/stable model semantics …

Handbook of Knowledge Representation describes the essential foundations of Knowledge
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …

In this paper we reexamine the place and role of stable model semantics in logic
programming and contrast it with a least Herbrand model approach to Horn programs. We …

Answer Set Planning refers to the use of Answer Set Programming (ASP) to compute plans,
that is, solutions to planning problems, that transform a given state of the world to another …

Description logics (DLs) and rules are formalisms that emphasize different aspects of
knowledge representation: whereas DLs are focused on specifying and reasoning about …

In this paper, we address the issue of how Gelfond and Lifschitz's answer set semantics for
extended logic programs can be suitably modified to handle prioritized programs. In such …

Trust management (TM) is a promising approach for authorization and access control in
distributed systems, based on signed distributed policy statements expressed in a policy …

As applications of description logics proliferate, efficient reasoning with large ABoxes (sets
of individuals with descriptions) becomes ever more important. Motivated by the prospects of …

In this paper we give a short introduction to logic programming approach to knowledge
representation and reasoning. The intention is to help the reader to develop a 'feel'for the …

Abstract Description logics (DLs) are knowledge representation formalisms with well-
understood model-theoretic semantics and computational properties. The DL SHIQ (D) …