Logical and Computational Aspects of Model-Based Reasoning edited by L. Magnani, N.J. Nersessian, Claudio Pizzi.
Information technology has been, in recent years, under increasing commercial pressure to provide devices and systems which help/ replace the human in his daily activity. This pressure requires the use of logic as the underlying foundational workhorse of the area. New logics were developed as the ne...
Full description
Saved in: