Description logic programs: Combining logic programs with description logic
We show how to interoperate, semantically and inferentially, between the leading Semantic
Web approaches to rules (RuleML Logic Programs) and ontologies (OWL/DAML+ OIL …
Web approaches to rules (RuleML Logic Programs) and ontologies (OWL/DAML+ OIL …
SweetDeal: representing agent contracts with exceptions using XML rules, ontologies, and process descriptions
BN Grosof, TC Poon - Proceedings of the 12th international conference …, 2003 - dl.acm.org
SweetDeal is a rule-based approach to representation of business contracts that enables
software agents to create, evaluate, negotiate, and execute contracts with substantial …
software agents to create, evaluate, negotiate, and execute contracts with substantial …
[BOOK][B] The practical handbook of internet computing
MP Singh - 2004 - taylorfrancis.com
The Practical Handbook of Internet Computing analyzes a broad array of technologies and
concerns related to the Internet, including corporate intranets. Fresh and insightful articles by …
concerns related to the Internet, including corporate intranets. Fresh and insightful articles by …
A blockchain-driven electronic contract management system for commodity procurement in electronic power industry
L Guo, Q Liu, K Shi, Y Gao, J Luo, J Chen - Ieee Access, 2021 - ieeexplore.ieee.org
In the era of paper-based contract, a lot of time, human labor and expenses are required to
handle the process of contract drafting, contract signing, contract execution, and payment …
handle the process of contract drafting, contract signing, contract execution, and payment …
A software framework for automated negotiation
If agents are to negotiate automatically with one another they must share a negotiation
mechanism, specifying what possible actions each party can take at any given time, when …
mechanism, specifying what possible actions each party can take at any given time, when …
DR-NEGOTIATE–A system for automated agent negotiation with defeasible logic-based strategies
This paper reports on a system for automated agent negotiation, based on a formal and
executable approach to capture the behavior of parties involved in a negotiation. It uses the …
executable approach to capture the behavior of parties involved in a negotiation. It uses the …
Representing e-commerce rules via situated courteous logic programs in RuleML
BN Grosof - Electronic Commerce Research and Applications, 2004 - Elsevier
We give an overview of current efforts to standardize e-business rules knowledge
representation (KR) in XML as part of the Semantic Web. We focus especially on the design …
representation (KR) in XML as part of the Semantic Web. We focus especially on the design …
PANDA: Specifying policies for automated negotiations of service contracts
Abstract The Web and Grid services frameworks provide a promising infrastructure for cross-
organizational use of online services. The use of services in large-scale and cross …
organizational use of online services. The use of services in large-scale and cross …
An inclusion theorem for defeasible logics
Defeasible reasoning is a computationally simple nonmonotonic reasoning approach that
has attracted significant theoretical and practical attention. It comprises a family of logics that …
has attracted significant theoretical and practical attention. It comprises a family of logics that …
A formal approach to protocols and strategies for (legal) negotiation
We propose a formal and executable framework for expressing protocols and strategies for
automated (legal) negotiation. In this framework a party involved in a negotiation is …
automated (legal) negotiation. In this framework a party involved in a negotiation is …