Invited Paper: The mathematics of nonmonotonic reasoning (at LICS 1989)

Authors: Vladimir Lifschitz

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 = 	 {Vladimir Lifschitz},
    title = 	 {The mathematics of nonmonotonic reasoning},
    booktitle =  {Proceedings of the Fourth Annual IEEE Symposium on Logic in Computer Science (LICS 1989)},
    year =	 {1989},
    month =	 {June}, 
    pages =      {242},
    location =   {Pacific Grove, CA, USA}, 
    note =       {Invited Talk},
    publisher =	 {IEEE Computer Society Press}
  }