Results 31 to 40 of about 2,799,711 (314)
Local logics, non-monotonicity and defeasible argumentation [PDF]
, 2004 In this paper we present an embedding of abstract argumentation systems into the framework of Barwise and Seligman’s logic of information flow.We show that, taking P.M.
Bodanza, Gustavo Adrian +1 more
core +1 more source
Choreographies, Logically [PDF]
Distributed Computing, 2014 In Choreographic Programming, a distributed system is programmed by giving a choreography, a global description of its interactions, instead of separately specifying the behaviour of each of its processes. Process implementations in terms of a distributed language can then be automatically projected from a choreography.
Marco Carbone +2 more
openaire +7 more sources
Informal Logic referees 2011-2012
Informal Logic, 2013 The Editors express their gratitude and appreciation to the indi-viduals listed below who served as referees for Informal Logic for Volumes 31 (2011) and 32 (2012).
Informal Logic Editors
doaj +3 more sources
, 2009 It is shown that quantum logic is a logic in the very same way in which classical logic is a logic. Soundness and completeness of both quantum and classical logics have been proved for novel lattice models that are not orthomodular and therefore cannot be distributive either - as opposed to the standard lattice models that are orthomodular and ...
Norman D. Megill, Mladen Pavicic
openaire +3 more sources
Interconnected magnetic tunnel junctions for spin-logic applications
AIP Advances, 2018 With the rapid progress of spintronic devices, spin-logic concepts hold promises of energy-delay conscious computation for efficient logic gate operations.
Mauricio Manfrini +18 more
doaj +1 more source
Complexity of validity for propositional dependence logics
, 2014 We study the validity problem for propositional dependence logic, modal dependence logic and extended modal dependence logic. We show that the validity problem for propositional dependence logic is NEXPTIME-complete.
Virtema, Jonni
core +2 more sources
The Court Tradition of Japan in Konjaku Monogatarishū
Ежегодник Япония, 2023 Among the literary works of the Heian era (late 8th – 12th centuries), Tales of Times Now Past (Konjaku Monogatarishū, 1120s) is notable for covering a much broader range of characters than kagami historical texts, monogatari tales, early gunki ...
N. N. Trubnikova, M. S. Kolyada
doaj +1 more source
Molecular Oncology, EarlyView.This study integrates transcriptomic profiling of matched tumor and healthy tissues from 32 colorectal cancer patients with functional validation in patient‐derived organoids, revealing dysregulated metabolic programs driven by overexpressed xCT (SLC7A11) and SLC3A2, identifying an oncogenic cystine/glutamate transporter signature linked to ...
Marco Strecker +16 more
wiley +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
An extrinsic function-level evolvable hardware approach [PDF]
, 2000 The function level evolvable hardware approach to synthesize the combinational multiple-valued and binary logic functions is proposed in first time. The new representation of logic gate in extrinsic EHW allows us to describe behaviour of any multi-input
Kalganova, T
core +3 more sources