Results 71 to 80 of about 6,452,641 (347)
Paraconsistent logic programming
Theoretical Computer Science, 1987 AbstractThis paper makes two contributions. First, we give a semantics for sets of clauses of the syntactic form L0 ⇍ L1 &⋯& Ln where each Li is a literal. We call such clauses generally Horn clauses. Any such endeavour has to give a coherent, formal treatment of inconsistency (in the sense of two-valued logic).
Howard A. Blair, V. S. Subrahmanian
openaire +3 more sources
Advanced Engineering Materials, EarlyView.In pursuit of modern data management techniques, this study presents an in‐lab pipeline combining electronic laboratory notebooks (eLabFTW) and Python scripts for creating semantically enriched, interoperable, machine‐actionable data. Automating data mapping enhances usability, collaboration, and unified knowledge representation.
Markus Schilling +7 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
Constraint Logic Programming approach to protein structure prediction
BMC Bioinformatics, 2004 Background The protein structure prediction problem is one of the most challenging problems in biological sciences. Many approaches have been proposed using database information and/or simplified protein models.
Fogolari Federico +2 more
doaj +1 more source
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
, 2006 In this work we present work in progress on functionality duplication detection in logic programs. Eliminating duplicated functionality recently became prominent in context of refactoring. We describe a quantitative approach that allows to measure the ``similarity'' between two predicate definitions.
Serebrenik, A., Vanhoof, W.
openaire +4 more sources
Enhanced Electrochemical Properties of Biobased Activated Carbon for Supercapacitors
Advanced Engineering Materials, EarlyView.Biobased activated carbons with diverse properties (pore size distribution, electrical conductivity, capacitance) for supercapacitors applications are synthesized and tested, using renewable biomass as versatile raw materials with disparate inherent heteroatom and molecular building blocks.
Shengfei Zhou +4 more
wiley +1 more source
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
Logic Macroprogramming for Wireless Sensor Networks
International Journal of Distributed Sensor Networks, 2012 It is notoriously difficult and tedious to program wireless sensor networks (WSNs). To simplify WSN programming, we propose Sense2P, a logic macroprogramming system for abstracting, programming, and using WSNs as globally deductive databases.
Supasate Choochaisri +2 more
doaj +1 more source
Advanced Engineering Materials, EarlyView.The MaterialDigital initiative drives the digital transformation of material science by promoting findable, accessible, interoperable, and reusable principles and enhancing data interoperability. This article explores the role of scientific workflows, highlights challenges in their adoption, and introduces the Workflow Store as a key tool for sharing ...
Simon Bekemeier +37 more
wiley +1 more source