Results 291 to 300 of about 1,229,738 (330)
Some of the next articles are maybe not open access.
Challenges in teaching logic programming
International Convention on Information and Communication Technology, Electronics and Microelectronics, 2022Vlatka Sekovanić, S. Lovrenčić
semanticscholar +1 more source
Propositional Dynamic Logic for Recursive Procedures
2008We present a simple and natural deductive formalism μPDL for propositional dynamic logic for recursive procedures, including simultaneous recursion. Though PDL with recursive programs is known to be highly undecidable, natural deductive formalisms for it are of substantial interest, because they distill the essential logical components of recursive ...
openaire +1 more source
Decision Procedures for Propositional Logic
2008Daniel Kroening, Ofer Strichman
openaire +1 more source
Proof Procedures for Disjunctive Logic Programming
1994Several proof procedures have been explicitly proposed for the pure (without nonmonotonic negation) Disjunctive Logic Programming (DLP) domain. These include SLO-resolution (Rajasekar, Minker), SLI-resolution (Minker, Zanon) and near-Horn Prolog in several variants (Loveland, Reed).
openaire +1 more source
Logic-in-memory based on an atomically thin semiconductor
Nature, 2020Guilherme Migliato Marega +2 more
exaly
Gallium nitride-based complementary logic integrated circuits
Nature Electronics, 2021Zheyang Zheng, Li Zhang, Han Xu
exaly
Logic gates based on neuristors made from two-dimensional materials
Nature Electronics, 2021Chunsen liu, Jianlu Wang, Weida Hu
exaly