A declarative approach to business rules in contracts: courteous logic programs in XML.
Benjamin N. GrosofYannis LabrouHoi Y. ChanPublished in: EC (1999)
Keyphrases
- logic programs
- business rules
- abductive logic programming
- logic programming
- rule engine
- declarative semantics
- xml documents
- business process
- answer sets
- information systems
- stable models
- answer set programming
- xml data
- fixpoint
- reverse engineering
- business processes
- fine grained
- markup language
- production rules
- data integration
- defeasible logic
- data model
- normal logic programs
- metadata
- partial deduction
- database
- xml schema
- strong equivalence
- data quality
- data exchange
- relational databases
- databases
- computational properties
- stable model semantics
- declarative programming
- object oriented
- knowledge representation
- sql queries
- object oriented databases
- production system
- autoepistemic logic
- web services
- artificial intelligence
- machine learning
- data mining