Formal Analysis of the NetBill Electronic Commerce Protocol

2004 ◽  
pp. 45-64 ◽  
Author(s):  
Kazuhiro Ogata ◽  
Kokichi Futatsugi
Keyword(s):  
Electronic Commerce ◽  
Formal Analysis

The Logic Behind Negotiation

2011 ◽  
pp. 137-159 ◽  
Author(s):  
Luis Brito ◽  
Paulo Novais ◽  
Jose Neves
Keyword(s):  
Electronic Commerce ◽  
Logic Programming ◽  
Incomplete Information ◽  
Formal Analysis ◽  
Step Method ◽  
Extra Information ◽  
Extended Logic Programming

The use of agents in Electronic Commerce environments leads to the necessity to introduce some formal analysis and definitions. A four-step method is introduced for developing EC-directed agents, which are able to take into account nonlinearites such as gratitude and agreement. Negotiations that take into account a multistep exchange of arguments provide extra information, at each step, for the intervening agents, enabling them to react accordingly. This argument-based negotiation among agents has much to gain from the use of Extended Logic Programming mechanisms. Incomplete information is common in EC scenarios; therefore, arguments must also ta

Sign in / Sign up

Export Citation Format

Share Document