dc.creator | Giannikis, G. K. | en |
dc.creator | Daskalopulu, A. | en |
dc.date.accessioned | 2015-11-23T10:28:08Z | |
dc.date.available | 2015-11-23T10:28:08Z | |
dc.date.issued | 2007 | |
dc.identifier | 10.1109/IAT.2006.51 | |
dc.identifier.isbn | 9780769527482 | |
dc.identifier.uri | http://hdl.handle.net/11615/27912 | |
dc.description.abstract | We propose a mapping from a contract representation in Event Calculus to Default Logic. The resulting representation allows for defeasible reasoning with e-contracts, which is useful in order to determine the normative state of a business exchange in the presence of incomplete or inaccurate knowledge. More importantly, we may use this representation in Default Logic coupled with priorities, in order to manage normative conflicts dynamically. © 2006 IEEE. | en |
dc.source.uri | http://www.scopus.com/inward/record.url?eid=2-s2.0-38949125113&partnerID=40&md5=6259e8aad887ed0f4dbf5347ffdbdf9d | |
dc.subject | Electronic commerce | en |
dc.subject | Electronic data interchange | en |
dc.subject | Formal logic | en |
dc.subject | Business exchange | en |
dc.subject | Defeasible reasoning | en |
dc.subject | e-contracts | en |
dc.subject | Contracts | en |
dc.title | Defeasible reasoning with e-contracts | en |
dc.type | conferenceItem | en |