Results 151 to 160 of about 575,998 (339)
A note on fixpoint techniques in data base recursive logic programs [PDF]
, 1988 Irène Guessarian
openalex +1 more source
Advanced Materials Technologies, EarlyView.This study showcases the first‐ever demonstration of ovonic threshold switching (OTS) and resistive switching (RS) in ZnTe thin films fabricated via a fast, cost‐effective electrodeposition method. By controlling the deposition potential, ZnTe film is tuned to demonstrate OTS or RS behaviors, enabling the implementation of one‐selector‐one‐resistor ...
Ayoub H. Jaafar +8 more
wiley +1 more source
Acta Universitatis Sapientiae: Informatica, 2016 The backward-chaining inference strategy of Prolog is inefficient for a number of problems. The article proposes Contralog: a Prolog-conform, forward-chaining language and an inference engine that is implemented as a preprocessor-compiler to Prolog.
Kilián Imre
doaj +1 more source
An Unfolding-Based Semantics for Logic Programming with Aggregates [PDF]
arXiv, 2006 The paper presents two equivalent definitions of answer sets for logic programs with aggregates. These definitions build on the notion of unfolding of aggregates, and they are aimed at creating methodologies to translate logic programs with aggregates to normal logic programs or positive programs, whose answer set semantics can be used to defined the ...
arxiv
Every logic program has a natural stratification and an iterated least fixed point model [PDF]
, 1989 Teodor C. Przymusiński
openalex +1 more source
Probabilistic Constraint Logic Programming
, 1997 This paper addresses two central problems for probabilistic processing models: parameter estimation from incomplete data and efficient retrieval of most probable analyses.
Riezler, Stefan
core +2 more sources
How to Manufacture Photonic Metamaterials
Advanced Materials Technologies, EarlyView.Metamaterials boast applications such as invisibility and “hyperlenses” with resolution beyond the diffraction limit, but these applications haven’t been exploited in earnest and the market for them hasn’t grown much likely because facile and economical methods for fabricating them without defect has not emerged.
Apurba Paul, Gregory Timp
wiley +1 more source
A note on the Declarative reading(s) of Logic Programming [PDF]
arXiv, 2000 This paper analyses the declarative readings of logic programming. Logic programming - and negation as failure - has no unique declarative reading. One common view is that logic programming is a logic for default reasoning, a sub-formalism of default logic or autoepistemic logic. In this view, negation as failure is a modal operator.
arxiv
Programming of optical array logic 2: Numerical data processing based on pattern logic [PDF]
, 1988 Jun Tanida +2 more
openalex +1 more source
Advanced Optical Materials, EarlyView.Demonstration of an electro‐optic phase shifter fabricated by inkjet printing liquid crystal on an integrated silicon photonics chip surface. On a completed silicon photonics wafer (including modulators, detectors, and metallization), the back‐end‐of‐line stack is opened up to inkjet‐print liquid crystal. A phase shift of 6 for 2.7 V is obtained within
Lukas Van Iseghem +10 more
wiley +1 more source