Results 51 to 60 of about 471,293 (319)
Nominal logic programming [PDF]
ACM Transactions on Programming Languages and Systems, 2008 Nominal logic is an extension of first-order logic which provides a simple foundation for formalizing and reasoning about abstract syntax modulo consistent renaming of bound names (that is, α-equivalence). This article investigates logic programming based on nominal logic. We describe some typical nominal logic programs, and develop the model-theoretic,
Cheney, James, Urban, Christian
openaire +5 more sources
Productive Corecursion in Logic Programming [PDF]
, 2017 Logic Programming is a Turing complete language. As a consequence, designing algorithms that decide termination and non-termination of programs or decide inductive/coinductive soundness of formulae is a challenging task.
Komendantskaya, Ekaterina, Li, Yue
core +2 more sources
Teaching logic programming: a review
CTE Workshop ProceedingsLogic programming constitutes a significant paradigm within computer science, offering a unique approach to programming based on formal logic rather than conventional imperative instructions.
Serhiy O. Semerikov +2 more
doaj +1 more source
Extensional Semantics for Higher-Order Logic Programs with Negation [PDF]
Logical Methods in Computer Science, 2018 We develop an extensional semantics for higher-order logic programs with negation, generalizing the technique that was introduced in [Bezem99,Bezem01] for positive higher-order programs.
Panos Rondogiannis, Ioanna Symeonidou
doaj +1 more source
Theory and Practice of Logic Programming, 2003 To appear in Special Issue of the Theory and Practice of Logic Programming Journal on Answer Set Programming ...
Vladimir Lifschitz, Esra Erdem
openaire +3 more sources
Advanced Engineering Materials, EarlyView.This study explores combining two existing aerospace titanium alloy powders, processing them via field‐assisted sintering technology and the subsequent discovery of a novel alloy composition, termed S23, with ultra‐high tensile toughness. Fine‐scale alpha precipitates favorably form in the alloy despite the relatively slow cooling, providing an ...
Samuel Lister +2 more
wiley +1 more source
Carbon Nanotube 3D Integrated Circuits: From Design to Applications
Advanced Functional Materials, EarlyView.As Moore's law approaches its physical limits, carbon nanotube (CNT) 3D integrated circuits (ICs) emerge as a promising alternative due to the miniaturization, high mobility, and low power consumption. CNT 3D ICs in optoelectronics, memory, and monolithic ICs are reviewed while addressing challenges in fabrication, design, and integration.
Han‐Yang Liu +3 more
wiley +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
Logic frameworks for logic programs [PDF]
, 1994 We show how logical frameworks can provide a basis for logic program synthesis. With them, we may use first-order logic as a foundation to formalize and derive rules that constitute program development calculi. Derived rules may be in turn applied to synthesize logic programs using higher-order resolution during proof that programs meet their ...
openaire +4 more sources
Spin‐Selective Anisotropic Magnetoresistance Driven by Chirality in DNA
Advanced Functional Materials, EarlyView.It is shown that magnetoresistance (MR) measurements carried out as a function of angular dependence between the magnetic field and a chiral (DNA) interface provide a valuable new insight into the charge transport mechanism associated with the chiral‐induced spin selectivity (CISS) effect.
Tapan Kumar Das +4 more
wiley +1 more source