Results 101 to 110 of about 1,803,872 (361)
Reasoning about Minimal Belief and Negation as Failure
, 2011 We investigate the problem of reasoning in the propositional fragment of MBNF, the logic of minimal belief and negation as failure introduced by Lifschitz, which can be considered as a unifying framework for several nonmonotonic formalisms, including ...
Rosati, R.
core +1 more source
Flexible Sensor‐Based Human–Machine Interfaces with AI Integration for Medical Robotics
Advanced Robotics Research, EarlyView.This review explores how flexible sensing technology and artificial intelligence (AI) significantly enhance human–machine interfaces in medical robotics. It highlights key sensing mechanisms, AI‐driven advancements, and applications in prosthetics, exoskeletons, and surgical robotics.
Yuxiao Wang +5 more
wiley +1 more source
Two Variable vs. Linear Temporal Logic in Model Checking and Games [PDF]
Logical Methods in Computer Science, 2013 Model checking linear-time properties expressed in first-order logic has non-elementary complexity, and thus various restricted logical languages are employed. In this paper we consider two such restricted specification logics, linear temporal logic (LTL)
Michael Benedikt +2 more
doaj +1 more source
, 2017 We consider the two-variable fragment of first-order logic with one distinguished binary predicate constrained to be interpreted as a transitive relation.
Pratt-Hartmann, Ian
core +1 more source
International Joint Conference on Artificial Intelligence, 2019 We introduce Probabilistic Strategy Logic, an extension of Strategy Logic for stochastic systems. The logic has probabilistic terms that allow it to express many standard solution concepts, such as Nash equilibria in randomised strategies, as well as ...
Benjamin Aminof +4 more
semanticscholar +1 more source
3D Printing of Soft Robotic Systems: Advances in Fabrication Strategies and Future Trends
Advanced Robotics Research, EarlyView.Collectively, this review systematically examines 3D‐printed soft robotics, encompassing material selections, function integration, and manufacturing methodologies. Meanwhile, fabrication strategies are analyzed in order of increasing complexity, highlighting persistent challenges with proposed solutions.
Changjiang Liu +5 more
wiley +1 more source
Sequent Calculi for the classical fragment of Bochvar and Halldén's Nonsense Logics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 In this paper sequent calculi for the classical fragment (that is, the conjunction-disjunction-implication-negation fragment) of the nonsense logics B3, introduced by Bochvar, and H3, introduced by Halldén, are presented.
Marcelo E. Coniglio, María I. Corbalán
doaj +1 more source
Advanced Sustainable Systems, EarlyView.The shift to biodegradable materials in healthcare promises reduced plastic pollution, but their production, adoption, and long‐term impacts remain complex. Integrating lifecycle insights with global policy coordination is essential for meaningful environmental gains. Abstract The COVID‐19 pandemic sharply increased medical waste, intensifying concerns
By Haoxuan Yu +2 more
wiley +1 more source
, 2003 We present role logic, a notation for describing properties of relational structures in shape analysis, databases, and knowledge bases. We construct role logic using the ideas of de Bruijn's notation for lambda calculus, an encoding of first-order logic ...
Kuncak, Viktor, Rinard, Martin
core +5 more sources
Monadic Fragments of Intuitionistic Control Logic [PDF]
Bulletin of the Section of Logic, 2016 We investigate monadic fragments of Intuitionistic Control Logic (ICL), which is obtained from Intuitionistic Propositional Logic (IPL) by extending language of IPL by a constant distinct from intuitionistic constants. In particular we present the complete description of purely negational fragment and show that most of monadic fragments are finite.
openaire +5 more sources