Results 41 to 50 of about 719,711 (199)

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, Tushar Singh Thakur, Manuel Dillenz, Johan M. Carlsson, Celso R. C. Rêgo, Eibar Flores, Hamidreza Hajiyani, Felix Hanke, Juan María García Lastra, Wolfgang Wenzel, Nicola Marzari, Tejs Vegge, Giovanni Pizzi, Ivano E. Castelli   +13 more
wiley   +1 more source

Modal nonmonotonic logics [PDF]

Journal of the ACM, 1993
Monotonic modal logics have long been used as means to study formal properties of such concepts as knowledge and belief. But they are not quite adequate to study knowledge (or belief) sets an agent constructs when he is reasoning not only from what is known to him but also from what is possible or consistent to assume Such reasonings are defeasible ...
V. Wiktor Marek, Mirosław Truszczyński
openaire   +5 more sources

Complexity Results for Nonmonotonic Logics

Journal of Logic and Computation, 1992
The paper provides complexity results for three problems of several nonmonotonic logics. Testing of existence of a fixed point and deciding whether a formula belongs to at least one fixed point are \(\Sigma^ P_ 2\)-complete. Deciding whether a formula belongs to all fixed points is \(\Pi^ P_ 2\)-complete.
openaire   +4 more sources

Revising Nonmonotonic Theories: The Case of Defeasible Logic [PDF]

, 1999
The revision and transformation of knowledge is widely recognized as a key issue in knowledge representation and reasoning. Reasons for the importance of this topic are the fact that intelligent systems are gradually developed and refined, and that often
Governatori, G, Billington, D, Maher, M, Antoniou, G, G. Governatori, D. Billington, G. Antoniou, M. Maher   +7 more
core   +1 more source

Classical Logic, Uniformity, and Weak Excluded Middle in Non-Monotonic Proof-Theoretic Semantics

Bulletin of the Section of Logic
Non-monotonic base-extension semantics (nB-eS), a kind of non-monotonic proof-theoretic semantics (nPTS), is known to validate classical logic when its meta-logic is classical.
Antonio Piccolomini d’Aragona
doaj   +1 more source

Do Governance Structures Drive Green Building Adoption? A Machine Learning Approach With Random Forests

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, José Manuel Santos‐Jaén, María Estefanía Sánchez Pacheco, Fernando José Zambrano Farías   +3 more
wiley   +1 more source

Induction and Confirmation Theory: An Approach based on a Paraconsistent Nonmonotonic Logic

Princípios, 2011
This paper is an effort to realize and explore the connections that exist between nonmonotonic logic and confirmation theory. We pick up one of the most wide-spread nonmonotonic formalisms – default logic – and analyze to what extent and under what ...
Ricardo Sousa Silvestre
doaj  

The Fading Premium: Environmental and Financial Performance Across Nordic Industries

Business Strategy and the Environment, EarlyView.
ABSTRACT The relationship between environmental and financial performance remains one of the most studied and least settled questions in business research. Using a panel of 741 Nordic listed firms from 2018 to 2025, we study how industry, time, firm resources, and the substance of engagement condition it. Industry determines where a relationship exists
Ane C. H. Jensen, René Goduscheit, Amjad Naveed   +2 more
wiley   +1 more source

The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics [PDF]

, 2013
In recent years, Answer Set Programming (ASP), logic programming under the stable model or answer set semantics, has seen several extensions by generalizing the notion of an atom in these programs: be it aggregate atoms, HEX atoms, generalized ...
Alviano, Mario, Faber, Wolfgang, Wolfgang Faber, Mario Alviano   +3 more
core   +1 more source

Bio‐inspired vision: From principle, material architectures to system‐level integration

FlexMat, EarlyView.
This review introduces the development and mechanism of electronic and ionic bio‐inspired vision devices respectively. Then, it explores the impact of structure on bio‐inspired visual performance from the scale of intrinsic materials and device. Finally, it concludes that only by combining advanced software and technology can more complex vision ...
Zewan Lin, Miaoyi Xu, Xianda Ma, Weifeng Yang, Yuanlong Shao   +4 more
wiley   +1 more source