Results 51 to 60 of about 9,610 (197)

Generalized Matsuoka–Nakai criterion considering hydrostatic pressure dependence in the brittle–ductile region

Deep Underground Science and Engineering, EarlyView.
Three sets of strength data were selected, including hydrostatic pressure independent within the brittle region (HPI‐B), hydrostatic pressure dependent within the brittle region (HPD‐B), and hydrostatic pressure dependent within the brittle–ductile region (HPD‐BD). For HPI type, the failure envelope within the deviatoric plane remains constant.
Jiacun Liu, Junjie Xiao, Dongping Liu, Ying Xu   +3 more
wiley   +1 more source

Testing and Debugging Techniques for Answer Set Solver Development

, 2010
This paper develops automated testing and debugging techniques for answer set solver development. We describe a flexible grammar-based black-box ASP fuzz testing tool which is able to reveal various defects such as unsound and incomplete behavior, i.e ...
Brummayer, Robert, Järvisalo, Matti
core   +2 more sources

Strong Inconsistency in Nonmonotonic Reasoning [PDF]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Minimal inconsistent subsets of knowledge bases play an important role in classical logics, most notably for repair and inconsistency measurement. It turns out that for nonmonotonic reasoning a stronger notion is needed. In this paper we develop such a notion, called strong inconsistency.
Gerhard Brewka, Matthias Thimm, Markus Ulbricht   +2 more
openaire   +1 more source

Experimental study on burning rate and flame geometry in construction tunnel fires under high geothermal conditions

Deep Underground Science and Engineering, EarlyView.
Abstract As tunnel construction advances in lengths and depths, the construction of tunnels in high geothermal environments has become increasingly common, raising significant fire risks. In this study, a 1:20 scale model tunnel test platform was constructed to investigate the effects of a high geothermal environment on fire behavior in tunnels during ...
Xiaoxian Fei, Maozhen Liu, Jiayi Ha, Linbo Du, Zhi Li, Yuhao Li, Chuangang Fan   +6 more
wiley   +1 more source

A Nonmonotonic Sequent Calculus for Inferentialist Expressivists [PDF]

, 2016
I am presenting a sequent calculus that extends a nonmonotonic consequence relation over an atomic language to a logically complex language. The system is in line with two guiding philosophical ideas: (i) logical inferentialism and (ii) logical ...
Hlobil, Ulf
core  

A Multivariate Mixed‐Effects Regression Framework for Ground Motion Modeling: Integrating Parametric and Machine Learning Approaches

Earthquake Engineering &Structural Dynamics, EarlyView.
ABSTRACT Multivariate ground motion models (GMMs) that capture the correlation between different intensity measures (IMs) are essential for seismic risk assessment. Conventional GMMs are often developed using a two‐stage approach, where separate univariate models with predefined functional forms are fitted first, and correlation is addressed in a ...
Sayed Mohammad Sajad Hussaini, Shaghayegh Karimzadeh, Paulo B. Lourenço   +2 more
wiley   +1 more source

On Properties of Update Sequences Based on Causal Rejection

, 2001
We consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under answer set semantics. New information is incorporated into the current knowledge base subject to a causal rejection principle enforcing that, in ...
Eiter, T., Fink, M., Sabbatini, G., Tompits, H.   +3 more
core   +2 more sources

From Empire to Aid: Analysing Persistence of Colonial Legacies in Foreign Aid to Africa

Journal of International Development, EarlyView.
ABSTRACT For decades now, Western development agencies and donors have been castigated for their colonial biases in providing aid to Africa. It is well established that donors provide considerably more foreign aid to their former colonies relative to other countries.
Swetha Ramachandran
wiley   +1 more source

On cascade products of answer set programs

, 2014
Describing complex objects by elementary ones is a common strategy in mathematics and science in general. In their seminal 1965 paper, Kenneth Krohn and John Rhodes showed that every finite deterministic automaton can be represented (or "emulated") by a ...
Antić, Christian
core   +1 more source

Physics‐Informed Neural Networks for Battery Degradation Prediction Under Random Walk Operations

Quality and Reliability Engineering International, EarlyView.
ABSTRACT This study addresses the challenge of predicting the state of health (SoH) and capacity degradation in Battery Energy Storage Systems (BESS) under highly variable conditions induced by frequent control adjustments. In environments where random walk behavior prevails due to stochastic control commands, conventional estimation methods often ...
Alaa Selim, Huadong Mo, Hemanshu Pota, Daoyi Dong   +3 more
wiley   +1 more source