Prolog programming for artificial intelligence
Prolog programming for artificial intelligence
The art of Prolog: advanced programming techniques
The art of Prolog: advanced programming techniques
Logical foundations of artificial intelligence
Logical foundations of artificial intelligence
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
A logic model for electronic contracting
Decision Support Systems
International contracting: a formal language approach
Proceedings of the Twenty-First Annual Hawaii International Conference on Applications Track
EDI: the competitive edge
The CDP: A unifying formulation for heuristic search, dynamic programming, and branch-and-bound
Search in Artificial Intelligence
EVID: a system for interactive defeasible reasoning
Decision Support Systems - Special issue on logic modeling
ACM Computing Surveys (CSUR)
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Handbook of AI
Introduction to Logic Programming
Introduction to Logic Programming
A domain-independent system that aids in constructing knowledge-based consultation programs
A domain-independent system that aids in constructing knowledge-based consultation programs
On Lean Messaging with Unfolding and Unwrapping for Electronic Commerce
International Journal of Electronic Commerce
Hi-index | 0.00 |
Social norms have a pervasive effect on our lives, affecting how and what we eat, how we dress, where and how we travel, our recreation, the way we work, and our participation in the society at large. Other social norms make constraints on the behavior of commercial companies and other institutions, affecting the way they do business, their treatment of employees, their treatment of the environment, and so on. Associeties grow and become more diverse, the system of norms becomes correspondingly complex. This paper attempts to bring computational assistance to bear in managing and interacting with these normative systems. A prototype expert system is described that utilizes deontic rules for reasoning about normative constraints in organizations and other social systems. Applications to bureaucracies and electronic contracting systems are discussed. DX can be used to model regulations and policies in organizations, such as library regulations of universities, resource access policies, and the like. Also, regulatory aspects in interorganizational systems (e.g., EDI) can be effectively modeled and managed by DX. Automated regulation and policy reasoning help manage normative rules and reduce complexity in their applications.