Results 11 to 20 of about 6,681,112 (349)
Dynamic Separation Logic and its Use in Education
Современные информационные технологии и IT-образование, 2020 Mathematical logic is widely used in hardware and software verification. Hoare logic is particularly suitable for reasoning about imperative programs.
Evgeny Makarov
doaj +1 more source
Value of Information in Probabilistic Logic Programs [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 In medical decision making, we have to choose among several expensive diagnostic tests such that the certainty about a patient's health is maximized while remaining within the bounds of resources like time and money. The expected increase in certainty in
Sarthak Ghosh, C. R. Ramakrishnan
doaj +1 more source
Mathematics, 2020 This paper relates two interesting paradigms in fuzzy logic programming from a semantical approach: core fuzzy answer set programming and multi-adjoint normal logic programming.
M. Eugenia Cornejo +2 more
doaj +1 more source
Permission-Based Separation Logic for Multithreaded Java Programs [PDF]
Logical Methods in Computer Science, 2015 This paper presents a program logic for reasoning about multithreaded Java-like programs with dynamic thread creation, thread joining and reentrant object monitors. The logic is based on concurrent separation logic. It is the first detailed adaptation of
Christian Haack +3 more
doaj +1 more source
Logic programming and constraint logic programming [PDF]
ACM Computing Surveys, 1996 Logic programming is a language paradigm based on logic, more specifically on resolution theorem proving in the predicate calculus as proposed in Robinson [1965]. Robinson had the foresight to distinguish the importance of two components in automatic theorem proving: a single inference rule called resolution and the testing for equality of trees called
openaire +1 more source
Cell Reports, 2020 Summary: Multi-input logic gene circuits can enable sophisticated control of cell function, yet large-scale synthetic circuitry in mammalian cells has relied on post-transcriptional regulation or recombinase-triggered state transitions.
Jiten Doshi +4 more
doaj +1 more source
Relational Parametricity and Separation Logic [PDF]
Logical Methods in Computer Science, 2008 Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new interpretation of the logic for a programming language with higher types.
Lars Birkedal, Hongseok Yang
doaj +1 more source
Internalising modified realisability in constructive type theory [PDF]
Logical Methods in Computer Science, 2005 A modified realisability interpretation of infinitary logic is formalised and proved sound in constructive type theory (CTT). The logic considered subsumes first order logic.
Erik Palmgren
doaj +1 more source
Plausible Description Logic Programs for Stream Reasoning
Future Internet, 2012 Sensor networks are estimated to drive the formation of the future Internet, with stream reasoning responsible for analysing sensor data. Stream reasoning is defined as real time logical reasoning on large, noisy, heterogeneous data streams, aiming to ...
Ioan Alfred Letia, Adrian Groza
doaj +1 more source
A Three-Valued Semantics for Typed Logic Programming [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Types in logic programming have focused on conservative approximations of program semantics by regular types, on one hand, and on type systems based on a prescriptive semantics defined for typed programs, on the other.
João Barbosa +2 more
doaj +1 more source