An Overview of Nonmonotonic Reasoning and Logic Programming

An Overview of Nonmonotonic Reasoning and Logic Programming (1993)

Cached

Download Links

[ftp.cs.umd.edu]

Other Repositories/Bibliography

DBLP

by Jack Minker

Venue:	Journal of Logic Programming, Special Issue
Citations:	23 - 2 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	An Overview of Nonmonotonic Reasoning and Logic Programming	user correction - Legacy Corrections
AUTHOR NAME	Jack Minker	SVM HeaderParse 0.1
AUTHOR AFFIL	Department of Computer Science and; Institute for Advanced Computer Studies; University of Maryland	SVM HeaderParse 0.2
AUTHOR ADDR	College Park, Maryland 20742	SVM HeaderParse 0.1
ABSTRACT	The focus of this paper is nonmonotonic reasoning as it relates to logic programming. I discuss the pre-history of nonmonotonic reasoning starting from approximately 1958. I then review the research that has been accomplished in the areas of circumscription, default theory, modal theories and logic programming. The overview includes the major results developed including complexity results that are known about the various theories. I then provide a summary which includes an assessment of the field and what must be done to further research in nonmonotonic reasoning and logic programming. 1 Introduction Classical logic has played a major role in computer science. It has been an important tool both for the development of architecture and of software. Logicians have contended that reasoning, as performed by humans, is also amenable to analysis using classical logic. However, workers in the field of artificial 1 This paper is an updated version of an invited Banquet Address, First Interna...	user correction - Legacy Corrections
YEAR	1993	INFERENCE
VENUE	Journal of Logic Programming, Special Issue	INFERENCE
VENUE TYPE	JOURNAL	INFERENCE
PAGES	95--126	INFERENCE
VOLUME	17	INFERENCE
CITATIONS	213 found	ParsCit 1.0