Download Formal Modelling in Electronic Commerce (International by Steven O. Kimbrough (Editor), Dongjun Wu (Editor) PDF

By Steven O. Kimbrough (Editor), Dongjun Wu (Editor)

Advances in automation for digital trade require enhanced realizing and formalization of the gadgets, methods, and guidelines of trade itself. those contain company items resembling debts of lading and contracts; techniques similar to workflows and exchange strategies; and rules protecting such difficulties as agreement or strategy validation and strategic behaviour. This ebook is ready conception, formalization, and proof-of-concept implementation of those and comparable concerns. as well as providing cutting-edge effects, the e-book locations this paintings within the context of approximately two decades of advancements in formal modelling for digital trade. A accomplished bibliography and index are supplied.

Show description

Read Online or Download Formal Modelling in Electronic Commerce (International Handbooks on Information Systems) PDF

Best electronics books

Digital Electronics. Principles, Devices and Applications [messy]

The basics and implementation of electronic electronics are necessary to knowing the layout and dealing of consumer/industrial electronics, communications, embedded structures, desktops, safety and army gear. units utilized in functions comparable to those are regularly lowering in dimension and utilizing extra advanced know-how.

Extra info for Formal Modelling in Electronic Commerce (International Handbooks on Information Systems)

Sample text

16. “EVID: A System for Interactive Defeasible Reasoning” by Robert L. Causey [Cau94]. 17. “Defeasible Reasoning in Law” by Sandra D. Dewitz, Young Ryu, and Ronald M. Lee [DRL94]. 18. “Ordered Logic: Defeasible Reasoning for Multiple Agents” by P. Geerts, D. Vermeir, and D. Nute [GVN94]. 19. “Bayesian Logic” by K. A. Andersen and J. N. Hooker [AH94]. 20. “A Relational Algebra for Propositional Logic” by Robert W. Blanning [Bla94]. 21. “Text Editing and Beyond: A Study in Logic modelling” by Michael Bieber and Thom´ as Isakowitz [BI94].

Unlike Standard Deontic Logic, which presumes that being-obliged to do that which is prohibited is a logical contradiction (obligation and prohibition are treated as operators), we assume that prohibitions and obligations are independent entities (variables that are quantified over), and conflicting norms can exist. An agent may find itself violating a prohibition in order to fulfil an obligation, or vice versa. Entirely avoiding such conflicts is not our intention since we believe, in a world of multiple norm-givers, conflicts and consequent trade-offs are inevitable.

D. thesis, University of Texas at Austin, Austin, TX, 1992. Balaji Padmanabhan and Alexander Tuzhilin, Knowledge refinement based on the discovery of unexpected patterns in data mining, Decision Support Systems 33 (2002), no. 3, 309–321. 28 [Roe92] Steven O. J. Wu Stephen F. D. thesis, University of Pennsylvania, Philadelphia, PA, 1992, Available as a technical report from the Department of Operations and Information Management. [Ryu92] Young U. D. thesis, University of Texas at Austin, Austin, TX, 1992.

Download PDF sample

Rated 5.00 of 5 – based on 31 votes