A semantic web based architecture for e-contracts in defeasible logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3791 LNCS, Issue , 2005, Pages 145-159

  Governatori, Guido ^a   Hoang, Duy Pham ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; CONTRACTS; INTERNET; LOGIC PROGRAMMING; SEMANTICS; WORLD WIDE WEB;

DEFEASIBLE LOGICS; DR-DEVICE ARCHITECTURE; E-CONTRACTS; SEMANTIC WEB BASED ARCHITECTURE;

COMPUTER ARCHITECTURE;

EID: 33646832881     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11580072_12     Document Type: Conference Paper

References (24)

1. G. Antoniou, D. Billington, G. Governatori, and M. Maher. A flexible framework for defeasible logics. In (AAAI-2000), 401-405. AAAI/MIT Press, 2000.
2. G. Antoniou, D. Billington, G. Governatori, and M. Maher. Representation results for defeasible logic. ACM Trans. on Computational Logic, 2(2):255-287, 2001.
3. G. Antoniou, D. Billington, G. Governatori, M. Mäher, and A. Rock. A family of defeasible reasoning logics and its implementation. In W. Horn, editor, ECAI 2000, 459-463. IOS Press. 2000.
4. G. Antoniou, M. Maher, and D. Billington. Defeasible logic versus logic programming without negation as failure. J. of Logic Programming, 41(1):45-57, 2000.
5. N. Bassiliades, G. Antoniou, and I. Vlahavas. A defeasible logic reasoner for the semantic web. In G. Antoniou and H. Boley, editors, Rule ML 2004, LNCS 3323, 49-64. Springer-Verlag, 2004.
6. N. Bassiliades, G. Antoniou, and I. Vlahavas. DR-DEVICE: A defeasible logic system for the Semantic Web. In H.J. Ohlbach and S. Schaffert, editors, 2nd PPSWR, LNCS 3208, 134-148. Springer-Verlag, 2004.
7. H. Boley, S. Tabet, and G. Wagner. Design rationale for ruleml: A markup language for semantic web rules. In I.F. Cruz, S. Decker, J. Euzenat, and D.L. McGuinness, editors, SWWS'01, 381-401, 2001.
8. G. Governatori. Representing business contracts in RuleML. Int. J. of Cooperative Information Systems, 14(2-3);181-216, 2005.
9. G. Governatori, M. Maher, D. Billington, and G. Antoniou. Argumentation semantics for defeasible logics. J. of Logic and Computation, 14(5):675-702, 2004.
10. G. Governatori and A. Rotolo. Defeasible logic: Agency, intention and obligation. In A. Lomuscio and D. Nute, editors, Deontic Logic in Computer Science, LNAI 3065, 114-128. Springer-Verlag, 2004.
11. G. Governatori and A. Rotolo. Logic of Violations: A Gentzen system for reasoning with contrary-to-duty obligations. Australasian Journal of Logic, 2005.
12. G. Governatori, A. Rotolo, and G. Sartor. Temporalised normative positions in defeasible logic. In A. Gardner, editor, 10th ICAIL, 25-34. ACM Press, 2005.
13. J.J. van Griethuysen, editor. Concepts and Terminology for the Conceptual Schema and the Information Base. Publ. nr. ISO/TC97/SC5/WG3-N695, ANSI, 11 West 42nd Street, New York, NY 10036, 1982.
14. B.N. Grosof. Representing e-commerce rules via situated courteous logic programs in RuleML. Electronic Commerce Research and Applications, 3(1):2-20, 2004.
15. B.N. Grosof and T. C. Poon. Sweet Deal: representing agent contracts with exceptions using XML rules, ontologies, and process descriptions. In 12th WWW, 340-349. ACM Press, 2003.
16. R.M. Lee. A logic model for electronic contracting. Decision Support Systems, 4:27-44, 1988.
17. P. Linington, Z. Milosevic, J. Cole, S. Gibson, S. Kulkarni, and S. Neal. A unified behavioural model and a contract for extended enterprise. Data & Knowledge Engineering, 51:5-29, 2004.
18. M. Maher, A. Rock, G. Antoniou, D. Billington, and T. Miller. Efficient defeasible reasoning systems. Int. J. of AI Tools, 10(4):483-501, 2001.
19. Z. Milosevic, S. Gibson, P.P. Linington, J. Cole, and S. Kulkarni. On design and implementation of a contract monitoring facility. In 1st IWEC, 62-70. IEEE Press, 2004.
20. RuleML. The Rule Markup Initiative, 1 September 2005.
21. T. Skylogiannis, G. Antoniou, N. Bassiliades, and G. Governatori. DRNEGOTIATE - a system for automated agent negotiation with defeasible logic-based strategies. In EEE'05, 44-49. IEEE Press, 2005.
22. L. van der Torre and Y.-H. Tan. The many faces of defeasibility. In D. Nute, editor, Defeasible Deontic Logic, 79-121. Kluwer, 1997.
23. G. Wagner. How to design a general rule markup language. In Proceedings of XML Technology for the Semantic Web (XSW 2002), LNI 14, 19-37. GI, 2002.
24. G. Wagner, S. Tabet, and H. Boley. MOP-RuleML: The abstract syntax of RuleML as a MOP model. In OMG Meeting, Boston, 2003.