Representing e-commerce rules via situated courteous logic programs in RuleML

Baral, 1994, Logic programming and knowledge representation, Journal of Logic Programming, 19, 73, 10.1016/0743-1066(94)90025-6 B.N. Grosof, Building commercial agents: an IBM Research perspective (Invited Talk), in: Proceedings of the Second International Conference and Exhibition on Practical Applications of Intelligent Agents and Multi-Agent Technology (PAAM97), April 1997; P.O. Box 137, Blackpool, Lancashire, FY2 9UN, UK. Available from <http://www.demon.co.uk./ar/PAAM97>. Practical Application Company Ltd., London, UK. Also available as IBM Research Report RC 20835 at World Wide Web http://www.research.ibm.com B.N. Grosof, Courteous logic programs: prioritized conflict handling for rules, Technical Report, IBM, T.J. Watson Research Center, http://www.research.ibm.com, search for Research Reports; P.O. Box 704, Yorktown Heights, NY 10598, December 1997. IBM Research Report RC 20836. This is an extended version of [4] B.N. Grosof, Prioritized conflict handling for logic programs, in: J. Maluszynski (Ed.), Logic Programming: Proceedings of the International Symposium (ILPS-97), MIT Press, Cambridge, MA, 1997, pp. 197–211. http://www.ida.liu.se/~ilps97. Held Port Jefferson, NY, USA, 12–17 October Extended version available as IBM Research Report RC 20836 at http://www.research.ibm.com B.N. Grosof, Compiling Prioritized Default Rules Into Ordinary Logic Programs, Technical Report, IBM, T.J. Watson Research Center, http://www.research.ibm.com, search for Research Reports; P.O. Box 704, Yorktown Heights, NY 10598, USA, May 1999. IBM Research Report RC 21472 B.N. Grosof, A Courteous Compiler from Generalized Courteous Logic Programs To Ordinary Logic Programs (Preliminary Report). Technical Report, IBM, T.J. Watson Research Center, http://www.research.ibm.com/people/g/grosof/papers.html; P.O. Box 704, Yorktown Heights, NY 10598. USA, July 1999. This is a supplementary follow on to IBM Research Report RC 21472. Revised version forthcoming as a MIT report; see author’s webpage. Included as part of documentation in the IBM CommonRules 1.0 alpha prototype Web release of July 30, 1999 at http://alphaworks.ibm.com B.N. Grosof, Representing e-business rules for the semantic Web: situated courteous logic programs in RuleML, in: J. Parsons, O. Sheng, (Eds.), Proceedings of the 11th Workshop on Information Technologies and Systems (WITS ’01), 2001. (http://www.busi.mun.ca/parsons/wits2001). Held December 15–16, 2001, New Orleans, LA, USA, in conjunction with the International Conference on Information Systems (ICIS ’01). Available at author’s website, along with extended report version of Dec. 2002 B.N. Grosof, M.D. Gandhe, T.W. Finin, SweetJess: Translating DamlRuleML to Jess, in: Proceedings of the International Workshop on Rule Markup Languages for Business Rules on the Semantic Web, 2002. (http://tmitwww.tm.tue.nl/staff/gwagner/RuleML-BR-SW.html). Held 14 June 2002, Sardinia (Italy) in conjunction with the First International Semantic Web Conference (ISWC-2002). Extended and updated Working Paper available at first author’s website. Prototype available via http://www.daml.umbc.edu/sweetjess B.N. Grosof, I. Horrocks, R. Volz, S. Decker, Description logic programs: combining logic programs with description logic, in: Proceedings of the 12th International Conference on the World Wide Web (WWW-2003), ACM Press, 2003. (http://www.www2003.org). Held May 20–23, 2003, Budapest, Hungary B.N. Grosof, Y. Labrou, An approach to using XML and a rule-based content language with an agent communication language, in: F. Dignum, M. Greaves, (Eds.), Issues in Agent Communication, Springer-Verlag, 2000. Slightly revised from version in: Proc. IJCAI-99 Workshop on Agent Communication Languages (ACL-99) (http://wwwis.win.tue.nl/acl99), available also as IBM Research Report RC 21491 (May 1999) B.N. Grosof, Y. Labrou, H.-Y. Chan, A declarative approach to business rules in contracts: courteous logic programs in XML, in: M.P. Wellman, (Ed.), Proceedings of the 1st ACM Conference on Electronic Commerce (EC-99), ACM Press, Held Denver, CO, 1999 B.N. Grosof, T.C. Poon. SweetDeal: Representing agent contracts with exceptions using XML rules, ontologies, and process descriptions. In: Proceedings of the 12th International Conference on the World Wide Web (WWW-2003). ACM Press, 2003. (http://www.www2003.org) Held May 20–23, 2003, Budapest, Hungary. Extended version submitted to journal is available at author’s website. Li, 2003, Delegation logic: a logic-based approach to distributed authorization, ACM Transactions on Information Systems Security (TISSEC), 6 Reeves, 2002, Automated negotiation from declarative contract descriptions. Computational Intelligence, 18, 482 Van Gelder, 1991, The well-founded semantics for general logic programs, Journal of ACM, 38, 620, 10.1145/116825.116838