On legal contracts, imperative and declarative smart contracts, and blockchain systems

No abstract is available for this paper.

• Publication year

  2018

• Venue

  Artificial Intelligence and Law

• Publication date

  2018-03-05

• Fields of study

  Law, Computer Science

• Identifiers
  DOI 10.1007/s10506-018-9223-3
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Quantifying the Cost of Distrust: Comparing Blockchain and Cloud Services for Business Process Execution

  2018cited by this paper
• A Taxonomy of Blockchain-Based Systems for Architecture Design

  2017cited by this paper
• Validation and Verification of Smart Contracts: A Research Agenda

  2017cited by this paper
• Risks and opportunities for systems using blockchain and smart contracts

  2017cited by this paper
• Untrusted Business Process Monitoring and Execution Using Blockchain

  2016cited by this paper
• Evaluation of Logic-Based Smart Contracts for Blockchain Systems

  2016cited by this paper
• Smart Contract Templates: foundations, design landscape and research directions

  2016cited by this paper
• Smart Contract Templates: essential requirements and design options

  2016cited by this paper
• Decentralized Blockchain Technology and the Rise of Lex Cryptographia

  2015cited by this paper
• LegalRuleML: Design Principles and Foundations

  2015cited by this paper
• A declarative approach to business rules in contracts: courteous logic programs in XML

  2015cited by this paper
• Law and logic: A review from an argumentation perspective

  2015cited by this paper
• Thou shalt is not you will

  2014cited by this paper
• Handbook of deontic logic and normative systems

  2013cited by this paper
• Computing Temporal Defeasible Logic

  2013cited by this paper
• Runtime Monitoring of Contract Regulated Web Services

  2010cited by this paper
• Automatic Conflict Detection on Contracts

  2009cited by this paper
• The Making of SPINdle

  2009cited by this paper
• DR-CONTRACT: an architecture for e-contracts in defeasible logic

  2009cited by this paper
• Characterising Deadlines in Temporal Modal Defeasible Logic

  2007cited by this paper
• A Formal Analysis of a Business Contract Language

  2006cited by this paper
• Representing business contracts in RuleML

  2005cited by this paper
• Dealing with contract violations: formalism and domain specific language

  2005cited by this paper
• Rule support for role-based access control

  2005cited by this paper
• Using the event calculus for tracking the normative state of contracts

  2005cited by this paper
• Legal Reasoning: A Cognitive Approach to Law

  2005cited by this paper
• Normative autonomy and normative co-ordination: Declarative power, representation, and mandate

  2004cited by this paper
• A unified behavioural model and a contract language for extended enterprise

  2004cited by this paper
• Run-time monitoring and enforcement of electronic contracts

  2004cited by this paper
• How to write a financial contract

  2003cited by this paper
• Conversation-oriented protocols for contract negotiations

  2003cited by this paper
• Contract performance assessment for secure and dynamic virtual collaborations

  2003cited by this paper
• Towards formal modeling of e-contracts

  2001cited by this paper
• The mice that warred.

  2001cited by this paper
• The representation of legal contracts

  1997cited by this paper
• Inter-enterprise contract architecture for open distributed systems: security requirements

  1996cited by this paper
• Algorithm = logic + control

  1979cited by this paper
• Law and Logic

  1964cited by this paper

• Legal certainty in the conformity of smart contracts with the Indonesian civil code

  2026cites this paper
• Defeasible logic reasoner to support legal reasoning in smart contracts on blockchain

  2026cites this paper
• Smart Contracts and Copyright Management: A Significant Change in Intellectual Property Rights

  2025cites this paper
• Bridging Legal Theory and Blockchain Execution: A Unified Framework for Smart Contract Automation and Enforceable Digital Agreements

  2025cites this paper
• Towards a comprehensive land use rights management system: Blockchain and semantics integration with legal compliance in Vietnam

  2025cites this paper
• Decision Tree Algorithm Based Legal Liability Determination and Contract Fulfillment Path in the Execution of Smart Contracts

  2025cites this paper
• Exploring Artificial Intelligence Adoption for E-Government: A Systematic Literature Review

  2025cites this paper
• Logical foundations of Smart Contracts

  2025cites this paper
• Legal Explanation in Defeasible Deontic Logic via LegalRuleML

  2025cites this paper
• Reflections on the design, applications and implementations of the normative specification language eFLINT

  2025cites this paper
• The Admissibility of Blockchain-Based Solutions for Share Trading and Maintaining Shareholders’ Register in the Context of the Dematerialisation of Shares

  2025cites this paper
• The compliance gap in data supply chains: contract specification languages and smart contracts as compliance technologies

  2025cites this paper
• Exploring Human-Centric Dimensions in Blockchain Smart Contracts

  2025influential citation
• AI-powered digital arbitration framework leveraging smart contracts and electronic evidence authentication

  2025cites this paper
• Towards Secure and Interactive Smart Contract Code from Formal Symboleo Specifications

  2025cites this paper
• AI in Healthcare Systems: A Systematic Review of Influential Factors and Attributes

  2025cites this paper
• Legal Compliance Evaluation of Smart Contracts Generated by Large Language Models

  2025cites this paper
• Effects of blockchain technology (BT) on the university librarians and libraries: a systematic literature review (SLR)

  2024cites this paper
• Smart contracts: the new method of interaction between the law and technology

  2024cites this paper
• A Blockchain-Enabled Approach to Cross-Border Compliance and Trust

  2024cites this paper
• Practical Declarative Smart Contracts Optimization

  2024cites this paper
• What motivates public sector organisations to use blockchain?

  2024cites this paper
• Code-Driven Law NO, Normware SI!

  2024cites this paper
• Cooperative Specification via Composition Control

  2024cites this paper
• Legal Nature and Classification of Smart Contracts in Crypto Exchanges: Challenges to Traditional Contract Law

  2024influential citation
• Streamlining enterprise resource planning through digital technologies

  2024cites this paper
• A Study of the Impact of Smart Contract Technology on the Understanding and Application of Contract Law from the Perspective of the Legal Profession

  2024cites this paper
• An ASP Implementation of Defeasible Deontic Logic

  2024cites this paper
• Blockchain Technology Application Domains along the E-Commerce Value Chain—A Qualitative Content Analysis of News Articles

  2024cites this paper
• The impact of blockchain on Brazilian public procurement processes from the perspective of transaction costs: scenarios as perceived by experts

  2024cites this paper
• Integrating smart contracts into the legal framework of Saudi Arabia

  2024cites this paper
• The role of ontologies in smart contracts: A systematic literature review

  2024cites this paper
• A review of Smart Contract Blockchain Based on Multi-Criteria Analysis: Challenges and Motivations

  2023cites this paper
• A Study on Formal Verification of Smart Contracts in Distributed Ledger Technology

  2023cites this paper
• Pretty, Pricy, Perilous? Demystifying Non-fungible Tokens and Highlighting Some Key Legal Concerns

  2023cites this paper
• Toward Sovereign Data Exchange Through a Meta-Platform for Data Marketplaces: A Preliminary Evaluation of the Perceived Efficacy of Control Mechanisms

  2023cites this paper
• A new method for weighting decision making attributes: an application in high-tech selection in oil and gas industry

  2023cites this paper
• A Digital Evidences Preservation Framework for a Logic Based Smart Contract

  2023cites this paper
• On Normative Arrows and Comparing Tax Automation Systems

  2023cites this paper
• Comprehensive analysis of non-fungible tokens valuation and accounting under IFRS: Challenges and artificial intelligence implications

  2023cites this paper
• Evaluation of a Legally Binding Smart-Contract Language for Blockchain Applications

  2023cites this paper
• THE APPLICATION OF FORCE MAJEURE IN THE RESOLUTION OF UNPAID DEBTS AT BANKING INSTITUTIONS RESULTING FROM NATURAL DISASTERS

  2023cites this paper
• Paths to citizens-controlled coproduction: The use of blockchain technology in digital coproduction

  2023cites this paper
• The implications of national blockchain infrastructure for financial crime

  2023cites this paper
• A Mapping Review on Cyber-Physical Smart Contracts: Architectures, Platforms, and Challenges

  2023influential citation
• Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies

  2023cites this paper
• SaaSC: Toward Pay-as-You-Go Mode for Software Service Transactions Based on Blockchain's Smart Legal Contracts

  2023cites this paper
• Decision support for technology transfer using fuzzy quality function deployment and a fuzzy inference system

  2023cites this paper
• Smart Contracts in Blockchain Technology: A Critical Review

  2023cites this paper
• Benefits for the bunker industry in adopting blockchain technology for dispute resolution

  2023cites this paper
• Laminating STRATH block chain technology- SWOT architectures to endure business strategy between digital transformation, firms and supply chains capabilities for sustainability

  2023cites this paper
• Law, Socio-Legal Governance, the Internet of Things, and Industry 4.0: A Middle-Out/Inside-Out Approach

  2022cites this paper
• A lightweight approach to smart contracts supporting safety, security, and privacy

  2022cites this paper
• Simulating Prosumer Data Trading: Testing a Blockchain Smart Contract Based Control

  2022cites this paper
• Smart Contracts: Tales of Trust and Certainty

  2022cites this paper
• Leveraging Blockchain-Based Smart Contracts in the Management of Supply Chain: Evidence from Carrefour UAE

  2022cites this paper
• Formal Methods for the Verification of Smart Contracts: A Review

  2022cites this paper
• Blockchained Industry Information Handoff Based on Internet of Things Devices with Intelligent Customized Object Recognition

  2022cites this paper
• Will adoption of blockchain technology be challenging: evidence from Indian banking industry

  2022cites this paper
• Managing healthcare supply chain through artificial intelligence (AI): A study of critical success factors

  2022cites this paper
• A survey of application research based on blockchain smart contract

  2022cites this paper
• Designing secure business processes for blockchains with SecBPMN2BC

  2022cites this paper
• Specification and analysis of legal contracts with Symboleo

  2022cites this paper
• Intersemiotic translation of contracts into digital environments

  2022cites this paper
• Integration of Blockchain Technology and Prioritization of Deployment Barriers in the Blood Supply Chain

  2022cites this paper
• Semantic Annotation of Legal Contracts with ContrattoA

  2022cites this paper
• An Approach for Supply Chain Management Contract Selection in the Oil and Gas Industry: Combination of Uncertainty and Multi-Criteria Decision-Making Methods

  2022cites this paper
• Implementation of Management Decisions for the Implementation of Blockchain Technologies in Public Authorities

  2022cites this paper
• Thirty years of Artificial Intelligence and Law: the first decade

  2022cites this paper
• Blockchain, climate damage, and death: Policy interventions to reduce the carbon emissions, mortality, and net-zero implications of non-fungible tokens and Bitcoin

  2022cites this paper
• Standardizing Smart Contracts

  2022cites this paper
• From Legal Contracts to Legal Calculi: the code-driven normativity

  2022cites this paper
• Application of blockchain and smart contracts in autonomous vehicle supply chains: An experimental design

  2022cites this paper
• Thirty years of artificial intelligence and law: the third decade

  2022cites this paper
• Computable Contracts in the Financial Services Industry

  2022cites this paper
• Design and Application of Legally Valid Payment Templates Based on Linking Contracts

  2022cites this paper
• Machines that make and keep promises - Lessons for contract automation from algorithmic trading on financial markets

  2022cites this paper
• The Legal Regime of Smart Contracts in Public Procurement

  2022cites this paper
• Towards user-centered and legally relevant smart-contract development: A systematic literature review

  2022cites this paper
• Smart Contract Generation Assisted by AI-Based Word Segmentation

  2022cites this paper
• Potential Requirements and Opportunities of Blockchain-Based Industrial IoT in Supply Chain: A Survey

  2022cites this paper
• Cloud Blockchain Based Multiple Inspection Information Exchanging for Agriculture and Food Safety

  2022cites this paper
• Contract as automaton: representing a simple financial agreement in computational form

  2021cites this paper
• Formalizing commitments using the event calculus and RuleML

  2021influential citation
• Connecting Blockchain Technology with Libraries: Opportunities and Risks

  2021cites this paper
• Hercule: Representing and Reasoning About Norms as a Foundation for Declarative Contracts Over Blockchain

  2021cites this paper
• Security And Privacy Issues Of Block-Chain Technology

  2021cites this paper
• Software Engineering for Blockchain Based Software Systems: Foundations, Survey, and Future Directions

  2021cites this paper
• RETRACTED ARTICLE: The effectiveness of project management construction with data mining and blockchain consensus

  2021cites this paper
• Fantastic Beasts: Blockchain Based Banking

  2021cites this paper
• A Taxonomy Study on Securing Blockchain-based Industrial Applications: An Overview, Application Perspectives, Requirements, Attacks, Countermeasures, and Open Issues

  2021cites this paper
• A Formal Specification Smart-Contract Language for Legally Binding Decentralized Autonomous Organizations

  2021cites this paper
• Smart Contract and Blockchain Based Contract Management System

  2021cites this paper
• Towards event-driven decentralized marketplaces on the blockchain

  2021cites this paper
• Blockchain-based technologies

  2021cites this paper
• Legally Enforceable Smart-Contract Languages

  2021influential citation
• Distributed Ledger Architecture for Collaborative Megaproject Management with Authenticated Participants

  2021cites this paper
• Blockchain Technology With the Internet of Things in Manufacturing Data Processing Architecture

  2021cites this paper
• Note socio-giuridiche introduttive per una discussione su diritto, intelligenza artificiale e big data

  2021cites this paper
• Logic Programming with Post-Quantum Cryptographic Primitives for Smart Contract on Quantum-Secured Blockchain

  2021cites this paper