Results 61 to 70 of about 64,991 (246)

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

Views of Vidigal: negotiating opportunities and risks in a gentrifying favela in Rio de Janeiro Favela avec vue : négocier opportunités et risques dans un quartier en voie de gentrification à Rio de Janeiro

Journal of the Royal Anthropological Institute, EarlyView.
The contested dynamics of slum gentrification in Rio de Janeiro came into focus during the brief period of relative peace brought by the pacification policy leading up to the 2016 Olympics. In this unprecedented moment, Rio's South Zone favela residents experienced a respite from the daily confrontations with police operations and drug trade violence ...
Angela Torresan
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  

Society beyond morality: mimesis, sovereignty, and being not‐human in the Nyau associations of Malawi La société par‐delà la moralité : mimèse, souveraineté et existence non humaine dans les sociétés Nyau du Malawi

Journal of the Royal Anthropological Institute, EarlyView.
Nyau masked dancers embodying a variety of people, animals, and objects appear at many public events in Chewa areas of Malawi. Understood to be the physical manifestation of ancestral spirits, these entities are classified as ‘not human’ and transgress ordinary morality, mocking and threatening audiences.
Sam Farrell
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, Adriana Molina‐Muñoz, Antonia Ruppel   +2 more
wiley   +1 more source

Offline Specialisation in Prolog Using a Hand-Written Compiler Generator

, 2004
The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evaluation of both functional and imperative languages.
Bruynooghe, Maurice, Jørgensen, Jesper, Leuschel, Michael, Vanhoof, Wim   +3 more
core   +1 more source

CLASS, PROPERTY RIGHTS AND CITIZENSHIP: Affluent Informal Settlements and the Cultural Production of Property in Delhi

International Journal of Urban and Regional Research, EarlyView.
Abstract Recent scholarship has examined the informal activities of elites. While existing theories suggest that informality is a realm where the state guarantees unhindered access to land and property rights and, subsequently, citizenship entitlements for elites, they have yet to explain how affluent residents of informal colonies obtain citizenship ...
Vivek Mishra
wiley   +1 more source

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, Igor S. Anureev, Natalia O. Garanina   +2 more
doaj   +1 more source

Sociology and The Complexity of What Is Missing

The British Journal of Sociology, EarlyView.
ABSTRACT What is ‘missed’ by sociological literature underpinned by assumptions of presence that a missing approach can rectify? I appropriate a metaphysics of presence and an alternative focus on what is missing as ontological foci to revisit complexity studies in sociology.
Konstantinos Poulis
wiley   +1 more source

South Africa: The Ambiguities of a Middle Power

Global Policy, EarlyView.
ABSTRACT South Africa represents an interesting species of a middle power. This derives from its inherited economic muscle as Africa's powerhouse and the liberation struggle against apartheid, both of which have shaped its democratic transition. The traditions of liberation and democracy, in turn, have profoundly influenced how South Africa has ...
Garth L. le Pere
wiley   +1 more source