Bücher der Reihe Artificial Intelligence

Knowledge representation is perhaps the most central problem confronting artificial intelligence. The problem of knowledge representation breaks down into several subsidiary problems including what knowledge to represent in a particular application.

It also relates them to various modal logics studied in the philosophical logic litera ture, and provides a thorough treatment of their applications as foundations for logic programming semantics and for truth maintenance systems.

flexibel und tragfähig erwiesen; seiner ausführlichen Dar­ stellung ist folglich auch der größte Teil dieses Buches gewidmet.