Results 1 to 10 of about 1,092,426 (154)
Executable First-Order Queries in the Logic of Information Flows [PDF]
Logical Methods in Computer Science, 2022 The logic of information flows (LIF) has recently been proposed as a general framework in the field of knowledge representation. In this framework, tasks of procedural nature can still be modeled in a declarative, logic-based fashion.
Heba Aamer +4 more
doaj +3 more sources
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
Relating sentences and semantic networks with procedural logic
Communications of the ACM, 1982 Robert F Simmons
exaly +2 more sources
Probabilistic Logic Programming Semantics For Procedural Content Generation
Artificial Intelligence and Interactive Digital Entertainment Conference, 2023 Research in procedural content generation (PCG) has recently heralded two major methodologies: machine learning (PCGML) and declarative programming. The former shows promise by automating the specification of quality criteria through latent patterns in ...
Abdelrahman Madkour +4 more
semanticscholar +1 more source
Bridging Declarative, Procedural, and Conditional Metacognitive Knowledge Gap Using Deep Reinforcement Learning [PDF]
Annual Meeting of the Cognitive Science Society, 2023 In deductive domains, three metacognitive knowledge types in ascending order are declarative, procedural, and conditional learning. This work leverages Deep Reinforcement Learning (DRL) in providing adaptive metacognitive interventions to bridge the gap ...
Mark Abdelshiheed +3 more
semanticscholar +1 more source
Procedural liability as a legal phenomenon [PDF]
Aktualʹnye Problemy Èkonomiki i Prava, 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 ...
Nikolay Vladimirovich Makareyko
doaj +3 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
An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning (short paper) [PDF]
PAAR@IJCAR, 2022 The logic embedding tool provides a procedural encoding for non-classical reasoning problems into classical higher-order logic. It is extensible and can support an increasing number of different non-classical logics as reasoning targets.
A. Steen
semanticscholar +1 more source
Temporal Inductive Logic Reasoning over Hypergraphs [PDF]
International Joint Conference on Artificial Intelligence, 2022 Inductive logic reasoning is a fundamental task in graph analysis, which aims to generalize patterns from data. This task has been extensively studied for traditional graph representations, such as knowledge graphs (KGs), using techniques like inductive ...
Yuan Yang +4 more
semanticscholar +1 more source