Results 111 to 120 of about 129,892 (308)
On the Possibility of a General Purge of Self-Reference
Análisis Filosófico, 2012 My aim in this paper is to gather some evident in favor of the view that a general purge of self-reference is possible. I do this by considering a modal-epistemic version of the Liar Paradox introduced by Roy Cook.
Lucas Rosenblatt
doaj +1 more source
Simple Type Theory as Framework for Combining Logics [PDF]
arXiv, 2010 Simple type theory is suited as framework for combining classical and non-classical logics. This claim is based on the observation that various prominent logics, including (quantified) multimodal logics and intuitionistic logics, can be elegantly embedded in simple type theory.
arxiv
The Hidden Structural Rules of the Discontinuous Lambek Calculus
, 2013 The sequent calculus sL for the Lambek calculus L (lambek 58) has no structural rules. Interestingly, sL is equivalent to a multimodal calculus mL, which consists of the nonassociative Lambek calculus with the structural rule of associativity. This paper
A. Avron +3 more
core +1 more source
Advancements in Machine Learning for Microrobotics in Biomedicine
Advanced Intelligent Systems, EarlyView.Microrobotics is an innovative technology with great potential for noninvasive medical interventions. However, controlling and imaging microrobots pose significant challenges in complex environments and in living organisms. This review explores how machine learning algorithms can address these issues, offering solutions for adaptive motion control and ...
Amar Salehi +6 more
wiley +1 more source
BiSikkel: A Multimode Logical Framework in Agda
Proceedings of the ACM on Programming LanguagesEmbedding Multimode Type Theory (MTT) as a library enables the usage of additional reasoning principles in off-the-shelf proof assistants without risking soundness or compatibility. Moreover, by interpreting embedded MTT terms in an internally constructed model of MTT, we can extract programs and proofs to the metalanguage and obtain interoperability ...
Joris Ceulemans +2 more
openaire +2 more sources
Advanced Intelligent Systems, EarlyView.An interactive haptic system combining a robotic hand with a wearable tactile feedback device is presented. Driven by vision recognition, the robotic hand captures force and temperature data using multiple sensors and transmits the feedback to the user via hydraulic actuation.
Jingu Jeong +3 more
wiley +1 more source
Advances in 3D and 4D Printing of Soft Robotics and Their Applications
Advanced Intelligent Systems, EarlyView.This article summarizes the development of 3D‐printed soft robotics in the recent decade. The article discusses the printing capabilities of different additive manufacturing technologies in terms of soft polymers, multimaterial printability, soft robotic printing, and 4D printing.
Hao Liu +5 more
wiley +1 more source
Pervasive Technologies and the Paradoxes of Multimodal Digital Communication
Lea, 2014 Contemporary societies are greatly challenged by paradoxes in all facets of life. Digital communication encodes and produces meaning by making use of these contradictory relations. In this contribution, three digital paradoxes will be presented.
Sandra Petroni
doaj +1 more source
Multi‐Module Micro/Nanorobots for Biomedical and Environmental Remediation Applications
Advanced Intelligent Systems, EarlyView.Multi‐module microrobots (MNRs) have overcome the limitations of single‐module systems by integrating components such as propeller, actuator, manipulator, and imaging modalities. They show promise in biomedical applications, such as targeted drug delivery and tissue repair, as well as in environmental remediation, including pollutant removal.
Bairong Zhu +4 more
wiley +1 more source
Neurons and symbols: a manifesto [PDF]
, 2010 We discuss the purpose of neural-symbolic integration including its principles, mechanisms and applications. We outline a cognitive computational model for neural-symbolic integration, position the model in the broader context of multi-agent systems ...
Garcez, A.
core