Introduction to the 1998 HICSS MiniTrack on Logic Modeling

/RJLF PRGHOLQJ LV PRGHOLQJ ZLWK ORJLF QRUPDOO\ IRUPDO ORJLF ,W LV WKH XVH RI EURDGO\ ORJLFDO PHWKRGV DQG ODQ JXDJHV WR UHSUHVHQW V\VWHPV RI LQWHUHVW )RU YHU\ PDQ\ DSSOLFDWLRQ DUHDV VRPH IRUP RI ORJLF LV WKH PRVW QDW XUDO DQG DSSURSULDWH WRRO IRU SHUVSLFXRXVO\ DQG HmHF WLYHO\ FDSWXULQJ WKH VWUXFWXUH RI D JLYHQ V\VWHP +,&66 KDV KDG DQ RQJRLQJ ORJLF PRGHOLQJ PLQLWUDFN IRU DERXW WHQ \HDUV 7KH PLQLWUDFN KDV SXEOLVKHG ORJLF PRGHO LQJ SDSHUV RQ D YHU\ ZLGH UDQJH RI WRSLFV XVLQJ PDQ\ GLmHUHQW YDULHWLHV RI IRUPDO ORJLF DQG ZULWWHQ E\ D GL YHUVH LQWHUQDWLRQDO JURXS RI VFKRODUV $SSOLFDWLRQ DU HDV WKDW KDYH EHHQ H[WHQVLYHO\ DGGUHVVHG E\ SDSHUV LQ WKH PLQLWUDFN LQFOXGH GHIHDVLEOH RU QRQPRQRWRQLF UHD VRQLQJ H[SHUW V\VWHPV VRIWZDUH HQJLQHHULQJ DQG HOHF WURQLF FRPPHUFH 6L[ SDSHUV DSSHDU LQ WKLV \HDU V PLQLWUDFN RQ ORJLF PRGHOLQJ FRQVLVWLQJ RI WZR VHVVLRQV RI WKUHH SDSHUV HDFK $V XVXDO WKHVH SDSHUV FRYHU D UDQJH RI LVVXHV DQG PHWKRGRORJLHV IURP WKH GHVFULSWLYH DQG HPSLULFDO WR WKH IRUPDO DQG PDWKHPDWLFDO $OVR ZH DUH DZDUH RI D QXPEHU RI SDSHUV LQ WKH )RUPDO $VSHFWV RI 'LJLWDO &RPPHUFH PLQLWUDFN WKDW KDYH VXEVWDQWLDO ORJLF PRG HOLQJ FRQWHQW DQG LQWHUHVW ,Q WKH nUVW VHVVLRQ WKH LQLWLDO SDSHU LV E\ <DR +XD 7DQ DQG :DOWHU 7KRHQ RI (85,',6 DW (UDVPXV 8QL YHUVLW\ 5RWWHUGDP DQG LV HQWLWOHG ?0RGHOLQJ 'LUHFWHG 2EOLJDWLRQV DQG 3HUPLVVLRQV LQ 7UDGH &RQWUDFWV 7KH SDSHU QRW RQO\ UHSUHVHQWV DQ DGYDQFH LQ WKH FXUUHQW WKHRU\ RI GHRQWLF ORJLF WKH ORJLF RI REOLJDWLRQ DQG SHU PLVVLRQ EXW LW LV FDUHIXOO\ WLHG WR DQG PRWLYDWHG E\ UHTXLUHPHQWV LQ HOHFWURQLF FRPPHUFH &OHDUO\ ZULWWHQ DQG DFFHVVLEOH WR WKH QRQ VSHFLDOLVW WKLV SDSHU WDNHV XV D VWHS IRUZDUG LQ WKH SURMHFW RI HOHFWURQLF FRPPHUFH WKH SURMHFW RI JUHDWO\ H[WHQGLQJ WKH UDQJH RI DXWRPD WLRQ LQ GRLQJ EXVLQHVV 7KLV SDSHU KDV EHHQ QRPLQDWHG IRU DQ DZDUG DW +,&66 DV WKH EHVW LQ WKLV \HDU V PLQL WUDFN 7KH VHFRQG SDSHU LQ WKH nUVW VHVVLRQ LV ?2Q (6d

[1]  Hermant K. Bhargava,et al.  A web-based decision support system for waste disposal and recycling , 1997 .

[2]  Hemant K. Bhargava,et al.  Automated detection of naming conflicts in schema integration: experiments with quiddities , 1992, Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences.

[3]  S. Sridhar,et al.  Design Issues in Configuring Servers on the World Wide Web , 1995 .

[4]  Hemant K. Bhargava,et al.  Designing a Distributed Information System for Collaborative Statistical Computing , 1996, EMISA.

[5]  Hemant K. Bhargava,et al.  What would Ajax have observed? Or, introducing imperfections in the belief systems of autonomous agents , 1993, [1993] Proceedings of the Twenty-sixth Hawaii International Conference on System Sciences.

[6]  Hemant K. Bhargava,et al.  Coming Soon to Your Favorite Library: Decision Support on Demand , 1996, D Lib Mag..

[7]  Hemant K. Bhargava,et al.  On integrating collaboration and decision analysis techniques , 1994 .

[8]  Hemant K. Bhargava,et al.  Editor's introduction to the special issue on logic modeling , 1994, Decis. Support Syst..

[9]  Hemant K. Bhargava,et al.  MMM: A Web-Based System for Sharing Statistical Computing Modules , 1997, IEEE Internet Comput..

[10]  Hemant K. Bhargava,et al.  On embedded languages for model management , 1990, Twenty-Third Annual Hawaii International Conference on System Sciences.

[11]  Hemant K. Bhargava,et al.  On the integration of data and mathematical modeling languages , 1992, Ann. Oper. Res..

[12]  Hemant K. Bhargava,et al.  Fleet Mix Planning in the U.S. Coast Guard: Issues and Challenges for DSS* , 1993 .

[13]  Hemant K. Bhargava,et al.  Analysis of an intermediary's strategies in electronic markets for decision technologies , 1999, ICIS.

[14]  Hemant K. Bhargava,et al.  Genetic storms: investigating the Gulf War Syndrome , 1997, Proceedings of the Thirtieth Hawaii International Conference on System Sciences.

[15]  A. Krishnan,et al.  Formalizing the semantics of ASCEND , 1994, 1994 Proceedings of the Twenty-Seventh Hawaii International Conference on System Sciences.

[16]  Hemant K. Bhargava,et al.  Decision support on demand: Emerging electronic markets for decision technologies , 1997, Decis. Support Syst..

[17]  Hemant K. Bhargava,et al.  On Parameterized Transaction Models for Agents in Electronic Markets for Decision Technologies , 1995 .

[18]  Hemant K. Bhargava,et al.  Unique Names Violations, a Problem for Model Integration or You Say Tomato, I Say Tomahto , 1991, INFORMS J. Comput..

[19]  Hemant K. Bhargava,et al.  Model management : An embedded languages approach , 1993, Decis. Support Syst..

[20]  Hemant K. Bhargava,et al.  Computer-aided model construction , 1993, Decis. Support Syst..

[21]  Hemant K. Bhargava,et al.  Simulating belief systems of autonomous agents , 1995, Decis. Support Syst..

[22]  Hemant K. Bhargava,et al.  On Formal Semantics and Analysis of Typed Modeling Languages: An Analysis of Ascend , 1998, INFORMS J. Comput..

[23]  Hemant K. Bhargava,et al.  Electronic Commerce in Decision Technologies: A Business Cycle Analysis , 1997, Int. J. Electron. Commer..

[24]  Hemant K. Bhargava.  Editor's introduction to the special issue on logic modelling , 1996, Decis. Support Syst..

[25]  Hemant K. Bhargava,et al.  The Coast Guard's KSS Project , 1990 .

[26]  Hemant K. Bhargava,et al.  Rejoinder - OR/MS, Electronic Commerce, and the Virtual INFORMS Community , 1998, INFORMS J. Comput..

[27]  Hemant K. Bhargava,et al.  Data Mining by Decomposition: Adaptive Search for Hypothesis Generation , 1999, INFORMS J. Comput..

[28]  Hemant K. Bhargava,et al.  Model management in electronic markets for decision technologies: a software agent approach , 1997, Proceedings of the Thirtieth Hawaii International Conference on System Sciences.

[29]  On Planning to Plan: Metaplanning Concepts in the Context of Management Science Modeling , 1998 .

[30]  Hemant K. Bhargava,et al.  On generating an integrated DSS from a mathematical model specification , 1996, Proceedings of HICSS-29: 29th Hawaii International Conference on System Sciences.

[31]  Hemant K. Bhargava,et al.  Pricing and Product Design: Intermediary Strategies in an Electronic Market , 2000, Int. J. Electron. Commer..

[32]  Hemant K. Bhargava.  Dimensional Analysis in Mathematical Modeling Systems: A Simple Numerical Method , 1993, INFORMS J. Comput..

[33]  Hemant K. Bhargava,et al.  A formal approach for model formulation in a model management system , 1990, Twenty-Third Annual Hawaii International Conference on System Sciences.

[34]  Hemant K. Bhargava,et al.  Reasoning with assumptions, defeasibly, in model formulation , 1992, Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences.