Defeasible reasoning with e-contracts

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

Αρχεία σε αυτό το τεκμήριο

Αρχεία	Μέγεθος	Τύπος	Προβολή
Δεν υπάρχουν αρχεία που να σχετίζονται με αυτό το τεκμήριο.