Results 41 to 50 of about 572,128 (190)
, 2002 Nested logic programs have recently been introduced in order to allow for arbitrarily nested formulas in the heads and the bodies of logic program rules under the answer sets semantics.
Pearce, David +4 more
core +2 more sources
Argumentation Semantics for Defeasible Logic
Journal of Logic and Computation, 2004 Defeasible reasoning is a simple but efficient rule-based approach to nonmonotonic reasoning. It has powerful implementations and shows promise to be applied in the areas of legal reasoning and the modelling of business rules.
Guido Governatori +3 more
semanticscholar +1 more source
The Interoperability Challenge in DFT Workflows Across Implementations
Advanced Intelligent Discovery, EarlyView.Interoperability and cross‐validation remain major challenges in the computational materials science. In this work, we introduce a common input/output standard that enables internal translation across multiple workflow managers—AiiDA, PerQueue, Pipeline Pilot, and SimStack—while producing results in a unified schema.
Simon K. Steensen +13 more
wiley +1 more source
Data‐Driven Modeling of Forces Exerted by Pneumatic Actuators for a Pediatric Exosuit
Advanced Intelligent Systems, EarlyView.This work presents the experimental analysis and data‐driven modeling of the interaction forces between soft pneumatic actuators designed to assist upper‐extremity motion in a pediatric exosuit and an engineered test rig, across different experimental conditions: (A) force profiling of shoulder actuators, with varying actuator anchoring points and ...
Mehrnoosh Ayazi +4 more
wiley +1 more source
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
A Soft Robotic Jellyfish with Decoupled Actuators for Agile 3D Locomotion
Advanced Intelligent Systems, EarlyView.This study presents a soft robotic jellyfish featuring a functionally decoupled actuation architecture. By separating propulsion, steering, and vertical regulation into independent modules, the robot overcomes conventional coupled‐motion limitations. Utilizing a passive‐valve‐based differential drag strategy and lateral water jets, it achieves agile 3D
Zhuoheng Li +6 more
wiley +1 more source
Optimizing the computation of overriding
, 2015 We introduce optimization techniques for reasoning in DLN---a recently introduced family of nonmonotonic description logics whose characterizing features appear well-suited to model the applicative examples naturally arising in biomedical domains and ...
BC Grau +17 more
core +1 more source
The Effect of Sintering Flue Gas Composition on NO Reduction in Coke
Asia-Pacific Journal of Chemical Engineering, EarlyView.ABSTRACT The strategy of substituting combustion air with sintering flue gas in circulating fluidized bed (CFB) systems provides a low‐cost and highly efficient approach for the purification of sintering off‐gas. In this work, coke was employed as the reducing agent, and a high‐temperature vertical tube furnace was used to simulate the dense‐phase ...
Canbin Huang +5 more
wiley +1 more source
Business Strategy and the Environment, EarlyView.ABSTRACT This study examines the determinants of firms' propensity to adopt green buildings in the Euro Stoxx 300 and the S&P 500 indices, during 2012–2023. Using random forest binary classifiers, we assess the relative importance of financial, sectoral, geographic, and climate governance predictors and uncover nonlinear relationships often overlooked ...
María del Carmen Valls Martínez +3 more
wiley +1 more source
Crystallization of Water Mediated by Carbon
Geophysical Monograph Series, Page 77-86., 2020 This book is Open Access. A digital copy can be downloaded for free from Wiley Online Library.
Explores the behavior of carbon in minerals, melts, and fluids under extreme conditions
Carbon trapped in diamonds and carbonate-bearing rocks in subduction zones are examples of the continuing exchange of substantial carbon ...
Tianshu Li, Yuanfei Bi, Boxiao Cao
wiley +1 more source