Results 91 to 100 of about 44,803 (280)
From Niche to Mainstream: A Knowledge Exchange Model for Sustainable Housing Adoption
Knowledge and Process Management, EarlyView.ABSTRACT As climate change intensifies the demand for sustainable practices, the residential housing sector remains a critical yet underutilized area for promoting energy efficiency. Although consumer awareness is increasing, sustainable and energy‐efficient (SEE) housing continues to occupy a niche market.
Lianne Foti
wiley +1 more source
The Past, Present, and Future of Customer Knowledge Management: A Review and Research Agenda
Knowledge and Process Management, EarlyView.ABSTRACT We develop and present a framework for research in customer knowledge management (CKM) that synthesizes insights from a comprehensive literature review spanning 2000 to 2024. This framework highlights the determinants, impacts, and moderators shaping CKM and its role in contemporary organizations.
Victoria Y. Ourzik
wiley +1 more source
Pons Asinorum for Classical Propositional Logic
, 2023 Contemporary Logic pays little or, even, no attention to the construction of arguments for a given conclusion, unlike what occurs in Aristotle's Prior Analytics. The procedure of Aristotle was later compiled in the form of a logical diagram known as the “Bridge of Asses” (Pons Asinorum).
openaire +1 more source
Knowledge and Process Management, EarlyView.ABSTRACT This study examines how business process management (BPM) maturity shapes digital transformation in a large financial institution operating in a highly regulated, emerging‐economy context. Drawing on a qualitative single case study, the research applies Rosemann and De Bruin's BPM Maturity Model to analyse how different maturity dimensions ...
Shirley Xavier Segala +2 more
wiley +1 more source
Method of marks for propositional linear temporal logic
Lietuvos Matematikos Rinkinys, 2014 It is known that traditional techniques used to ensure termination of a decision procedure in non-classical logics are based on loop-checking, in general.
Regimantas Pliuškevičius
doaj +1 more source
On Axiomatic Systems for Classical Propositional Logic
, 2022 We describe selected axiomatic systems for classical propositional logic and show how Isabelle/HOL helps investigate such systems. We consider systems based on implicationand falsity, implication and negation, and disjunction and negation.
Eschen, Agnes Moesgård +1 more
openaire +1 more source
The ILLTP Library for Intuitionistic Linear Logic [PDF]
Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited.
De Paiva, Valeria Correa Vaz +3 more
core
Back to the Mission. Revisiting Slack in Nonprofits and Introducing Tappable Slack
Nonprofit Management and Leadership, EarlyView.ABSTRACT This article contributes to and develops the previous literature on excess resources (“slack”) in nonprofit organizations through a conceptual analysis of the implications that the organizational distinctiveness of nonprofits carries for our understanding of slack in these organizations.
Marta Reuter +2 more
wiley +1 more source
Hybrid Deduction–Refutation Systems
Axioms, 2019 Hybrid deduction–refutation systems are deductive systems intended to derive both valid and non-valid, i.e., semantically refutable, formulae of a given logical system, by employing together separate derivability operators for each of these and combining
Valentin Goranko
doaj +1 more source
PLANTS, PEOPLE, PLANET, EarlyView.Xylella fastidiosa is a major plant pathogen affecting crops such as grapes, citrus, almonds, and olives, with potentially severe consequences for agricultural production and rural livelihoods worldwide. This paper examines the conflict around the management of the X. fastidiosa outbreak affecting olive trees in southern Italy.
Fabio Gatti +2 more
wiley +1 more source