Results 31 to 40 of about 9,610 (197)
Embedding Defeasible Logic into Logic Programming
, 2005 Defeasible reasoning is a simple but efficient approach to nonmonotonic reasoning that has recently attracted considerable interest and that has found various applications. Defeasible logic and its variants are an important family of defeasible reasoning
Antoniou, Grigoris +3 more
core +2 more sources
Computers & Mathematics with Applications, 1997 Nonmonotonic reasoning provides formal methods that enable intelligent systems to operate adequately when faced with incomplete or changing information. In particular, it provides rigorous mechanisms for taking back conclusions that, in the presence of new information, turn out to be wrong and for deriving new, alternative conclusions instead ...
openaire +2 more sources
The SP Theory of Intelligence: An Overview
Information, 2013 This article is an overview of the SP theory of intelligence, which aims to simplify and integrate concepts across artificial intelligence, mainstream computing and human perception and cognition, with information compression as a unifying theme.
J Gerard Wolff
doaj +1 more source
Proof Complexity of Propositional Default Logic [PDF]
, 2010 Default logic is one of the most popular and successful formalisms for non-monotonic reasoning. In 2002, Bonatti and Olivetti introduced several sequent calculi for credulous and skeptical reasoning in propositional default logic.
Beyersdorff, O +4 more
core +3 more sources
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
Partial MaxSAT Approach to Nonmonotonic Reasoning with System W
Proceedings of the International Florida Artificial Intelligence Research Society ConferenceThe only recently introduced System W is a nonmonotonic inductive inference operator exhibiting some notable proper- ties like extending rational closure and satisfying syntax split- ting postulates for inference from conditional belief bases. A semantic
Christoph Beierle +2 more
doaj +1 more source
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
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
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
Loop Formulas for Description Logic Programs
, 2010 Description Logic Programs (dl-programs) proposed by Eiter et al. constitute an elegant yet powerful formalism for the integration of answer set programming with description logics, for the Semantic Web.
Brewka +13 more
core +1 more source