Results 1 to 10 of about 10,419 (259)
Frontiers in CognitionIn this mini-review, the methods used to investigate interactions between procedural and declarative systems in category learning are considered. Methods that were originally used to establish dissociations between memory systems may be biased toward ...
Priya B. Kalra
doaj +3 more sources
Compositional Semantics for the Procedural Interpretation of Logic [PDF]
Lecture Notes in Computer Science, 2006 Semantics of logic programs has been given by proof theory, model theory and by fixpoint of the immediate-consequence operator. If clausal logic is a programming language, then it should also have a compositional semantics. Compositional semantics for programming languages follows the abstract syntax of programs, composing the meaning of a unit by a ...
exaly +3 more sources
Is There a Procedural Logic to Architecture? [PDF]
2013 IEEE Conference on Computer Vision and Pattern Recognition, 2013 Urban models are key to navigation, architecture and entertainment. Apart from visualizing facades, a number of tedious tasks remain largely manual (e.g. compression, generating new facade designs and structurally comparing facades for classification, retrieval and clustering).
Weissenberg, Julien +3 more
openaire +2 more sources
PROCEDURAL LIABILITY AS A LEGAL PHENOMENON [PDF]
Russian Journal of Economics and Law, 2015 Objective: basing on the research of existing doctrinal developments, current legislation and law enforcement practices, to analyze the place and role of procedural liability in the system of legal liability, to develop recommendations on improvement of ...
N. V. Makareyko
doaj +2 more sources
Applying binary logic to analysis of media function of serious games [PDF]
مطالعات رسانههای نوین, 2019 Relation between logic and computer games can be investigated in two fields: 1. applying logic in design and generating computer games. 2. Applying logic in perceiving and using computer games.
masoud kousari +3 more
doaj +1 more source
Revista Brasileira de Direito Processual Penal, 2021 Military criminal law in 19th century Brazil was governed mostly by the Articles of War (1763), which retained many characteristics from Early Modern punitive practices.
Arthur Barrêtto de Almeida Costa
doaj +1 more source
CYBERPUNK – GAME – POETRY: Rostislav Amelin’s “SimStab”
Internationale Zeitschrift für KulturkomparatistikThe article discusses “SimStab” [Simulator of Stability], a poetic performance by a young Russian poet, Rostislav Amelin, as an effective hybrid of the innovative poetry, video game, and the cyberpunk genre models.
Daniil Leiderman, Mark Lipovetsky
doaj +5 more sources
Risk analysis with a fuzzy-logic approach of a complex installation [PDF]
Advances in Radio Science, 2016 This paper introduces a procedural method based on fuzzy logic to analyze systematic the risk of an electronic system in an intentional electromagnetic environment (IEME).
T. Peikert, H. Garbe, S. Potthast
doaj +1 more source
A First-Order Complete Temporal Logic for Structured Context-Free Languages [PDF]
Logical Methods in Computer Science, 2022 The problem of model checking procedural programs has fostered much research towards the definition of temporal logics for reasoning on context-free structures. The most notable of such results are temporal logics on Nested Words, such as CaRet and NWTL.
Michele Chiari +2 more
doaj +1 more source
Brésil(s), 2023 This article aims to analyze the production of documentary evidence in rural minimum retirement age cases, in the Federal Small-Claims Courts, in Sobral, Brazil. With the research, we concluded that judges occupy a central
Jordi Othon Angelo +1 more
doaj +1 more source