Bibliographies thématiques / Logic stratification

Sommaire

Articles de revues
Thèses
Livres
Chapitres de livres
Actes de conférences

Littérature scientifique sur le sujet « Logic stratification »

Auteur : Grafiati

Publié le 2 juin 2025

Mis à jour le 31 juillet 2025

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Logic stratification ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Articles de revues sur le sujet "Logic stratification"

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Plus de sources

Thèses sur le sujet "Logic stratification"

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

Labbé, 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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

碩士<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

Styles APA, Harvard, Vancouver, ISO, etc.

Livres sur le sujet "Logic stratification"

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

Chapitres de livres sur le sujet "Logic stratification"

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

Actes de conférences sur le sujet "Logic stratification"

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!