Defeasible reasoning with e-contracts

被引：2
|
作者：
Giannikis, Georgios K. [1 ]
Daskalopulu, Aspassia [1 ]
机构：
[1] Univ Thessaly, Dept Comp & Commun Engn, Thessaly, Greece
来源：
2006 IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON INTELLIGENT AGENT TECHNOLOGY, PROCEEDINGS | 2006年
关键词：
D O I：
10.1109/IAT.2006.51
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
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.
引用
收藏
页码：690 / +
页数：2
相关论文
共 50 条
  • [1] A Semantic Web based architecture for e-contracts in defeasible logic
    Governatori, G
    Hoang, DP
    [J]. RULES AND RULE MARKUP LANGUAGES FOR THE SEMANTIC WEB, PROCEEDINGS, 2005, 3791 : 145 - 159
  • [2] From contracts to e-contracts: Modeling and enactment
    Krishna P.R.
    Karlapalem K.
    Dani A.R.
    [J]. Information Technology and Management, 2005, 6 (4) : 363 - 387
  • [3] Digital Platform Model For E-Contracts
    Popescu, Mihai Valeriu
    Simion, Petronela Cristina
    Popescu, Mirona Ana Maria
    Barbu, Andreea
    Costea-Marcu, Iustina-Cristina
    [J]. EDUCATION EXCELLENCE AND INNOVATION MANAGEMENT: A 2025 VISION TO SUSTAIN ECONOMIC DEVELOPMENT DURING GLOBAL CHALLENGES, 2020, : 11178 - 11183
  • [4] The representation of e-contracts as default theories
    Giannikis, Georgios K.
    Daskalopulu, Aspassia
    [J]. NEW TRENDS IN APPLIED ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2007, 4570 : 963 - +
  • [5] Monitoring compliance with E-contracts and norms
    Modgil, Sanjay
    Oren, Nir
    Faci, Noura
    Meneguzzi, Felipe
    Miles, Simon
    Luck, Michael
    [J]. ARTIFICIAL INTELLIGENCE AND LAW, 2015, 23 (02) : 161 - 196
  • [6] Towards formal modeling of e-contracts
    Marjanovic, O
    Milosevic, Z
    [J]. FIFTH IEEE INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE, PROCEEDINGS, 2001, : 59 - 68
  • [7] A Methodology for Evolving E-Contracts Using Templates
    Krishna, P. Radha
    Karlapalem, Kamalakar
    [J]. IEEE TRANSACTIONS ON SERVICES COMPUTING, 2013, 6 (04) : 497 - 510
  • [8] Timed Automata Semantics for Visual e-Contracts
    Martinez, Enrique
    Cambronero, M. Emilia
    Diaz, Gregorio
    Schneider, Gerardo
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (68): : 7 - 21
  • [9] Specification and Verification of Security Properties of e-Contracts
    Abou El Kalam, Anas
    Idboutker, Nourredine
    [J]. PROCEEDINGS OF THE 2010 8TH INTERNATIONAL CONFERENCE ON COMMUNICATIONS (COMM), 2010, : 427 - 430
  • [10] Inter-organisational collaborations supported by e-contracts
    Milosevic, Z
    Linington, PF
    Gibson, S
    Kulkarni, S
    Cole, J
    [J]. BUILDING THE E-SERVICE SOCIETY: E-COMMERCE, E-BUSINESS, AND E-GOVERNMENT, 2004, 146 : 413 - 429
12345