A declarative approach to business rules in contracts: courteous logic programs in XML
Proceedings of the 1st ACM conference on Electronic commerce
A knowledge-based methodology for designing robust multi-agent systems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Nonmonotonic Rule Systems on Top of Ontology Layers
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
CTR-S: a logic for specifying contracts in semantic web services
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
Compositional knowledge management for medical services on semantic web
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
Efficient and flexible access control via logic program specialisation
Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
KAoS Policy Management for Semantic Web Services
IEEE Intelligent Systems
Protocols for processes: programming in the large for open systems
ACM SIGPLAN Notices
Dealing with contract violations: formalism and domain specific language
EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
A policy framework for trading configurable goods and services in open electronic markets
ICEC '06 Proceedings of the 8th international conference on Electronic commerce: The new e-commerce: innovations for conquering current barriers, obstacles and limitations to conducting successful business on the internet
Specifying and resolving preferences among agent interaction patterns
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Embedding defeasible logic into logic programming
Theory and Practice of Logic Programming
DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web
IEEE Transactions on Knowledge and Data Engineering
An algebra for commitment protocols
Autonomous Agents and Multi-Agent Systems
Preference-based selection of highly configurable web services
Proceedings of the 16th international conference on World Wide Web
From trading to eCommunity management: Responding to social and contractual challenges
Information Systems Frontiers
Semantic Web approach to smart link generation for Web navigations
Software—Practice & Experience
DR-NEGOTIATE - A system for automated agent negotiation with defeasible logic-based strategies
Data & Knowledge Engineering
International Journal of Electronic Commerce
Legal ontology of sales law application to ecommerce
Artificial Intelligence and Law - Legal knowledge extraction and searching & legal ontology applications
Efficient and flexible access control via Jones-optimal logic program specialisation
Higher-Order and Symbolic Computation
A methodology and toolkit for deploying contract documents as e-contracts
ER '07 Tutorials, posters, panels and industrial contributions at the 26th international conference on Conceptual modeling - Volume 83
Efficient profile aggregation and policy evaluation in a middleware for adaptive mobile applications
Pervasive and Mobile Computing
Semantic specification and evaluation of bids in web-based markets
Electronic Commerce Research and Applications
Introducing Preferences into Commitment Protocols
Agent Communication II
Web Service Contracting: Specification and Reasoning with SCIFF
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
SXRS: An XLink-based Recommender System using Semantic Web technologies
Expert Systems with Applications: An International Journal
Web Semantics: Science, Services and Agents on the World Wide Web
Contracts Violation: Justification via Argumentation
Computational Logic in Multi-Agent Systems
A multi-level model for activity commitments in e-contracts
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
A framework towards enhancing trust and authorisation for e-commerce service
International Journal of Internet Technology and Secured Transactions
Transformation of SBVR compliant business rules to executable FCL rules
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
A contract agreement policy-based workflow methodology for agents interacting in the semantic web
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
State-of-the-art in modeling and deployment of electronic contracts
CoMoGIS'06 Proceedings of the 2006 international conference on Advances in Conceptual Modeling: theory and practice
Enabling business process interoperability using contract workflow models
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
A semantic approach for designing commitment protocols
AC'04 Proceedings of the 2004 international conference on Agent Communication
Nonmonotonic ontological and rule-based reasoning with extended conceptual logic programs
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
A semantic approach for designing e-business protocols
SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition
Correctness properties for multiagent systems
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
A semantic web based architecture for e-contracts in defeasible logic
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
A semantic policy sharing and adaptation infrastructure for pervasive communities
Proceedings of the 21st international conference companion on World Wide Web
Extensible access control markup language integrated with Semantic Web technologies
Information Sciences: an International Journal
Hi-index | 0.00 |
SweetDeal is a rule-based approach to representation of business contracts that enables software agents to create, evaluate, negotiate, and execute contracts with substantial automation and modularity. It builds upon the situated courteous logic programs knowledge representation in RuleML, the emerging standard for Semantic Web XML rules. Here, we newly extend the SweetDeal approach by also incorporating process knowledge descriptions whose ontologies are represented in DAML+OIL (emerging standard for Semantic Web ontologies) thereby enabling more complex contracts with behavioral provisions, especially for handling exception conditions (e.g., late delivery or non-payment) that might arise during the execution of the contract. This provides a foundation for representing and automating deals about services -- in particular, about Web Services, so as to help search, select, and compose them. Our system is also the first to combine emerging Semantic Web standards for knowledge representation of rules (RuleML) with ontologies (DAML+OIL) for a practical e-business application domain, and further to do so with process knowledge. This also newly fleshes out the evolving concept of Semantic Web Services. A prototype (soon public) is running.