Results 31 to 40 of about 8,779,065 (357)
Generalized arrow update logic
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge, 2011 This paper presents a logic for reasoning about information change in multi-agent settings based on epistemic arrow deletion in Kripke models.
Kooi, Barteld, Renne, Bryan
openaire +2 more sources
Harnessing Deep Neural Networks with Logic Rules [PDF]
Annual Meeting of the Association for Computational Linguistics, 2016 Combining deep neural networks with structured logic rules is desirable to harness flexibility and reduce uninterpretability of the neural models. We propose a general framework capable of enhancing various types of neural networks (e.g., CNNs and RNNs ...
Zhiting Hu +4 more
semanticscholar +1 more source
Cahiers François Viète, 2016 Usually, classification is said to belong to the study of logic. On what grounds? One might answer in assuming that logic essentially operates on classes, and that as such it is the general science of classifications.
Jean-Marie Chevalier
doaj +1 more source
Peculiarities of Kant’s Interpretation of the Term ‘Consequence’
Кантовский сборникModern formal logic, which is based on Kant’s logical project, interprets logical consequence as formal, which leads to substantive paradoxes that combine any thoughts at all and so to the loss of consequence as such. Beginning with A.
Anastasia V. Petrovskaya
doaj +1 more source
General normal forms for any additive logic
, 2017 In this article, we define general normal forms for any logic that has propositional part and whose non-propositional connectives distribute over the finite disjunctions.
Khaled, Mohamed
core +1 more source
Generalized Quantifiers in Dependence Logic [PDF]
Journal of Logic, Language and Information, 2012 22 ...
openaire +2 more sources
Edge Detection Method Based on General Type-2 Fuzzy Logic Applied to Color Images
Information, 2017 This paper presents a new general type-2 fuzzy logic method for edge detection applied to color format images. The proposed algorithm combines the methodology based on the image gradients and general type-2 fuzzy logic theory to provide a powerful edge ...
Claudia I. Gonzalez +2 more
doaj +1 more source
Ratchet Cellular Automata [PDF]
, 2002 In this work we propose a ratchet effect which provides a general means of performing clocked logic operations on discrete particles, such as single electrons or vortices. The states are propagated through the device by the use of an applied AC drive. We
C. Buzea +6 more
core +1 more source
A Few Important Landmarks in the Chinese Debates on Dialectical and Formal Logic from the 1930s
Asian Studies, 2021 With the rise of the discourse on dialectical materialism in the late 1920s, ideas related to the Marxist notion of dialectical logic started to circulate in the Chinese intellectual world.
Jan Vrhovski
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