Results 91 to 100 of about 1,229,738 (330)
Clausal intuitionistic logic II. tableau proof procedures
The Journal of Logic Programming, 1988 This is the second part of a paper on clausal intuitionistic logic; while the first part [ibid. 5, No.1, 1-33 (1988; Zbl 0645.03006)] was devoted to model theory, the second one contains a thorough treatment of the proof theory. Contrary to Horn logic, where only rules of the form \(P\Rightarrow Q_ 1,...,Q_ n\) (P, \(Q_ i\) first order atoms) are ...
openaire +1 more source
Digital detritus: 'Error' and the logic of opacity in social media content moderation
First Monday, 2018 The late 2016 case of the Facebook content moderation controversy over the infamous Vietnam-era photo, “The Terror of War,” is examined in this paper for both its specifics, as well as a mechanism to engage in a larger discussion of the politics and ...
Sarah T. Roberts
semanticscholar +1 more source
Advanced Functional Materials, EarlyView.A single cell type Electro‐chromo‐emissive (ECECL) device integrating synchronized electrochromic (EC) and electrochemiluminescent (ECL) functions is developed using a mixed ionic‐electronic conductor (MIEC). A MIEC layer reduces ionic/electronic resistance, enabling ultrafast switching and enhanced optical contrast.
Hwandong Jang +5 more
wiley +1 more source
Decision procedures for logics of consequential implication.
Notre Dame Journal of Formal Logic, 1991 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Pushing the bounds of rationality: Argumentation and extended cognition [PDF]
, 2016 One of the central tasks of a theory of argumentation is to supply a theory of appraisal: a set of standards and norms according to which argumentation, and the reasoning involved in it, is properly evaluated.
Godden, David
core
Advanced Functional Materials, EarlyView.This study establishes a materials‐driven framework for entropy generation within standard CMOS technology. By electrically rebalancing gate‐oxide traps and Si‐channel defects in foundry‐fabricated FDSOI transistors, the work realizes in‐materia control of temporal correlation – achieving task adaptive entropy optimization for reinforcement learning ...
Been Kwak +14 more
wiley +1 more source
Evaluating Knowledge Representation and Reasoning Capabilites of Ontology Specification Languages [PDF]
, 2000 The interchange of ontologies across the World Wide Web (WWW) and the cooperation among heterogeneous agents placed on it is the main reason for the development of a new set of ontology specification languages, based on new web standards such as XML or ...
Corcho, Oscar, Gómez-Pérez, A.
core +3 more sources
Advanced Functional Materials, EarlyView.Modular diffractive deep neural network metasurfaces encode and reconstruct holograms across layer combinations and wavelengths, enabling secure, multifunctional operation. Each layer acts independently yet composes jointly, yielding up to m(2N −1) channels for m wavelengths and N layers.
Cherry Park +4 more
wiley +1 more source
CONTENT AND STRUCTURE OF EDUCATIONAL MATERIAL ON PSYCHOLOGICAL COUNSELING: METHODOLOGICAL ASPECTS
Вестник Северо-Кавказского федерального университета, 2022 The article contains a theoretical analysis of educational and methodological publications devoted to the theory and practice ofpsychological counseling, as an academic discipline andfield ofprofessional activity.
Andrey Chernov
doaj
LoopW Technical Reference v0.3
, 2009 This document describes the implementation in SML of the LoopW language, an imperative language with higher-order procedural variables and non-local jumps equiped with a program logic.
Polonowski, Emmanuel
core +1 more source