Results 71 to 80 of about 484,155 (286)

An Improved Proof-Theoretic Compilation of Logic Programs

, 2012
In prior work, we showed that logic programming compilation can be given a proof-theoretic justification for generic abstract logic programming languages, and demonstrated this technique in the case of hereditary Harrop formulas and their linear variant.
Cervesato, Iliano
core   +1 more source

Photon Avalanching Nanoparticles: The Next Generation of Upconverting Nanomaterials?

Advanced Functional Materials, EarlyView.
This Perspective outlines the mechanistic foundations that enable photon‐avalanche (PA) behavior in lanthanide nanomaterials and contrasts them with emerging application spaces and forward‐looking design strategies. By bridging threshold engineering, energy‐transfer dynamics, and materials engineering, we provide a coherent roadmap for advancing the ...
Kimoon Lee, Yunseo Kim, Hyeong‐ku Jo, Dongjoon Yoon, Byeonghyeok Im, WonJeong Yu, Eui‐Rim On, Changhwan Lee   +7 more
wiley   +1 more source

DEDUCŢIA LOGICĂ – MECANISM DE CALCUL AL LIMBAJULUI DE PROGRAMARE LOGICĂ

Studia Universitatis Moldaviae: Stiinte Umanistice, 2008
The present article focuses on analysis and synthesis of elements which are the base of abstract interpreter of programs written in logic. Logic programming and Prolog language significance in studying computer science is appreciating.
USM ADMIN
doaj  

The Impact of Pair Programming on the Performance of Slow-Paced Students: A Study on Data Structure Courses

Journal of Information and Organizational Sciences, 2020
A study shows that pair programming can help slow-paced students in completing Introductory Programming assessment. This paper replicates the study on Data Structure course, in which the completion of the assessments does not only rely on logic but also ...
Mewati Ayub, Oscar Karnalim, Laurentius Risal, Maresha Caroline Wijanto   +3 more
doaj   +1 more source

Implementing Default and Autoepistemic Logics via the Logic of GK [PDF]

, 2014
The logic of knowledge and justified assumptions, also known as logic of grounded knowledge (GK), was proposed by Lin and Shoham as a general logic for nonmonotonic reasoning.
Ji, Jianmin, Strass, Hannes
core  

Shape‐Controlled Guanine Self‐Assemblies for Stable and Fast‐Ion Solid–Electrolyte Interphases in Sustainable Li Metal Batteries

Advanced Functional Materials, EarlyView.
The shape of guanine self‐assemblies is tuned by introducing alkyl (G8), fluoroalkyl (G8f), and oligoether (G8g) side chains into the G moiety. The scanning tunneling microscopy results and calculations show that the presence and type of the side chain strongly affect the G self‐assembly network.
So‐Huei Kang, So‐Dam Sohn, Kyung Min Lee, Seok‐Kyu Cho, Byongkyu Lee, Ji Eun Lee, Sang‐Young Lee, Sang Kyu Kwak, Hyung‐Joon Shin, Changduk Yang   +9 more
wiley   +1 more source

Statistically Resolving Thickness‐Dependent Electrical Characteristics in Multilayer‐MoS2 Transistors

Advanced Functional Materials, EarlyView.
A large number of MoS2 flakes were screened to obtain high‐quality flakes based on optical intensities in R, G, and B channel images. The flakes were classified from Level 1 to 6 based on optical intensities in the R, G, and B channel images. Low‐quality flake exhibited wrinkled, folded, or overlapped features, while high‐quality displayed a neat ...
Sanghyun Lee, Sumin Hong, Minho Park, Seongju Kim, Sanghoon Baek, Seonguk Yang, Chang‐Soo Lee, Sang‐Hoon Bae, Joonki Suh, Yongwoo Lee, Haksoon Jung, Jimin Kwon   +11 more
wiley   +1 more source

Disjunctive Logic Programs with Inheritance

, 2001
The paper proposes a new knowledge representation language, called ...
Buccafurri, Francesco, Faber, Wolfgang, Leone, Nicola   +2 more
core   +1 more source

Parallel defeasible argumentation

Journal of Computer Science and Technology, 2000
Implicitly exploitable parallelism for Logic Programming has received ample attention. Defeasible Argutmentation is specially apt for this optimizing technique.
Alejandro Javier García, Guillermo Ricardo Simari   +1 more
doaj  

An experimental study of structured generative AI integration to mitigate pedagogical, cognitive, and ethical barriers in programming education

Frontiers in Computer Science
Generative artificial intelligence (GenAI) is used in programming education; however, its adoption can introduce pedagogical misalignment, shallow cognitive engagement, and ethical risks that threaten the sustenance of programming skills of students ...
Jemimah Nathaniel, Jemimah Nathaniel, Solomon Sunday Oyelere, Jarkko Suhonen, Matti Tedre   +4 more
doaj   +1 more source