• DocumentCode
    274998
  • Title

    The use of abstraction in automatic inference

  • Author

    Giunchiglia, F. ; Walsh, T.

  • fYear
    1990
  • fDate
    19-22 Mar 1990
  • Firstpage
    365
  • Lastpage
    370
  • Abstract
    Informally, abstraction can be described as the process of mapping a representation of a problem onto a new representation. Unfortunately, work on abstraction has on the whole remained at this informal level. The paper describes the beginnings of a theory of abstraction
  • fLanguage
    English
  • Publisher
    iet
  • Conference_Titel
    UK IT 1990 Conference
  • Conference_Location
    Southampton
  • Type

    conf

  • Filename
    114314
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=274998