• DocumentCode
    1804326
  • Title

    Introduction to the logic modeling minitrack

  • Author

    Bhargava, Hemant K.

  • Author_Institution
    Naval Postgraduate Sch., Monterey, CA, USA
  • fYear
    1993
  • fDate
    5-8 Jan 1993
  • Firstpage
    481
  • Lastpage
    482
  • Abstract
    Logic is the science of deduction. It is the study of arguments, of what makes certain arguments sound, compelling, worthless, or of intermediate value. Logic modeling is the use of logic as a problem-solving tool. It involves the development and application of formal and informal logics to solve problems of interest in a certain field. The paper reviews research areas most active in the logic modelling community
  • Keywords
    formal logic; arguments; deduction; formal logic; informal logics; logic modeling; problem-solving tool; research areas; Conference management; Electronic commerce; Formal languages; Logic; Management information systems; Message passing; Problem-solving; Protection; Solids; US Government;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    System Sciences, 1993, Proceeding of the Twenty-Sixth Hawaii International Conference on
  • Conference_Location
    Wailea, HI
  • Print_ISBN
    0-8186-3230-5
  • Type

    conf

  • DOI
    10.1109/HICSS.1993.284347
  • Filename
    284347