PaperSpecification of contractual obligations in formal business communication
References (33)
A logic for default reasoning
Artificial Intelligence
(1980)Conditional deontic logic augmented with defeasible reasoning
Data & Knowledge Engineering
(1995)The future computer utility
The Public Interest
(1967)On the semantics of the ought-to-do
Synthese
(1970)- et al.
Legal procedures as formal conversations: Contracting on performative network
- et al.
Deontic logic: An introduction
An analysis of some deontic logics
Noûs
(1969)- et al.
Deontic logic relativised to bearers and counterparties
- et al.
Obligations directed from bearers to counterparties
An analysis of relativised modalities
On the semantics of personal directives
Fundamental Legal Conceptions as Applied in Judicial Reasoning
(1919)
Deontic logic as founded in nonmonotonic logic
Annals of Mathematics and Artificial Intelligence
(1993)
On representation schemes for electronic promising
On formal aspects of electronic (or digital) commerce: Examples of research issues and challenges
Relativized deontic modalities
Cited by (8)
Semantic interoperability with heterogeneous information systems on the internet through automatic tabular document exchange
2017, Information SystemsCitation Excerpt :Defeasible logic [53,54] has attracted significant attention in non-monotonic reasoning due to its well-defined proof theory and semantics [55]. Besides its applications in the e-marketplace, it has many applications in different areas such as semantic web [56,57], agent-driven systems [58,59], ambient intelligent [60,61], business process modeling [62,63], legal reasoning [64,65], etc. In our semantic inference approach, the logic applied for rule reasoning is the defeasible logic [52,66], which handles both strict and defeasible rules, particularly the priority (i.e., a preference relation in a document).
Deontic pattern - a framework for domain analysis in information systems design
1999, Data and Knowledge EngineeringA Calculus Supporting Contract Reasoning and Monitoring
2017, IEEE AccessContract automata: An operational view of contracts between interactive parties
2016, Artificial Intelligence and LawProcess modelling, delegation and control in global software development
2011, International Journal of Computer Applications in TechnologyCollaborative approach for modeling and performing mobile software process components
2005, Proceedings - 2005 International Symposium on Collaborative Technologies and Systems
Copyright © 1998 Published by Elsevier B.V.