Results 101 to 110 of about 471,293 (319)
A logical foundation for logic programming II: Semantics of general logic programs
The Journal of Logic Programming, 1998 Summary: We suggested in Part I [ibid. 35, No. 2, 151-170 (1998; Zbl 0905.68032)] of this study a general logical formalism for logic programming based on a four-valued inference. In this paper, we give a uniform representation of various semantics for logic programs based on this formalism.
openaire +3 more sources
Journal of Logic and Computation, 1992 The paper is a survey and critical overview of recent work on the extension of logic programming to perform abductive reasoning (abductive logic programming). We outline the general framework of abduction and its applications to knowledge assimilation and default reasoning; and we introduce an argumentation-theoretic approach to the use of abduction as
Kakas, Antonis C. +5 more
openaire +5 more sources
Logic Programming for Describing and Solving Planning Problems
, 2000 A logic programming paradigm which expresses solutions to problems as stable models has recently been promoted as a declarative approach to solving various combinatorial and search problems, including planning problems.
Bruynooghe, Maurice
core +2 more sources
Lifted Variable Elimination for Probabilistic Logic Programming
, 2014 Lifted inference has been proposed for various probabilistic logical frameworks in order to compute the probability of queries in a time that depends on the size of the domains of the random variables rather than the number of instances.
Bellodi, Elena +4 more
core +1 more source
Advanced Functional Materials, EarlyView.Janus (MoS2) transistors functionalized with sodium alginate (SA) and poly(vinylidene fluoride‐co‐trifluoroethylene) [P(VDF‐TrFE)] exhibit persistent photo‐induced ionic gating, driven by dynamic cation migration at the hybrid interface. This ionic mechanism enables finely tunable photoconductivity and emulates key synaptic plasticity behaviors ...
Yeonsu Jeong +5 more
wiley +1 more source
Advanced Functional Materials, EarlyView.In this work, a reconfigurable T‐CMOS inverter based on vertically stacked MoS2 and WSe2 MOSFETs with a gate‐tunable MoS2 resistor, enabling stable ternary logic, is demonstrated. The T‐CMOS inverter supports electrical switching between ternary and binary modes and is further extended to implement ternary NAND (NMIN) and NOR (NMAX) logic gates ...
Changwook Lee +5 more
wiley +1 more source
Using the Fuzzy Logic in Assessing the Programming Performance of Students
International Journal of Assessment Tools in Education, 2018 The overall objective of this study is to understandhow the fuzzy logic theory can be used in measuring the programming performanceof the undergraduate students, as well as proving the advantages of using fuzzylogic in evaluation of students’ performance.
Ozan Şenkal, Nihan Arslan Namlı
doaj +1 more source
Advanced Functional Materials, EarlyView.Molecular‐level engineering of SEBS elastomers is introduced for skin‐inspired electronics. By systematically modulating the S/EB molar ratio in SEBS, precise control is achieved over nanoscale morphology, mechanical properties, metal‐elastomer adhesion, and dielectric performance.
Min Woo Jeong +9 more
wiley +1 more source
Transformations of Logic Programs with Goals as Arguments
, 2002 We consider a simple extension of logic programming where variables may range over goals and goals may be arguments of predicates. In this language we can write logic programs which use goals as data.
Pettorossi, Alberto, Proietti, Maurizio
core +5 more sources
Advanced Functional Materials, EarlyView.Controlling the polycrystallinity of CuO nanorods enables directional reconstruction into rod‐like structures that stabilize Cu(OH)2 and increase Cu+ ratios, while modulating interfacial water dynamics to enhance C─C coupling and boost C2+ product formation in CO2 electroreduction.
Hyeon‐Seok Bang +15 more
wiley +1 more source