Results 81 to 90 of about 719,711 (199)
International Journal for Numerical Methods in Engineering, Volume 127, Issue 20, 30 October 2026.ABSTRACT This study enhances a framework of surrogate computational homogenization (SCH) using decision tree‐based partition‐of‐unity radial basis function (PU‐RBF) interpolation for three‐dimensional finite‐deformation two‐scale analysis. The method addresses the scalability limitation of global RBF interpolation for large numerical material test (NMT)
Yosuke Yamanaka +2 more
wiley +1 more source
Revising Nonmonotonic Belief Sets: 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, Guido +3 more
core
Advanced Engineering Materials, Volume 28, Issue 20, 21 October 2026.This article explores the transformative potential of symbolic artificial intelligence (AI) in the field of materials science, particularly in leveraging experimental data. The article presents several symbolic AI models and discusses their applications in materials science.
Ahmed Amrani +7 more
wiley +1 more source
Promoting Modular Nonmonotonic Logic Programs∗
, 2015 Modularity in Logic Programming has gained much attention over the past years. To date, many formalisms have been proposed that feature various aspects of modularity. In this paper, we present our current work on Modular Nonmonotonic Logic Programs (MLPs)
Thomas Krennwallner
core
Nonmonotonic Description Logic Programs: Implementation and Experiments
, 2005 . The coupling of description logic reasoning systems with other reasoning formalisms (possibly over the Web) is becoming an important research issue and calls for advanced methods and algorithms.
Hans Tompits +3 more
core +1 more source
Asymptotic Conditional Probability in Modal Logic: A Probabilistic Reconstruction of Nonmonotonic Logic [PDF]
, 2005 We analyze the asymptotic conditional validity of modal formulas, i.e., the probability that a formula ψ is valid in the finite Kripke structures in which a given modal formula φ is valid, when the size of these Kripke structures grows to infinity.
GOTTLOB G., ROSATI, Riccardo
core
A logic with big-stepped probabilities that can model nonmonotonic reasoning of system P
, 2011 We develop a sound and strongly complete axiomatic system for probabilistic logic in which we can model nonmonotonic (or default) reasoning. We discuss the connection between previously developed logics and the two sublogics of the logic ...
Dragan Doder
core +1 more source
Nonmonotonic Logic and Neural Networks
, 1997 A puzzle in the philosophy of mind concerns the gap between symbolic and subsymbolic (neuron-like) modes of processing (e.g. Smolensky 1988). The aim of this paper is to overcome this gap by viewing symbolism as a highlevel description of the properties ...
Paul David Doherty, Reinhard Blutner
core
Evaluation of disjunctive programs in WASP
, 2019 <p>Benchmark set for the paper "Evaluation of disjunctive programs in WASP" accepted for the International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019).</p ...
Giovanni Amendola +12 more
core +1 more source
Chapter 1 Nonmonotonic Causal Logic
, 2008 This chapter describes a nonmonotonic causal logic designed for representing knowledge about the effects of actions. A causal rule φ ⇐ ψ where φ and ψ are formulas of classical logic, is understood to express that (the truth of) ψ is a sufficient ...
Hudson Turner
core