Results 11 to 20 of about 86,588 (304)
Sum and Product in Dynamic Epistemic Logic [PDF]
Journal of Logic and Computation, 2007 The Sum-and-Product riddle was first published in the reference H. Freudenthal (1969, Nieuw Archief voor Wiskunde 3, 152) [6]. We provide an overview on the history of the dissemination of this riddle through the academic and puzzle-math community.
van Ditmarsch, H.P. +2 more
openaire +3 more sources
Visual Perception and the Emergence of Minimal Representation
Frontiers in Psychology, 2021 There is a long-lasting quest of demarcating a minimally representational behavior. Based on neurophysiologically-informed behavioral studies, we argue in detail that one of the simplest cases of organismic behavior based on low-resolution spatial vision–
Argyris Arnellos +2 more
doaj +1 more source
Temporal Logic Planning and Receding Horizon Control for Signal Source Localization
Applied Sciences, 2022 This article copes with signal source localization by employing a receding horizon control approach with temporal logic planning in the light of a single mobile robot.
Xingtong Chen +3 more
doaj +1 more source
Cogent Business & Management, 2023 The existing literature has focused on the exclusive relationship between institutional logics that are perceived as competing. The current study argues that multiple logics can co-exist in a blended relationship.
Van Dai Nguyen +2 more
doaj +1 more source
Study on Imagery Modeling of Electric Recliner Chair: Based on Combined GRA and Kansei Engineering
Applied Sciences, 2023 This study aims to integrate data-driven methodologies with user perception to establish a robust design paradigm. The study consists of five steps: (1) theoretical research—a review of the subject background and applications of Kansei engineering and ...
Chengmin Zhou, Lansong Jiang, Jake Kaner
doaj +1 more source
Dual Logic Area Optimization of Finite State Machine [PDF]
Jisuanji gongcheng, 2016 To cope with the problem that exists in the area optimization of Finite State Machine(FSM) by only using Traditional Boolean (TB) logic,a novel algorithm for FSM area optimization using both traditional Boolean logic and Reed-Muller (RM) logic,namely ...
LIN Weijian,WANG Lunyao,XIA Yinshui
doaj +1 more source
Productive corecursion in logic programming [PDF]
Theory and Practice of Logic Programming, 2017 AbstractLogic Programming is a Turing complete language. As a consequence, designing algorithms that decide termination and non-termination of programs or decide inductive/coinductive soundness of formulae is a challenging task. For example, the existing state-of-the-art algorithms can only semi-decide coinductive soundness of queries in logic ...
EKATERINA KOMENDANTSKAYA, YUE LI
openaire +2 more sources
Model Checking Synchronized Products of Infinite Transition Systems [PDF]
Logical Methods in Computer Science, 2007 Formal verification using the model checking paradigm has to deal with two aspects: The system models are structured, often as products of components, and the specification logic has to be expressive enough to allow the formalization of reachability ...
Stefan Wöhrle, Wolfgang Thomas
doaj +1 more source
The Logical Pragmatics of Arguments in Argumentation
مجلة كلية التربية للبنات, 2022 Logic is understood so far as a product perspective, either formal or informal. The topic is still, though interesting, imprecise, sketchy and problematic. Besides, the relevance of logic to linguistics has not been explained.
Waleed Ridha Hammoodi Al-Jwaid +1 more
doaj +1 more source
Faithful Modeling of Product Lines with Kripke Structures and Modal Logic [PDF]
Scientific Annals of Computer Science, 2016 Software product lines are now an established framework for software design. They are specified by special diagrams called feature models. For formal analysis, the latter are usually encoded by Boolean propositional theories.
Z. Diskin +3 more
doaj +1 more source