Fourth Annual IEEE Symposium on

Logic in Computer Science (LICS 1989)

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

Authors: Lifschitz, V.


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


    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}