Results 71 to 80 of about 101,814 (276)
Rigid and flexible quantification in plural predicate logic [PDF]
Noun phrases with overt determiners, such as \u3ci\u3esome apples\u3c/i\u3e or \u3ci\u3ea quantity of milk\u3c/i\u3e, differ from bare noun phrases like \u3ci\u3eapples\u3c/i\u3e or \u3ci\u3emilk\u3c/i\u3e in their contribution to aspectual composition ...
Bledin, Justin +2 more
core
Developing a Human Learning Systems approach for inter‐agency collaboration: Lessons from the UK NHS
Australian Journal of Public Administration, EarlyView.Abstract This research note presents an exploratory case study that investigates ways in which Human Learning Systems (HLS) has been applied to a new UK health initiative, Collaborative Newcastle. Collaborative Newcastle is a multi‐agency venture that brings together the National Health Service, local government, higher education, voluntary ...
Christianne Ormston, Michael Macaulay
wiley +1 more source
Logic Programming for Describing and Solving Planning Problems
, 2000 A logic programming paradigm which expresses solutions to problems as stable models has recently been promoted as a declarative approach to solving various combinatorial and search problems, including planning problems.
Bruynooghe, Maurice
core +2 more sources
Australian Journal of Public Administration, EarlyView.Abstract It is not uncommon that original aspirations of social policy go astray during implementation. Issues that are the focus of social policy are often tied to various competing social, political, and value positions, making them unfailingly ‘wicked’ and rendering the design and implementation of solutions inherently challenging.
Eloise Hummell +3 more
wiley +1 more source
Leadership Dynamics in Open Innovation: A Dynamic Process Model
British Journal of Management, EarlyView.Abstract This study contributes to understanding the human side of open innovation (OI) by reconceptualizing leadership as an emergent and dynamic process. Drawing upon extensive research in leadership theory and insights from emerging studies on non‐traditional organizational structures such as online communities and technology collaborations, the ...
Deborah. L. Roberts, Simona Spedale
wiley +1 more source
Journal of the Royal Anthropological Institute, EarlyView.History does not unfold along a single trajectory, and yet the socioecological configuration of landscapes may narrow the directions history can take. This article develops a framework for assessing the directionality of history in a (pre)historic heath landscape in Denmark.
Zachary Caple, Mette Løvschal
wiley +1 more source
Relative Constructions in Classical/Epic Sanskrit
Transactions of the Philological Society, EarlyView.Abstract While it is widely recognised that Sanskrit shows two major types of relative construction – one relative–correlative, the other similar to postnominal relative clauses in languages like English – it has not been established what the crucial syntactic distinctions are between these types, given the wide range of syntactic variation found in ...
John J. Lowe +2 more
wiley +1 more source
A Galois connection between classical and intuitionistic logics. I: Syntax
, 2017 In a 1985 commentary to his collected works, Kolmogorov remarked that his 1932 paper "was written in hope that with time, the logic of solution of problems [i.e., intuitionistic logic] will become a permanent part of a [standard] course of logic.
Melikhov, Sergey A.
core
Requirement patterns in deductive verification of poST Programs
Моделирование и анализ информационных системProcess-oriented programming is one of the approaches to developing control software. A process-oriented program is defined as a sequence of processes. Each process is represented by a set of named states containing program code that define the logic of ...
Ivan M. Chernenko +2 more
doaj +1 more source