Logic in Computer Science (LICS 1993)

Invited Talk: Imperfect information flow (at LICS 1993)

Authors: Jon Barwise Jerry Seligman

Abstract

The view that computers are information processors is commonplace. They are used, for the most part successfully, throughout our society, as reliable links in the transmission of information and knowledge. Yet the formulation of a precise, qualitative conception of information and a theory of the transmission of information has proved elusive, despite the many other successes of computer science. The authors set out the motivation for and a skeleton of a new mathematical model of information flow, one that is compatible with less than perfect flow

BibTeX

  @InProceedings{BarwiseSeligman-Imperfectinformatio,
    author = 	 {Jon Barwise and Jerry Seligman},
    title = 	 {Imperfect information flow},
    booktitle =  {Proceedings of the Eighth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1993},
    year =	 1993,
    editor =	 {Moshe Vardi},
    month =	 {June}, 
    pages =      {252--260},
    location =   {Montreal, Canada}, 
    note =       {Invited Talk},
    publisher =	 {IEEE Computer Society Press}
  }