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:
Online Access:Connect to the full text of this electronic book
Search Result 1
by Marek, Wiktor
Published 1993
Book