• DocumentCode
    3317994
  • Title

    Relational Reasoning in Formal Concept Analysis

  • Author

    Golinska-Pilarek, Joanna ; Orlowska, Ewa

  • Author_Institution
    Nat. Inst. of Telecommun., Warsaw
  • fYear
    2007
  • fDate
    23-26 July 2007
  • Firstpage
    1
  • Lastpage
    6
  • Abstract
    We show that a logical formalism of binary relations can serve as a tool for specification and verification of a variety of tasks in the formal concept analysis.
  • Keywords
    algebraic specification; relational algebra; binary relations; formal concept analysis; relational reasoning; task specification; task verification; Algebra; Cost accounting; Data structures; Information systems; Logic functions; Relational databases; Terminology;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Fuzzy Systems Conference, 2007. FUZZ-IEEE 2007. IEEE International
  • Conference_Location
    London
  • ISSN
    1098-7584
  • Print_ISBN
    1-4244-1209-9
  • Electronic_ISBN
    1098-7584
  • Type

    conf

  • DOI
    10.1109/FUZZY.2007.4295512
  • Filename
    4295512
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3317994