Strain Engineering of Anisotropic Electronic, Transport, and Photoelectric Properties in Monolayer Sn2Se2P4 [PDF]
NanomaterialsIn this study, we demonstrate that the Sn2Se2P4 monolayer exhibits intrinsic anisotropic electronic characteristics with the strain-synergistic modulation of carrier transport and optoelectronic properties, as revealed by various levels of density ...
Haowen Xu, Yuehua Xu
doaj +2 more sources
Ethical System Formalization using Non-Monotonic Logics [PDF]
, 2007 Ethics is the science of duty, i.e. the science that elucidates the rules of the right behavior. Nevertheless, it seems that the way we rule our lives is intuitive and based on common sense. For instance, it is common to say that ethical rules are default rules, which means that they tolerate exceptions.
Jean‐Gabriel Ganascia
openaire +3 more sources
Noise-resistant Landau-Zener sweeps from geometrical curves [PDF]
Quantum, 2022 Landau-Zener physics is often exploited to generate quantum logic gates and to perform state initialization and readout. The quality of these operations can be degraded by noise fluctuations in the energy gap at the avoided crossing.
Fei Zhuang +3 more
doaj +1 more source
Induction of Non-Monotonic Logic Programs to Explain Boosted Tree Models Using LIME
, 2019 We present a heuristic based algorithm to induce \textit{nonmonotonic} logic programs that will explain the behavior of XGBoost trained classifiers.
Farhad Shakerin, Gopal Gupta
openalex +4 more sources
A Unified Algebraic Framework for Non-Monotonicity [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Tremendous research effort has been dedicated over the years to thoroughly investigate non-monotonic reasoning. With the abundance of non-monotonic logical formalisms, a unified theory that enables comparing the different approaches is much called for ...
Nourhan Ehab, Haythem O. Ismail
doaj +1 more source
Minimally inconsistent reasoning in Semantic Web. [PDF]
PLoS ONE, 2017 Reasoning with inconsistencies is an important issue for Semantic Web as imperfect information is unavoidable in real applications. For this, different paraconsistent approaches, due to their capacity to draw as nontrivial conclusions by tolerating ...
Xiaowang Zhang
doaj +1 more source
A Knowledge Representation Framework Based on Epistemic Logic [PDF]
Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki, 2014 We introduce a uniform non-monotonic framework for knowledge representation based on epistemic logic which is sufficiently general to encompass several nonmonotonic formalisms, including circumscription, autoepistemic logic, various semantics proposed ...
Teodor Przymusiński
doaj +1 more source
Applications of Linear Defeasible Logic: combining resource consumption and exceptions to energy management and business processes [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Linear Logic and Defeasible Logic have been adopted to formalise different features of knowledge representation: consumption of resources, and non monotonic reasoning in particular to represent exceptions.
Francesco Olivieri +3 more
doaj +1 more source
Non-Axiomatic Logic Modeling of English Texts for Knowledge Discovery and Commonsense Reasoning
Applied Sciences, 2023 Non-axiomatic logic (NAL) is a term-based, non-monotonic, multi-valued logic with evidence-based formal semantics. All those characteristics position NAL as an excellent candidate for modeling natural language expressions and supporting artificial agents
Osiris Juárez +2 more
doaj +1 more source
On the Strong Equivalences for LPMLN Programs [PDF]
Logical Methods in Computer Science, 2021 LPMLN is a powerful knowledge representation and reasoning tool that combines the non-monotonic reasoning ability of Answer Set Programming (ASP) and the probabilistic reasoning ability of Markov Logic Networks (MLN).
Bin Wang +3 more
doaj +1 more source