6 papers · ranked by Valyu relevance
Xin Sun, Piotr Kulicki, Mirek Sopek, Peter Harremoës
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…
Alexandre Lemos, Inês Lynce, Pedro T. Monteiro
Background Boolean models of biological signalling-regulatory networks are increasingly used to formally describe and understand complex biological processes. These models may become inconsistent as new data become available and need to be repaired. In the past, the focus has been shed on the inference of (classes of)…
Günther Charwat, Wolfgang Dvořák, Sarah A. Gaggl, Johannes P. Wallner + 1 more
'Johannes P. Wallner' 'Stefan Woltran'] Within the last decade, abstract argumentation has emerged as a central field in Artificial Intelligence. Besides providing a core formalism for many advanced argumentation systems, abstract argumentation has also served to capture several non-monotonic logics and other AI…
Louis Fippo Fitime, Olivier Roux, Carito Guziolowski, Loïc Paulevé
Background Numerous cellular differentiation processes can be captured using discrete qualitative models of biological regulatory networks. These models describe the temporal evolution of the state of the network subject to different competing transitions, potentially leading the system to different attractors. This…
Carito Guziolowski, Santiago Videla, Federica Eduati, Sven Thiele + 3 more
'Thomas Cokelaer' 'Anne Siegel' 'Julio Saez-Rodriguez'] Vol. 29, No. 18, 2013, pp. 2320-2326 doi:10.1093/bioinformatics/btt393 The authors would like to note that the joint corresponding authors of btt393 Exhaustively characterizing feasible logic models of a signaling network using Answer Set Programming are Drs’ Anne…
Zhongtao Xie, Yisong Wang, Lei Yang, Renyan Feng
Circumscription is an important logic framework for representing and reasoning common-sense knowledge. With efficient implementations for circumscription, including circ2dlp and aspino, it has been widely used in model-based diagnosis and other domains. We propose a notion of minimal reduct for propositional…