Executable declarative business rules and their use in electronic commerce

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2002, Pages 6-10

  Antoniou, G ^a   Arief, M ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; DATA MINING; DATABASE SYSTEMS; ELECTRONIC COMMERCE; FORMAL LOGIC; INTELLIGENT AGENTS; KNOWLEDGE REPRESENTATION; NATURAL LANGUAGE PROCESSING SYSTEMS; SEMANTICS; SOFTWARE AGENTS; WEBSITES;

BUSINESS RULES; DEFEASIBLE LOGIC; DEFEASIBLE REASONING; NONMONOTONIC REASONING; PREDICATE LOGIC;

KNOWLEDGE BASED SYSTEMS;

EID: 0036038511     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/508792.508794     Document Type: Conference Paper

References (16)

1. Modelling business rules using defeasible logic
2. A declarative approach to business rules in contracts: Courteous logic program in xml
3. Logic programming and knowledge representation
4. Normal forms for defeasible logic
5. On the analysis of regulations using defeasible rules
6. Prioritized conflict handling for logic programs
7. An expert system using nonmonotonic techniques for benefits inquiry in the insurance industry
8. Defeasible reasoning
9. The British nationality act as a logic program
10. A mathematical treatment of defeasible reasoning and its implementation
11. Analyzing rule sets for the calculation of banking fees by a theorem prover with constraints