Answer Set Programming from a Logical Point of View

Cabalar, Pedro; Pearce, David; Valverde, Agustín

doi:10.1007/s13218-018-0547-7

Cited by 4 publications

(1 citation statement)

References 34 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It can be straightforwardly generalized to involve more expressive logical formulas from logic programming. More specifically, we will use answer set programming [ 28 , 29 , 30 ], a modern approach to logic programming, as our underlying logic. In the following, we will first review classical logic programming, then review the answer set programming as an extension of classical logic programming.…”

Section: Logic Programming For Smart Contractsmentioning

confidence: 99%

Logic Programming with Post-Quantum Cryptographic Primitives for Smart Contract on Quantum-Secured Blockchain

Sun

Kulicki

Sopek³

2021

Entropy

View full text Add to dashboard Cite

This paper investigates the usage of logic and logic programming in the design of smart contracts. Our starting point is the logic-based programming language for smart contracts used in a recently proposed framework of quantum-secured blockchain, called Logicontract (LC). We then extend the logic used in LC by answer set programming (ASP), a modern approach to declarative logic programming. Using ASP enables us to write various interesting smart contracts, such as conditional payment, commitment, multi-party lottery and legal service. A striking feature of our ASP implementation proposal is that it involves post-quantum cryptographic primitives, such as the lattice-based public key encryption and signature. The adoption of the post-quantum cryptographic signature overcomes a specific limitation of LC in which the unconditionally secure signature, despite its strength, offers limited protection for users of the same node.

show abstract

Section: Logic Programming For Smart Contractsmentioning

confidence: 99%