Results 21 to 30 of about 98,988 (307)
Semantics of Propositional Fuzzy Modal Logic with Evaluated Syntax and its Application to Fuzzy Decision Implications [PDF]
This paper deals with propositional fuzzy modal logic with evaluated syntax based on MV-algebras. We focus on its semantical theory from the viewpoint of Pavelka's graded semantics of propositional fuzzy logic, investigate the L-tautologies based on ...
Xiaodong Pan, Yang Xu
doaj +1 more source
Learning Invariants using Decision Trees and Implication Counterexamples [PDF]
Inductive invariants can be robustly synthesized using a learning model where the teacher is a program verifier who instructs the learner through concrete program configurations, classified as positive, negative, and implications.
Daniel Neider +7 more
core +1 more source
Decisions and their future implications [PDF]
Neuroscience We constantly make choices. It is often important to consider not only the short-term but also the longer-term implications of a choice, also known as its prospective value. In a combined decision-making and brain-scanning study, Kolling et al.
openaire +1 more source
Formal concept analysis (FCA) is largely applied in different areas. However, in some FCA applications the volume of information that needs to be processed can become unfeasible.
Phillip G. Santos +6 more
doaj +1 more source
A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems
Clause learning is the key component of modern SAT solvers, while conflict analysis based on the implication graph is the mainstream technology to generate the learnt clauses.
Qingshan Chen +3 more
doaj +1 more source
Can the Ethical Orientation Mitigate the Manager’s Earnings Management?
Research aims: This study investigates the role of the ethical orientation of management in the relationship of asymmetry information and management status toward an individual’s decision-making with respect to earnings management behaviors.
Priyastiwi Priyastiwi +2 more
doaj +1 more source
The study assesses the two approaches of feminization: labor and managerial, and explores the implication of feminization in agricultural production in Gorkha and Chitwan district of Nepal.
Binod Lamichhane +4 more
doaj +1 more source
On 2017, Minister of Agrarian Affair and Spatial/Head of National Land Agency of Indonesia enacted a decision that point desa pakraman on Bali Province as communal owner right subject of the land.
I Ketut Sudantra
doaj +1 more source
Data mining, as an essential part of artificial intelligence, is a powerful digital technology, which makes businesses predict future trends and alleviate the process of decision-making and enhancing customer experience along their digital transformation
Mydyti Hyrmet
doaj +1 more source
Corporate governance delivers feasible and controlled company operations using a group of common shareholders and appropriate policies. The roles and responsibilities of the shareholders suggest and improve corporate development through monotonous and ...
Wenjun Shen
doaj +1 more source

