Knowledge in Action. Logical Foundations for Specifying and Implementing Dynamical Systems. Reiter, R. MIT Press, 2001.
Knowledge in Action. Logical Foundations for Specifying and Implementing Dynamical Systems [link]Paper  bibtex   
@Book{Reiter01-Book,
  Title                    = {Knowledge in Action. {L}ogical Foundations for
 Specifying and Implementing Dynamical Systems},
  Author                   = {Reiter, Raymond},
  Publisher                = {MIT Press},
  Year                     = {2001},

  Key                      = {CogRobo},
  Timestamp                = {2018.09.23},
  Url                      = {http://www.cs.toronto.edu/cogrobo/kia/index.html}
}

Downloads: 0