Results 61 to 70 of about 575,998 (339)
2P-Kt: A logic-based ecosystem for symbolic AI
SoftwareX, 2021 To date, logic-based technologies are either built on top or as extensions of the Prolog language, mostly working as monolithic solutions tailored upon specific inference procedures, unification mechanisms, or knowledge representation techniques. Instead,
Giovanni Ciatto +2 more
doaj
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
Space Syntax with Logic Programming: An Application to a Modern Estate
Urban Science, 2023 Space syntax is a set of theories and techniques for analysing urban settlements and buildings. Here, we propose a new approach to perform syntactic analyses that requires only the declaration in a computer program of the connections between axial lines ...
Pedro Afonso Fernandes
doaj +1 more source
Model Checking Linear Logic Specifications [PDF]
, 2003 The overall goal of this paper is to investigate the theoretical foundations of algorithmic verification techniques for first order linear logic specifications.
Bozzano, M., Delzanno, G., Martelli, M.
core +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
The Journal of Logic Programming, 1993 We present a model for distributed logic programming based on ANDparallelism and on explicit message-passing primitives. The communication mechanism is inspired by Milner's CCS [31]. First, a simple calculus of communicating sequential logic processes is defined to formally introduce this notion of communication in a logic programming setting.
BROGI, ANTONIO, R. Gorrieri
openaire +3 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
Defeasible logic programming: language definition, operational semantics, and parallelism
Journal of Computer Science and Technology, 2001 This thesis defines Defeasible Logic Programming and provides a concrete specification of this new language through its operational semantics. Defeasible Logic Programming, or DeLP for short, has been defined based on the Logic Programming paradigm and ...
Alejandro Javier García
doaj
Logic programming and ultrametric spaces [PDF]
Rendiconti di Matematica e delle Sue Applicazioni, 1999 By this expository paper we would like to call the attention to ultrametric spaces and their applications to logic programming. We present the essentials of logic programming and give an introduction to the theory of ultrametric spaces.
Sibylla Priess-Crampe, Paulo Ribenboim
doaj
Jurnal Sistem dan Manajemen Industri, 2023 Customer demands for product quality are increasingly complex, requiring better inspection accuracy. It is not enough if done manually because it requires high costs and varying operator accuracy.
Zulfa Fitri Ikatrinasari +2 more
doaj +1 more source