A declarative approach to business rules in contracts

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A declarative approach to business rules in contracts: courteous logic programs in XML

Full text

Pdf (141 KB)

Source

Electronic Commerce archive
Proceedings of the 1st ACM conference on Electronic commerce table of contents

Denver, Colorado, United States

Pages: 68 - 77

Year of Publication: 1999

ISBN:1-58113-176-3

Authors

Benjamin N. Grosof	IBM T.J. Watson Research Center, P.O. Box 704, Yorktown Heights, NY
Yannis Labrou	Computer Science and Electrical Engineering and Department, University of Maryland, Baltimore County, Baltimore, MD
Hoi Y. Chan	IBM T.J. Watson Research Center, P.O. Box 704, Yorktown Heights, NY

Sponsor

SIGEcom: ACM Special Interest Group on Electronic Commerce

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 10, Downloads (12 Months): 59, Citation Count: 38

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/336992.337010 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Chitta Baral and Michael Gelfond. Logic programming and knowledge representation. Journal of Logic Programming, 19,20:73-148, 1994.
	2	Gerhard Brewka, Reasoning about priorities in default logic, Proceedings of the twelfth national conference on Artificial intelligence (vol. 2), p.940-945, October 1994, Seattle, Washington, United States
	3	W. F. Clocksin , C. S. Mellish, Programming in Prolog, Springer-Verlag New York, Inc., New York, NY, 1987
	4	Thomas Cooper, Rule-based programming under OPS5, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1988
	5	Asit Dan , Daniel M. Dias , Thao Nguyen , Marty Sachs , Hidayatullah Shaikh , Richard King , Sastry Duri, The Coyote Project: Framework for Multi-party E-Commerce, Proceedings of the Second European Conference on Research and Advanced Technology for Digital Libraries, p.873-889, September 21-23, 1998
	6	Georg Gottlob. Complexity results for nonmonotonic logics. Journal ef Legic and Computation, 2:397-425, 1992.
	7	Benjamin N. Grosof. Generalizing Prioritization. In Prec. 2nd Intl. Conf. on Principles of Knowledge Representation and Reasoning (KR-91), 1991.
	8	Benjamin Nathan Grosof, Updating and structure in non-monotonic theories, Stanford University, Stanford, CA, 1993
	9	Benjamin N. Grosof. Building Commercial Agents: An IBM Research Perspective (Invited Talk). In Prec. 2nd Intl. Conference and Exhibition on Practical Applications of Intelligent Agents and Multi-Agent Technology (PAAM97), P.O. Box 137, Blackpool, Lancashire, FY2 9UN, UK.
	10	Benjamin N. Grosof, Prioritized conflict handing for logic programs, Proceedings of the 1997 international symposium on Logic programming, p.197-211, November 1997, Port Washington, New York, United States
	11	Benjamin N. Grosof. Compiling Prioritized Default Rules Into Ordinary Logic Programs. IBM Research Report RC 21472.
	12	Benjamin 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, July 1999. Included in CommonRules documentation released July 30, 1999 at http://alphaworks.ibm.com . Revised version forthcoming as IBM Research Report.
	13	Benjamin N. Grosof, DIPLOMAT: compiling prioritized default rules into ordinary logic programs, for e-commerce applications, Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence, p.912-913, July 18-22, 1999, Orlando, Florida, United States
	14	Benjamin N. Grosof , Yannis Labrou, An Approach to Using XML and a Rule-Based Content Language with an Agent Communication Language, Issues in Agent Communication, p.96-117, January 2000
	15	Benjamin N. Grosof, David W. Levine, and Hoi Y. Chan. Flexible procedural attachments to situate reasoning systems. In U.S. Patent 5,778,150 (July 7, 1998), Washington, D.C., USA
	16	Benjamin N. Grosof, David W. Levine, Hoi Y. Chan, Colin P. Parris, and Joshua S. Auerbach. Reusable Architecture for Embedding Rule-Based Intelligence in Information Agents. In Prec. ACM Conf. on Information and Knowledge Management (CIKM-95) Workshop on Intelligent Information Agents, 1995.
	17	Ninghui Li , Joan Feigenbaum , Benjamin N. Grosof, A Logic-based Knowledge Representation for Authorization with Delegation, Proceedings of the 1999 IEEE Computer Security Foundations Workshop, p.162, June 28-30, 1999
	18	V. Lifschitz. Computing circumscription. In Proceedings Intl. Joint Conf. on AI (IJCAI-85), 1985.
	19	John McCarthy, Applications of circumscription to formalizing common-sense knowledge, Artificial Intelligence, v.28 n.1, p.89-116, Feb. 1986 [doi>10.1016/0004-3702(86)90032-9]
	20	N. H. Minsky , V. Ungureanu, A Mechanism for Establishing Policies for Electronic Commerce, Proceedings of the The 18th International Conference on Distributed Computing Systems, p.322, May 26-29, 1998
	21	Daniel M. Reeves, Benjamin N. Grosof, Michael Wellman, and Hoi Y. Chan. Toward a Declarative Language for Negotiating Executable Contracts. In Prec. AAAI-99 Workshop on Artificial Intelligence in Electronic Commerce (AIEC-99).
	22	Jeffrey D. Ullman , Jennifer Widom, A first course in database systems, Prentice-Hall, Inc., Upper Saddle River, NJ, 1997
	23	Allen Van Gelder , Kenneth A. Ross , John S. Schlipf, The well-founded semantics for general logic programs, Journal of the ACM (JACM), v.38 n.3, p.619-649, July 1991 [doi>10.1145/116825.116838]

CITED BY 38

	Bin Chen , George S. Avrunin , Elizabeth A. Henneman , Lori A. Clarke , Leon J. Osterweil , Philip L. Henneman, Analyzing medical processes, Proceedings of the 30th international conference on Software engineering, May 10-18, 2008, Leipzig, Germany
	Daniel M. Reeves , Michael P. Wellman , Benjamin N. Grosof, Automated negotiation from declarative contract descriptions, Proceedings of the fifth international conference on Autonomous agents, p.51-58, May 2001, Montreal, Quebec, Canada
	G. Antoniou , M. Arief, Executable declarative business rules and their use in electronic commerce, Proceedings of the 2002 ACM symposium on Applied computing, March 11-14, 2002, Madrid, Spain
	Victoria Ungureanu, An agreement centric access control mechanism for business to business e-commerce, Proceedings of the 2002 ACM symposium on Applied computing, March 11-14, 2002, Madrid, Spain
	Harold Boley, Cross-fertilizing logic programming and XML for knowledge representation, Knowledge media in healthcare: opportunities and challenges, Idea Group Publishing, Hershey, PA, 2002
	Grigoris Antoniou , David Billington , Guido Governatori , Michael J. Maher, Representation results for defeasible logic, ACM Transactions on Computational Logic (TOCL), v.2 n.2, p.255-287, April 2001
	Luís Brito , José Neves, Argument exchange in heterogeneous electronic commerce environments, Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1, July 15-19, 2002, Bologna, Italy
	P. Radha Krishna , K. Karlapalem , D. K. W. Chiu, An ER^EC framework for e-contract modeling, enactment and monitoring, Data & Knowledge Engineering, v.51 n.1, p.31-58, October 2004
	Jan Chomicki , Jorge Lobo , Shamim Naqvi, Conflict Resolution Using Logic Programming, IEEE Transactions on Knowledge and Data Engineering, v.15 n.1, p.244-249, January 2003
	Benjamin N. Grosof , Terrence C. Poon, SweetDeal: representing agent contracts with exceptions using XML rules, ontologies, and process descriptions, Proceedings of the 12th international conference on World Wide Web, May 20-24, 2003, Budapest, Hungary
	Michael McDougall , Rajeev Alur , Carl A. Gunter, A model-based approach to integrating security policies for embedded devices, Proceedings of the 4th ACM international conference on Embedded software, September 27-29, 2004, Pisa, Italy
	Dickson K. W. Chiu , Kamalakar Karlapalem , Qing Li , Eleanna Kafeza, Workflow View Based E-Contracts in a Cross-Organizational E-Services Environment, Distributed and Parallel Databases, v.12 n.2-3, p.193-216, September-November 2002
	Alan Abrahams , David Eyers , Jean Bacon, An asynchronous rule-based approach for business process automation using obligations, Proceedings of the 2002 ACM SIGPLAN workshop on Rule-based programming, p.93-103, October 05, 2002, Pittsburgh, Pennsylvania
	Dickson K. W. Chiu , S. C. Cheung , Sven Till , Kamalakar Karlapalem , Qing Li , Eleanna Kafeza, Workflow View Driven Cross-Organizational Interoperability in a Web Service Environment, Information Technology and Management, v.5 n.3-4, p.221-250, July-October 2004
	Chulsoon Park , Injun Choi, Management of business process constraints using BPTrigger, Computers in Industry, v.55 n.1, p.29-51, September 2004
	Benjamin Johnston , Guido Governatori, Induction of defeasible logic theories in the legal domain, Proceedings of the 9th international conference on Artificial intelligence and law, June 24-28, 2003, Scotland, United Kingdom
	Chidanand Apte , Leora Morgenstern , Se June Hong, AI at IBM Research, IEEE Intelligent Systems, v.15 n.6, p.51-57, November 2000
	Vilas Wuwongse , Chutiporn Anutariya , Kiyoshi Akama , Ekawit Nantajeewarawat, XML Declarative Description: A Language for the Semantic Web, IEEE Intelligent Systems, v.16 n.3, p.54-65, May 2001
	Ashok U. Mallya , Michael N. Huhns, Commitments Among Agents, IEEE Internet Computing, v.7 n.4, p.90-93, July 2003
	Daniel A. Menascé, A Reference Model for Designing an E-Commerce Curriculum, IEEE Concurrency, v.8 n.1, p.82-85, January 2000
	Ray Tsaih , Yu-Jane Liu , Wenching Liu , Yu-Ling Lien, Credit scoring system for small business loans, Decision Support Systems, v.38 n.1, p.91-99, October 2004
	Dickson K. W. Chiu , S. C. Cheung , Patrick C. K. Hung , Sherina Y. Y. Chiu , Andriy K. K. Chung, Developing e-Negotiation support with a meta-modeling approach in a web services environment, Decision Support Systems, v.40 n.1, p.51-69, July 2005
	Victoria Ungureanu, Using certified policies to regulate E-commerce transactions, ACM Transactions on Internet Technology (TOIT), v.5 n.1, p.129-153, February 2005
	P. Radha Krishna , Kamalakar Karlapalem , A. R. Dani, From Contracts to E-Contracts: Modeling and Enactment, Information Technology and Management, v.6 n.4, p.363-387, October 2005
	Maja D'Hondt , Kris Gybels , Viviane Jonckers, Seamless integration of rule-based knowledge and object-oriented functionality with linguistic symbiosis, Proceedings of the 2004 ACM symposium on Applied computing, March 14-17, 2004, Nicosia, Cyprus
	Adam J. Lee , Jodie P. Boyer , Lars E. Olson , Carl A. Gunter, Defeasible security policy composition for web services, Proceedings of the fourth ACM workshop on Formal methods in security, p.45-54, November 03-03, 2006, Alexandria, Virginia, USA
	Grigoris Antoniou , David Billington , Guido Governatori , Michael J. Maher, Embedding defeasible logic into logic programming, Theory and Practice of Logic Programming, v.6 n.6, p.703-735, November 2006
	Anastasia Analyti , Ioannis Pachoulakis, Logic Programming Representation of the Compound Term Composition Algebra, Fundamenta Informaticae, v.73 n.3, p.321-360, August 2006
	Heiko Ludwig , Alexander Keller , Asit Dan , Richard King , Richard Franck, A Service Level Agreement Language for Dynamic Electronic Services, Electronic Commerce Research, v.3 n.1-2, p.43-59, January-April 2003
	Alexander Babanov , John Collins , Maria Gini, Asking the right question: Risk and expectation in multiagent contracting, Artificial Intelligence for Engineering Design, Analysis and Manufacturing, v.17 n.3, p.173-186, June 2003
	Grigoris Antoniou , Nikos Dimaresis , Guido Governatori, A system for modal and deontic defeasible reasoning, Proceedings of the 2008 ACM symposium on Applied computing, March 16-20, 2008, Fortaleza, Ceara, Brazil
	Benjamin N. Grosof , Terrence C. Poon, SweetDeal: Representing Agent Contracts with Exceptions Using Semantic Web Rules, Ontologies, and Process Descriptions, International Journal of Electronic Commerce, v.8 n.4, p.61-97, Number 4/Summer 2004
	María Agustina Cibrán , Maja D'Hondt , Davy Suvée , Wim Vanderperren , Viviane Jonckers, Linking business rules to object-oriented software using JAsCo, Journal of Computational Methods in Sciences and Engineering, v.5 n.1 Supplement, p.13-25, January 2005
	Marco Alberti , Federico Chesani , Marco Gavanelli , Evelina Lamma , Paola Mello , Marco Montali , Paolo Torroni, Expressing and Verifying Business Contracts with Abductive Logic Programming, International Journal of Electronic Commerce, v.12 n.4, p.9-38, Number 4 / Summer 2008
	Grigoris Antoniou , Nikos Dimaresis , Guido Governatori, A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems, Expert Systems with Applications: An International Journal, v.36 n.2, p.4125-4134, March, 2009
	Adrian Paschke , Martin Bichler, Knowledge representation concepts for automated SLA management, Decision Support Systems, v.46 n.1, p.187-205, December, 2008
	David Evans , David M. Eyers, Deontic logic for modelling data flow and use compliance, Proceedings of the 6th international workshop on Middleware for pervasive and ad-hoc computing, p.19-24, December 01-05, 2008, Leuven, Belgium
	Peter Rittgen, A Contract-Based Architecture for Business Networks, International Journal of Electronic Commerce, v.12 n.4, p.115-146, Number 4 / Summer 2008