A Declarative Approach to Business Rules in Contracts: Courteous Logic Programs in XML
Preprint
- 1 January 2001
- preprint
- Published by Elsevier in SSRN Electronic Journal
Abstract
We address why, and especially how, to represent business rules in e-commerce contracts. By contracts, we mean descriptions of goods and services offered or souKeywords
This publication has 6 references indexed in Scilit:
- Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13Published by Institute of Electrical and Electronics Engineers (IEEE) ,2000
- Prioritized Conflict Handling for Logic ProgramsPublished by MIT Press ,1997
- Logic programming and knowledge representationThe Journal of Logic Programming, 1994
- Complexity Results for Nonmonotonic LogicsJournal of Logic and Computation, 1992
- The well-founded semantics for general logic programsJournal of the ACM, 1991
- Applications of circumscription to formalizing common-sense knowledgeArtificial Intelligence, 1986