Relevant bibliographies by topics / Logic stratification

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers

Academic literature on the topic 'Logic stratification'

Author: Grafiati
Published: 2 June 2025
Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Logic stratification.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Logic stratification"

1

Antoniou, Grigoris. "Stratification for default logic variants." International Journal of Intelligent Systems 13, no. 9 (1998): 785–99. http://dx.doi.org/10.1002/(sici)1098-111x(199809)13:9<785::aid-int1>3.0.co;2-e.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Zarycki, Tomasz. "Class Analysis in Conditions of a Dual-Stratification Order." East European Politics and Societies: and Cultures 29, no. 3 (2015): 711–18. http://dx.doi.org/10.1177/0888325415599199.

Full text
Abstract:
This article presents a critique of classic applications of class analysis to Polish society. It argues from a Bourdieusian standpoint that class is subordinate to culture in shaping social relations in Poland. More specifically, Poland can be seen as a dual-stratification order, with the economic logic of class clashing continually with the logic of rank, which is defined in terms of cultural capital. These two models of logics appear to be in constant competition, which may also be related to the tension between economic and cultural elites. The latter is most clearly represented by the old
APA, Harvard, Vancouver, ISO, and other styles
3

Palopoli, Luigi. "Testing logic programs for local stratification." Theoretical Computer Science 103, no. 2 (1992): 205–34. http://dx.doi.org/10.1016/0304-3975(92)90013-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Fischer, Andreas. "O-minimal Λm-regular stratification". Annals of Pure and Applied Logic 147, № 1-2 (2007): 101–12. http://dx.doi.org/10.1016/j.apal.2007.04.002.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Crabbé, Marcel. "Stratification and cut-elimination." Journal of Symbolic Logic 56, no. 1 (1991): 213–26. http://dx.doi.org/10.2307/2274915.

Full text
Abstract:
In this paper, we show the normalization of proofs of NF (Quine's New Foundations; see [15]) minus extensionality. This system, called SF (Stratified Foundations) differs in many respects from the associated system of simple type theory. It is written in a first order language and not in a multi-sorted one, and the formulas need not be stratifiable, except in the instances of the comprehension scheme. There is a universal set, but, for a similar reason as in type theory, the paradoxical sets cannot be formed.It is not immediately apparent, however, that SF is essentially richer than type theor
APA, Harvard, Vancouver, ISO, and other styles
6

Boudes, Pierre, Damiano Mazza, and Lorenzo Tortora de Falco. "An abstract approach to stratification in linear logic." Information and Computation 241 (April 2015): 32–61. http://dx.doi.org/10.1016/j.ic.2014.10.006.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Persson, Erik, Ewan Ferlie, and Juan Baeza. "Understanding professional stratification and hybridisation in the medical profession: exploratory evidence from Brazilian federal university hospitals." Revista de Administração Pública 55, no. 5 (2021): 1034–76. http://dx.doi.org/10.1590/0034-761220200792.

Full text
Abstract:
Abstract This paper explores drivers, implications, and trends of professional stratification and hybridisation in the medical profession employed in Brazilian substituir por: federal university hospitals (HUFs). Drawing on exploratory findings, we examine some repercussions of the migration of university hospitals to EBSERH, a public company established by the federal government to manage and organise HUFs integrated into the Unified Health System (SUS). Our research shows that transferring hospital administration to EBSERH has led to further internal stratification of the medical workforce.
APA, Harvard, Vancouver, ISO, and other styles
8

Zhao, Henry. "Study of the Reproduction of Educational Stratification." BCP Social Sciences & Humanities 19 (August 30, 2022): 654–57. http://dx.doi.org/10.54691/bcpssh.v19i.1806.

Full text
Abstract:
The reproduction of educational stratification, also known as the solidification of social stratification due to the uneven distribution of educational resources, is one of the current social ills. With the help of Bourdieu's educational stratification theory, the logical mechanism of the reproduction of educational stratification is analyzed from the logic of the process before entering the schooling system, during the schooling system, and after leaving the schooling system to provide countermeasures and references for breaking the solidification of educational resources stratification.
APA, Harvard, Vancouver, ISO, and other styles
9

Leone, N., and G. Rossi. "Well-founded semantics and stratification for ordered logic programs." New Generation Computing 12, no. 1 (1993): 91–121. http://dx.doi.org/10.1007/bf03038273.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Searson, Michael. "Logic, pedagogy, and social stratification: A response to Papert." New Ideas in Psychology 4, no. 2 (1986): 229–30. http://dx.doi.org/10.1016/0732-118x(86)90013-9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Logic stratification"

1

Yan, Q. "Adapted deformations and Ekedahl-Oort stratifications of Shimura varieties." Doctoral thesis, Università degli Studi di Milano, 2017. http://hdl.handle.net/2434/540526.

Full text
Abstract:
The thesis deals with the Ekedahl-Oort stratification of the special fibre of Shimura varieties of Hodge type. We construct a morphism of schemes from a(n) (fppf-)torsor of the special fibre of Shimura variety to a subquotient scheme of the loop group of the associated reductive group of the Shimura varieties. This morphism is given roughly given by the Frobenii of a family of p-divisible groups associated to the Shimura variety. We show that this morphism induces a morphism of fpqc sheaves from the Shimura variety in question to an fpqc subquotient sheaf of the loop group. We show in the end
APA, Harvard, Vancouver, ISO, and other styles
2

Jolly, Nicole. "Racial Reproductive Control Logics and the Reproductive Justice Movement." ScholarWorks@UNO, 2012. http://scholarworks.uno.edu/td/1449.

Full text
Abstract:
The reproductive justice movement gives a voice and representation to women of color whose experience of reproductive control is impacted by intersecting layers of oppression. This thesis uses an intersectional approach to develop the concept of racial reproductive control logics, which describes the relationship between racial logics and racial patterns of reproductive control. The study uses qualitative interviews and content analysis of organizational material to explore how the reproductive justice movement is influenced by racial reproductive control logics.
APA, Harvard, Vancouver, ISO, and other styles
3

Labbé, Vincent. "Risques thrombotiques et hémodynamiques chez les patients hospitalisés en réanimation présentant une fibrillation atriale de novo au cours d’un sepsis : caractérisation, stratification et stratégies thérapeutiques." Electronic Thesis or Diss., Sorbonne université, 2023. https://accesdistant.sorbonne-universite.fr/login?url=https://theses-intra.sorbonne-universite.fr/2023SORUS556.pdf.

Full text
Abstract:
Objectifs Les patients hospitalisés en réanimation pour un sepsis sont à haut risque d’accidents thrombotiques (AT) intéressant l’ensemble des circulations (grande, coronaire, petite). Nous souhaitons étudier ce risque thrombotique lors du sepsis (i) au sein de la grande circulation chez les patients présentant une fibrillation atriale de novo (FAN), (ii) au sein de la circulation coronaire chez les patients présentant un infarctus du myocarde (IDM) et (iii) au sein de la petite circulation chez les patients COVID-19 sévère. Par ailleurs, si le risque d’AT pose la question de l’intérêt de la t
APA, Harvard, Vancouver, ISO, and other styles
4

Sanche, Steven. "Utilisation de triades cas-parents dans la régression logique : exploration d'interaction génétique." Thèse, 2008. http://hdl.handle.net/1866/8194.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Lee, Pin-Chen, and 李品臻. "Groundwater analysis of vertically multi-layer soil stratification under the time-varying rainfall replenishment." Thesis, 2019. http://ndltd.ncl.edu.tw/cgi-bin/gs32/gsweb.cgi/login?o=dnclcdr&s=id=%22107NCHU5080015%22.&searchmode=basic.

Full text
Abstract:
碩士<br>國立中興大學<br>水土保持學系所<br>107<br>In the early age, most water is extracted from groundwater in Taiwan. Owing to the vigorous development of agriculture and fishery, water use in agriculture and fishery has increased rapidly. A large amount of water use causes problems such as excessive pumping of groundwater, land subsidence, salt-water intrusion and soil salinization. Therefore, studying groundwater issues has become an important research topic. The steep slopes in Taiwan cause great changes in soil properties, and the soil properties vary with location. Therefore, this study considers the e
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Logic stratification"

1

Pop, Liliana. Bourdieu in the Post-Communist World. Edited by Thomas Medvetz and Jeffrey J. Sallaz. Oxford University Press, 2018. http://dx.doi.org/10.1093/oxfordhb/9780199357192.013.6.

Full text
Abstract:
The collapse of the communist regimes in the former Soviet bloc and the subsequent economic, political, social, and cultural transformations opened up new challenges for social science research. Working with the methodological and conceptual tools of Pierre Bourdieu, including habitus, field, capital, symbolic power, hysteresis, and the logic of honor, among others, scholars have defined and addressed four clusters of important research questions: the possibility of systemic change and the emergence of “capitalism without capitalists”; mechanisms for legitimacy and stability, new configuration
APA, Harvard, Vancouver, ISO, and other styles
2

Vogt, Manuel. Mobilization and Conflict in Multiethnic States. Oxford University Press, 2019. http://dx.doi.org/10.1093/oso/9780190065874.001.0001.

Full text
Abstract:
Why are ethnic movements more likely to turn violent in some multiethnic countries than in others? Focusing on the long-term legacies of European colonialism, this book presents two ideal-typical logics of ethnic group mobilization—one of violent competition and another of nonviolent emancipatory opposition. The book’s theory first explains why ethnic grievances are translated into either violent or nonviolent forms of conflict as a function of distinct ethnic cleavage types, resulting from different colonial experiences. Violent intergroup conflict is least likely where settler colonialism re
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Logic stratification"

1

Baumgartner, Peter. "The Fusemate Logic Programming System." In Automated Deduction – CADE 28. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-79876-5_34.

Full text
Abstract:
AbstractFusemate is a logic programming system that implements the possible model semantics for disjunctive logic programs. Its input language is centered around a weak notion of stratification with comprehension and aggregation operators on top of it. Fusemate is implemented as a shallow embedding in the Scala programming language. This enables using Scala data types natively as terms, a tight interface with external systems, and it makes model computation available as an ordinary container data structure constructor. The paper describes the above features and implementation aspects. It also
APA, Harvard, Vancouver, ISO, and other styles
2

Stepankova, Olga, and Petr Stepanek. "Stratification of definite clause programs and of general logic programs." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 1990. http://dx.doi.org/10.1007/3-540-52753-2_54.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Tiu, Alwen. "Stratification in Logics of Definitions." In Automated Reasoning. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-31365-3_43.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Snaibi, Wadii, and Abdelhamid Mezrhab. "Livestock Breeders’ Adaptation to Climate Variability and Change in Morocco’s Arid Rangelands." In African Handbook of Climate Change Adaptation. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-45106-6_18.

Full text
Abstract:
AbstractSince the mid-1970s, the high plateaus of eastern Morocco have experienced proven trends of climate change (CC) such as a significant decrease in rainfall amounts and an increase in the droughts’ frequency. Consequently, the CC threatens the sustainability of this pastoral ecosystem and negatively affects the breeding of small ruminants, the main local-level livelihood, which becomes more vulnerable due to its high dependence on climatic conditions. This chapter aims to analyze breeders’ adaptation practices by taking into account their social stratification based on the size of the sh
APA, Harvard, Vancouver, ISO, and other styles
5

d'Ovidio, Francesco D., Angela Maria D'Uggento, Rossana Mancarella, and Ernesto Toma. "Post-stratification as a tool for enhancing the predictive power of classification methods." In Proceedings e report. Firenze University Press, 2021. http://dx.doi.org/10.36253/978-88-5518-461-8.24.

Full text
Abstract:
It is well known that, in classification problems, the predictive capacity of any decision-making model decreases rapidly with increasing asymmetry of the target variable (Sonquist et al., 1973; Fielding 1977). In particular, in segmentation analysis with a categorical target variable, very poor improvements of purity are obtained when the least represented modality counts less than 1/4 of the cases of the most represented modality. The same problem arises with other (theoretically more exhaustive) techniques such as Artificial Neural Networks. Actually, the optimal situation for classificatio
APA, Harvard, Vancouver, ISO, and other styles
6

Pratt, Murray. "Compound Focalization in the Literary Hinterlands." In Planetary Hinterlands. Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-24243-4_17.

Full text
Abstract:
AbstractIn this chapter I consider hinterlands as necessary supplements: unseen and unseemly, concealed or obscured, but nonetheless essential to those broader humancentric stratifications and systems they co-constitute and maintain. Through a comparative reading of Shuggie Bain by Douglas Stuart and Djinn Patrol on the Purple Line by Deepa Anappara, I draw on literary evocations of hinterlands lives to consider the scope in contemporary fiction to reconceive of hinterlands as places capable of eluding site-specificity, within the contexts of Achille Mbembe’s refutal of brutalist logic and Ami
APA, Harvard, Vancouver, ISO, and other styles
7

"STRATIFICATION AND ULTIMATE CLASSES." In Set Theory and Its Logic. Harvard University Press, 2009. http://dx.doi.org/10.2307/j.ctv1smjv3j.18.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Shepherdson, J. C. "Negation as Failure, Completion and Stratification." In Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming. Oxford University Press, 1998. http://dx.doi.org/10.1093/oso/9780198537922.003.0009.

Full text
Abstract:
The usual way of introducing negation into Horn clause logic programming is by ‘negation as failure’: if A is a ground atom . . . the goal ¬A succeeds if A fails the goal ¬A fails if A succeeds. . . . This is obviously not classical negation, at least not relative to the given program P; the fact that A fails from P does not mean that you can prove ¬A from P, e.g. if P is . . . a ← ¬b . . . then ? - b fails so, using negation as failure, ? – a succeeds, but a is not a logical consequence of P. You could deal with classical negation by using a form of resolution which gave a complete proof proc
APA, Harvard, Vancouver, ISO, and other styles
9

Saccà, Domenico, and Carlo Zaniolo. "Differential Fixpoint Methods and Stratification of Logic Programs." In Proceedings of the Third International Conference on Data and Knowledge Bases. Elsevier, 1988. http://dx.doi.org/10.1016/b978-1-4832-1313-2.50010-x.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Alvehus, Johan. "Control, and Control over Control." In The Logic of Professionalism. Policy Press, 2021. http://dx.doi.org/10.1332/policypress/9781529206067.003.0004.

Full text
Abstract:
This chapter draws attention to some examples of formal control mechanisms in professional service organizations. It mainly focuses on two main dimensions of control: control over workers (here in terms of recruitment and career development), and control over work (here in terms of time and billable hours on the one hand, and quality and work processes on the other). The chapter first discusses an initial point regarding terminology about bureaucracy, then addresses recruitment and career — noting that identity is a key theme. The chapter moves on to elaborate on formal control systems in term
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Logic stratification"

1

Arrial, Victor, Giulio Guerrieri, and Delia Kesner. "Genericity Through Stratification." In LICS '24: 39th Annual ACM/IEEE Symposium on Logic in Computer Science. ACM, 2024. http://dx.doi.org/10.1145/3661814.3662113.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Kontopoulos, Efstratios, Nick Bassiliades, and Grigoris Antoniou. "Visual Stratification of Defeasible Logic Rule Bases." In 19th IEEE International Conference on Tools with Artificial Intelligence(ICTAI 2007). IEEE, 2007. http://dx.doi.org/10.1109/ictai.2007.39.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

S'nchez, Cesar, and Juli'n Samborski-Forlese. "Efficient Regular Linear Temporal Logic Using Dualization and Stratification." In 2012 19th International Symposium on Temporal Representation and Reasoning (TIME). IEEE, 2012. http://dx.doi.org/10.1109/time.2012.25.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Przymusinski, T. C. "Every logic program has a natural stratification and an iterated least fixed point model." In the eighth ACM SIGACT-SIGMOD-SIGART symposium. ACM Press, 1989. http://dx.doi.org/10.1145/73721.73723.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Gutiérrez-Basulto, Víctor, Albert Gutowski, Yazmín Ibáñez-García, and Filip Murlak. "Finite Entailment of UCRPQs over ALC Ontologies." In 19th International Conference on Principles of Knowledge Representation and Reasoning {KR-2022}. International Joint Conferences on Artificial Intelligence Organization, 2022. http://dx.doi.org/10.24963/kr.2022/19.

Full text
Abstract:
We investigate the problem of finite entailment of ontology-mediated queries. We consider the expressive query language, unions of conjunctive regular path queries (UCRPQs), extending the well-known class of union of conjunctive queries, with regular expressions over roles. We look at ontologies formulated using the description logic ALC, and show a tight 2ExpTime upper bound for entailment of UCRPQs. At the core of our decision procedure, there is a novel automata-based technique introducing a stratification of interpretations induced by the deterministic finite automaton underlying the input
APA, Harvard, Vancouver, ISO, and other styles
6

Fondevilla Aparicio, Juan José. "La Banda Gallega: vertebración defensiva de un espacio de frontera en el límite noroccidental del alfoz hispalense en la Baja Edad Media." In FORTMED2020 - Defensive Architecture of the Mediterranean. Universitat Politàcnica de València, 2020. http://dx.doi.org/10.4995/fortmed2020.2020.11485.

Full text
Abstract:
The Galician Band: defensive vertebration of a frontier space in the Northwestern limit of the domains of Seville in the Late Middle AgesThe northwestern limit of the Seville domains constituted a complex frontier space of high potencial tension throughout the Late Middle Ages. Once the conquest of this historical territory was over, the council of Seville promotes the definition of a castral system destined to guarantee the guard and defense of its extensive territory. The Galician Band constituted a large network of fortifications who knew how to incorporate the existing ones and build new c
APA, Harvard, Vancouver, ISO, and other styles
7

Nan, Emanuela. "Rinaturactivazione: nuove strategie di sviluppo sostenibile dai centri storici mediterranei: Genova città-laboratorio." In International Conference Virtual City and Territory. Centre de Política de Sòl i Valoracions, 2014. http://dx.doi.org/10.5821/ctv.7984.

Full text
Abstract:
I territori sono oggi utilizzati come un “menu” all’interno del quale ci si sposta sempre più&#x0D; liberamente secondo le proprie necessità. Le città, già da tempo, hanno assunto l’accezione di&#x0D; sistemi integrati, apparendo sempre più simili a una miscellanea, composita e variabile, alla cui&#x0D; definizione concorrono molteplici dispositivi e la cui comprensione e gestione operativa sembra&#x0D; trovarsi non più nella perimetrazione di registri e contesti formali, ma nell’individuazione di&#x0D; regole e tattiche capaci di guidare e prevedere gli esiti e le evoluzioni delle differenti
APA, Harvard, Vancouver, ISO, and other styles
8

Nikoloski, Dimitar. "POVERTY AND EMPLOYMENT STATUS: EMPIRICAL EVIDENCE FROM NORTH MACEDONIA." In Economic and Business Trends Shaping the Future. Ss Cyril and Methodius University, Faculty of Economics-Skopje, 2020. http://dx.doi.org/10.47063/ebtsf.2020.0019.

Full text
Abstract:
Poverty and social exclusion are often associated with unemployment, but being employed is not always sufficient to provide decent living conditions for workers and their families. The ‘low-wage’ workers similarly as unemployed are often associated with an image of men and women struggling to support their families and living at risk of poverty and social exclusion. Dealing with the social stratification engendered from the employment status of workers in the post-transition countries represents a challenging task for the academics and policymakers. The aim of the paper is to assess the determ
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Logic stratification' for particular source types:
Journal articles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography