Results 51 to 60 of about 21,415 (228)
Paradeduction in Axiomatic Formal Systems
, 2022 The concept of paradeduction is presented in order to justify that we can overlook contradictory information taking into account only what is consistent.
Costa-Leite, Alexandre +2 more
core
Belief Revision, Minimal Change and Relaxation: A General Framework based on Satisfaction Systems, and Applications to Description Logics [PDF]
, 2017 Belief revision of knowledge bases represented by a set of sentences in a given logic has been extensively studied but for specific logics, mainly propositional, and also recently Horn and description logics. Here, we propose to generalize this operation
Aiguier, Marc +3 more
core +5 more sources
MusicSwarm: Biologically Inspired Intelligence for Music Composition
Advanced Intelligent Systems, EarlyView.Biologically inspired swarms of frozen foundation models self‐organize to compose complex music without fine‐tuning. By coordinating through stigmergic signals, decentralized agents dynamically evolve specialized roles and adapt to solve complex tasks.
Markus J. Buehler
wiley +1 more source
On formal aspects of the epistemic approach to paraconsistency [PDF]
, 2018 This paper reviews the central points and presents some recent developments of the epistemic approach to paraconsistency in terms of the preservation of evidence.
Carnielli, Walter +2 more
core
Advanced Intelligent Systems, EarlyView.This study presents a novel framework that enhances the reliability of DNS traffic monitoring using a hybrid long short‐term memory‐deep neural network (LSMT‐DNN) architecture, enabling robust detection of adversarial DNS tunneling. The proposed framework leverages feature extraction from DNS traffic patterns, including domain request sequences, query ...
Ahmad Almadhor +5 more
wiley +1 more source
Modal logic S4 as a paraconsistent logic with a topological semantics [PDF]
, 2017 In this paper the propositional logic LTop is introduced, as an extension of classical propositional logic by adding a paraconsistent negation. This logic has a very natural interpretation in terms of topological models.
E. Coniglio, Marcelo +1 more
core
Advanced Intelligent Systems, EarlyView.Artificial intelligence (AI) is reshaping autonomous mobile robot navigation beyond classical pipelines. This review analyzes how AI techniques are integrated into core navigation tasks, including path planning and control, localization and mapping, perception, and context‐aware decision‐making. Learning‐based, probabilistic, and soft‐computing methods
Giovanna Guaragnella +5 more
wiley +1 more source
Two Indian dialectical logics: saptabhangi and catuskoti [PDF]
, 2010 A rational interpretation is proposed for two ancient Indian logics: the Jaina saptabhaṅgī, and the Mādhyamika catuṣkoṭi. It is argued that the irrationality currently imputed to these logics relies upon some philosophical preconceptions inherited from ...
Schang, Fabien
core +1 more source
Contradiction-tolerant process algebra with propositional signals
, 2017 In a previous paper, an ACP-style process algebra was proposed in which propositions are used as the visible part of the state of processes and as state conditions under which processes may proceed.
Bergstra, J. A., Middelburg, C. A.
core +1 more source
The psychosocial toll of Dublin III on asylum seekers in the Netherlands
American Journal of Community Psychology, EarlyView.Abstract The Dublin III Regulation determines which EU Member State is responsible for examining asylum claims, but its implementation carries significant consequences for those subjected to it. This study examines how Dublin III, as implemented in the Netherlands, affects asylum seekers' psychosocial wellbeing using Silove′s Adaptation and Development
Imen El Amouri
wiley +1 more source