Ronald M. Lee

Elizabeth Dominguez Campillo

Gregory Diaz

Proceedings of the Twenty-Fifth International Florida Artificial Intelligence Research Society Conference, 2012

2011

How Do People Resolve Dilemmas? Eliciting Subjective Decision Factors.

[BibT_eX]

[DOI]

Proceedings of the 44th Hawaii International International Conference on Systems Science (HICSS-44 2011), 2011

2009

Engaging Group E-Learning in Virtual Worlds.

[BibT_eX]

[DOI]

Katherine G. Franceschi

Stelios H. Zanakis

J. Manag. Inf. Syst., 2009

Communication Network Characteristics of Open Source Communities.

[BibT_eX]

[DOI]

Int. J. Open Source Softw. Process., 2009

2008

Securing Uniqueness of Rights e-Documents: A Deontic Process Perspective.

[BibT_eX]

[DOI]

Vu Nguyen

Anastasia Pagnoni

J. Theor. Appl. Electron. Commer. Res., 2008

Social Network Structure as a Critical Success Condition for Virtual Communities.

[BibT_eX]

[DOI]

Proceedings of the 41st Hawaii International International Conference on Systems Science (HICSS-41 2008), 2008

Engaging E-Learning in Virtual Worlds: Supporting Group Collaboration.

[BibT_eX]

[DOI]

Katherine G. Franceschi

Proceedings of the 41st Hawaii International International Conference on Systems Science (HICSS-41 2008), 2008

2003

e-Heritage in the Globalizing Society: Enabling Cross-Cultural Engagement Through ICT.

[BibT_eX]

[DOI]

Frank M. Go

Antonio P. Russo

J. Inf. Technol. Tour., 2003

ICT Support for Evolving Harmonization of International Alliances.

[BibT_eX]

[DOI]

Elizabeth Dominguez Campillo

Proceedings of the Digital Communities in a Networked Society: eCommerce, 2003

2002

Automated generation of electronic procedures: procedure constraint grammars.

[BibT_eX]

[DOI]

Decis. Support Syst., 2002

2001

Pattern-Directed Auditing of Inter-Organisational Trade Procedures.

[BibT_eX]

[DOI]

René W. Wagenaar

Proceedings of the Towards The E-Society: E-Commerce, 2001

2000

A Formal Analysis of Auditing Principles for Electronic Trade Procedures.

[BibT_eX]

[DOI]

Int. J. Electron. Commer., 2000

Documentary Petri Nets: A Modeling Representation for Electronic Trade Procedures.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management, Models, Techniques, and Empirical Studies, 2000

1999

Computer-aided auditing of inter-organizational trade procedures.

[BibT_eX]

[DOI]

René W. Wagenaar

Intell. Syst. Account. Finance Manag., 1999

Formal Aspects of Digital Commerce - Introduction.

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999

A Formal Specification of Automated Auditing of Trustworthy Trade Procedures for Open Electronic Commerce.

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999

1998

Electronic Call Market for Commodity Transactions: Design of Computer-Mediated Order Matching System.

[BibT_eX]

[DOI]

J. Organ. Comput. Electron. Commer., 1998

Distributed Electronic Trade Scenarios: Representation, Design, Prototyping.

[BibT_eX]

[DOI]

Int. J. Electron. Commer., 1998

Introduction to the Special Issue: Formal Aspects of Digital Commerce.

[BibT_eX]

[DOI]

Int. J. Electron. Commer., 1998

Designing Trustworthy Interorganizational Trade Procedures for Open Electronic Commerce.

[BibT_eX]

[DOI]

René W. Wagenaar

Int. J. Electron. Commer., 1998

Towards Open Electronic Contracting.

[BibT_eX]

[DOI]

Electron. Mark., 1998

INTERPROCS: A Java-Based Prototyping Environment for Distributed Electronic Trade Procedures.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

Introduction to the 1998 HICSS MiniTrack on Formal Aspects of Digital Commerce.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

1997

Formal Aspects of Electronic Commerce: Research Issues and Challenges.

[BibT_eX]

[DOI]

Int. J. Electron. Commer., 1997

Special Issue: Systems for Computer-Mediated Digital Commerce.

[BibT_eX]

[DOI]

Int. J. Electron. Commer., 1997

A hybrid approach of linear programming and logic modeling for the market core of sealed bid auctions.

[BibT_eX]

[DOI]

Ann. Oper. Res., 1997

A Messenger Model for Navigating Among Bureaucratic Requirements.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

1996

Soft-Coded Trade Procedures for Open-EDI.

[BibT_eX]

[DOI]

Int. J. Electron. Commer., 1996

Pharmatica: Supporting the Complex Pharmaceutical Information Needs in the Changing Healthcare Sector.

[BibT_eX]

[DOI]

Electron. Mark., 1996

A decision support system for bureaucratic policy administration: An abductive logic programming approach.

[BibT_eX]

[DOI]

KayLiang Ong

Decis. Support Syst., 1996

Constraint logic programming for qualitative and quantitative constraint satisfaction problems.

[BibT_eX]

[DOI]

Gang Yu

Decis. Support Syst., 1996

On Formal Aspects of Electronic (or Digital) Commerce: Examples of Research Issues and Challenges.

[BibT_eX]

[DOI]

Proceedings of the 29th Annual Hawaii International Conference on System Sciences (HICSS-29), 1996

1995

DX: A Deontic Expert System.

[BibT_eX]

[DOI]

Young U. Ryu

J. Manag. Inf. Syst., 1995

InterShop: Enhancing the Vendor/Customer Dialectic in Electronic Shopping.

[BibT_eX]

[DOI]

James B. Baty II

J. Manag. Inf. Syst., 1995

Modelling Interorganizational Trade Procedures Using Documentary Petri Nets.

[BibT_eX]

[DOI]

Electron. Mark., 1995

Defeasible deontic reasoning and its applications to normative systems.

[BibT_eX]

[DOI]

Young U. Ryu

Decis. Support Syst., 1995

Intershop: A Distribued Architecture or Electronic Shopping.

[BibT_eX]

[DOI]

James B. Baty II

Proceedings of the Sixteenth International Conference on Information Systems, 1995

Modelling inter-organizational trade using Documentary Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual Hawaii International Conference on System Sciences (HICSS-28), 1995

1994

Defeasible reasoning in law.

[BibT_eX]

[DOI]

Sandra K. Dewitz

Young Ryu

Decis. Support Syst., 1994

1993

Intelligent Electronic Trading for Commodity Exchanges.

[BibT_eX]

[DOI]

Electron. Mark., 1993

Direct manipulation of graph-based decision models.

[BibT_eX]

[DOI]

Decis. Support Syst., 1993

1990

Finding International Contracting Opportunities: AI Extensions to EDI.

[BibT_eX]

[DOI]

Sarah Donaldson Dewitz

Proceedings of the 11th International Conference on Information Systems, 1990

1989

Legal procedures as formal conversations: contracting on a performative network.

[BibT_eX]

[DOI]

Sandra K. Dewitz

Proceedings of the 10th International Conference on Information Systems, 1989

1988

Bureaucracies as Deontic Systems.

[BibT_eX]

[DOI]

ACM Trans. Inf. Syst., 1988

A logic model for electronic contracting.

[BibT_eX]

[DOI]

Decis. Support Syst., 1988

Logic modeling: A tool for management science.

[BibT_eX]

[DOI]

Decis. Support Syst., 1988

Introduction.

[BibT_eX]

[DOI]

Decis. Support Syst., 1988

1986

Shopping in the Electronic Marketplace.

[BibT_eX]

[DOI]

George R. Widmeyer

J. Manag. Inf. Syst., 1986

A logic programming framework for planning and simulation.

[BibT_eX]

[DOI]

Louis W. Miller

Decis. Support Syst., 1986

Guest editors' introduction.

[BibT_eX]

[DOI]

Joyce J. Elam

Decis. Support Syst., 1986

On Illocutionary Logic as a Telecommunications Language.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Information Systems, 1986

Logic, Semantics and Data Modeling: An Ontology.

[BibT_eX]

Proceedings of the IFIP WG 2.6 Working Conference on Data Semantics, 1986

1985

Ontological aspects of logical databases.

[BibT_eX]

[DOI]

Ronald K. Stamper

Inf. Syst., 1985

Temporal inferencing on administrative databases.

[BibT_eX]

[DOI]

Helder Coelho

Jose Carlos Cotta

Inf. Syst., 1985

Database inferencing for decision support.

[BibT_eX]

[DOI]

Decis. Support Syst., 1985

A denotational Semantics for Administrative Databases.

[BibT_eX]

Proceedings of the IFIP WG 2.6 Working Conference on Data Semantics (DS-1). Hasselt, 1985

1984

Information System Semantics (A Logic-Based Approach).

[BibT_eX]

[DOI]

J. Manag. Inf. Syst., 1984

Performative, Informative and Emotive Systems The First Piece of the PIE.

[BibT_eX]

[DOI]

David Ness

Proceedings of the 5th International Conference on Information Systems, 1984

1983

Applications software and orgnizational change: Issues in the representation of knowledge.

[BibT_eX]

[DOI]

Inf. Syst., 1983

1978

Conversational Aspects of Database Interactions.

[BibT_eX]