Results 31 to 40 of about 697,506 (186)
A nonmonotonic observation logic
Artificial Intelligence, 2004 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
The Logic of Confirmation and Theory Assessment [PDF]
, 2004 This paper discusses an almost sixty year old problem in the philosophy of science -- that of a logic of confirmation. We present a new analysis of Carl G.
Huber, Franz
core
Advanced Science, EarlyView.Interpretable machine learning reveals how composition and processing govern the formation and microstructural burden of Fe‐rich intermetallic compounds in recycled Al–Si–Fe–Mn alloys. By separating morphology selection from morphology‐conditioned burden partitioning, this framework shows that identical Fe contents can yield different intermetallic ...
Jaemin Wang +2 more
wiley +1 more source
Modular nonmonotonic logic programming revisited [PDF]
, 2009 . Recently, enabling modularity aspects in Answer Set Programming (ASP) has gained increasing interest to ease the composition of program parts to an overall program.
Krennwallner, Thomas +7 more
core +1 more source
Philosophy East and West, 2004 Claus Oetke, in his "Ancient Indian Logic as a Theory of Non-monotonic Reasoning," presents a sweeping new interpretation of the early history of Indian logic. His main proposal is that Indian logic up until Dharmakirti was nonmonotonic in character-similar to some of the newer logics that have been explored in the field of Artificial Intelligence ...
openaire +3 more sources
A Unifying Approach to Self‐Organizing Systems Interacting via Conservation Laws
Advanced Intelligent Discovery, EarlyView.The article develops a unified way to model and analyze self‐organizing systems whose interactions are constrained by conservation laws. It represents physical/biological/engineered networks as graphs and builds projection operators (from incidence/cycle structure) that enforce those constraints and decompose network variables into constrained versus ...
F. Barrows +7 more
wiley +1 more source
Weak nonmonotonic probabilistic logics
Artificial Intelligence, 2005 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +6 more sources
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 +3 more
core +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
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