Paper: The mathematics of nonmonotonic reasoning (at LICS 1989)
Authors: Lifschitz, V.Abstract
Summary form only given. Research on applications of logic to artificial intelligence has led to the invention of a few useful consequence relations that are not monotonic. They are needed for default reasoning formalization, reasoning about action, introspective reasoning, and negation by failure. The author defines nonmonotonic consequence relations and discusses their importance
BibTeX
@InProceedings{Lifschitz-Themathematicsofnon, author = {Lifschitz, V.}, title = {The mathematics of nonmonotonic reasoning}, booktitle = {Proceedings of the Fourth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1989}, year = 1989, editor = {Rohit Parikh}, month = {June}, pages = {242}, location = {Pacific Grove, CA, USA}, publisher = {IEEE Computer Society Press} }