Nonmonotonic Logic : Context-Dependent Reasoning /

This monograph provides a thorough analysis of two important formalisms for nonmonotonic reasoning: default logic and modal nonmonotonic logics. It is also shown how they are related to each other and how they provide the formal foundations for logic programming. The discussion is rigorous, and all...

Full description

Bibliographic Details

Main Author:	Marek, V. Wiktor
Corporate Author:	SpringerLink (Online service)
Other Authors:	Truszczyński, Mirosław
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 1993.
Series:	Artificial Intelligence.
Subjects:	Computer science. Artificial intelligence. Logic, Symbolic and mathematical. Electronic books.
Online Access:	Connect to the full text of this electronic book