Title :
Introduction to the logic modeling minitrack
Author :
Bhargava, Hemant K.
Author_Institution :
Naval Postgraduate Sch., Monterey, CA, USA
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;
Conference_Titel :
System Sciences, 1993, Proceeding of the Twenty-Sixth Hawaii International Conference on
Conference_Location :
Wailea, HI
Print_ISBN :
0-8186-3230-5
DOI :
10.1109/HICSS.1993.284347
