Academic literature on the topic 'Disjunctive worlds'

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 'Disjunctive worlds.'

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 "Disjunctive worlds"

1

Hillier, Jean, and Jonathan Metzger. "Towns within Towns: From Incompossibility to Inclusive Disjunction in Urban Spatial Planning." Deleuze and Guattari Studies 15, no. 1 (February 2021): 40–64. http://dx.doi.org/10.3366/dlgs.2021.0428.

Full text
Abstract:
We contemplate Deleuze and Guattari's discussion of in/compossibility through engagement with practices of spatial planning and development at the urban fringe in Australia. In such sites of ecosystem transformation, the presence of wildlife, such as mosquitoes, is often deemed incompossible with felicitous human habitation. We suggest that regarding worlds like those of mosquitoes and humans as divergent, rather than incompossible, opens up opportunities for inclusive disjunctive syntheses which affirm the disjoined terms without excluding one from the other. Relating inclusive disjunction to intensive milieu, we call for development of a more milieu-based approach to planning to facilitate more-than-human coexistence differently.
APA, Harvard, Vancouver, ISO, and other styles
2

Vostrikova, Ekaterina V., and Petr S. Kusliy. "De re attitude reports about disjunctive attitudes." Slovo.ru: Baltic accent 13, no. 3 (2022): 83–101. http://dx.doi.org/10.5922/2225-5346-2022-3-5.

Full text
Abstract:
This paper discusses the semantics of so-called de re propositional attitudes. According to the standard Kaplanian analysis, the semantics of such dicta contains existential quantifica­tion over functions that map the attitude holder and the object of their de re attitude to an individual concept by which the attitude holder identifies the object. This existential quantifi­cation has a wider scope than the universal quantification over possible worlds that is general­ly associated with the semantics of attitude dicta. We explore examples of disjunctive de re attitudes and show that these dicta have truth conditions that cannot be grasped by the stand­ard analysis. To account for them, we propose a revision of the theory of concept generators and show how the revised theory makes correct predictions.
APA, Harvard, Vancouver, ISO, and other styles
3

Chan, Nadine. "Pandemic temporalities: Distal futurity in the digital Capitalocene." Journal of Environmental Media 1, no. 2 (August 1, 2020): 13.1–13.8. http://dx.doi.org/10.1386/jem_00034_1.

Full text
Abstract:
This article situates the cultural significance of COVID-19 at the intersection of critical conversation around capitalism, the digital and the environmental ‐ fields where time and temporality are key elements to understanding what it means to imagine futures in an unequal, uncertain and alienated world. It argues that the exponential proliferation of digital lifeworlds during COVID-19 is symptomatic of deeper disjunctive temporalities symptomatic of late-stage capitalism. This article further considers if ‘pandemic temporality’, experienced through rapidly expanding virtual worlds (or digital Capitalocenes), takes us further away from becoming contemporaneous with inhabited ecological time. It also examines how the very asynchronicities of digital lifeworlds may show us possible alternatives to capitalist temporalities through contemporaneous and collective activism.
APA, Harvard, Vancouver, ISO, and other styles
4

Deamer, David. "Deleuze's Three Syntheses Go to Hollywood: The Tripartite Cinema of Time Travel, Many Worlds and Altered States." Film-Philosophy 23, no. 3 (October 2019): 324–50. http://dx.doi.org/10.3366/film.2019.0119.

Full text
Abstract:
What is called “time travel” cinema is but one aspect in a tripartite series of interweaving modes of disjunctive narration which is also – simultaneously – a cinema of “many worlds” and “altered states”. Exploiting Gilles Deleuze's three syntheses of time, space, and consciousness from Difference and Repetition (1968) allows a conceptual development of these cinematic series through three popular Hollywood film cycles beginning with Planet of the Apes (Franklin J. Schaffner, 1968), The Terminator (James Cameron, 1984), and Back to the Future (Robert Zemeckis, 1985). In so doing, film and philosophy are deployed as two series which together create inexhaustible atemporal, aspatial, and ahuman disjunctions, ungrounding everyday spatio-temporal identities, and affirming productive images of cinematic thought.
APA, Harvard, Vancouver, ISO, and other styles
5

Leff, Enrique. "Racionalidad y Justicia Ambiental: La Elusiva Injusticia de la Vida." Historia Ambiental Latinoamericana y Caribeña (HALAC) revista de la Solcha 11, no. 3 (December 14, 2021): 19–38. http://dx.doi.org/10.32991/2237-2717.2021v11i3.p19-38.

Full text
Abstract:
Law is not justice, says the Manifesto for Life. The justice system established in modernity (the legality of a positive law) does not manage to contain the will to dominate exercised by the ontological regime of modernity over the degradation of life and to adjust human behavior within the conditions of life. . Environmental justice transcends the order of the economy (even of the ecological economy) as a mechanism of the social distribution of human justice of environmental goods and services of nature, to institute another idea of ​​fairness under the principles of human dignity and in the immanence of life. Environmental justice seeks to establish a criterion of fairness for the construction of other possible worlds based on the principles that sustain the disjunctive category of environmental rationality: an ontology of the diversity of life, a politics of difference, and ethics of otherness.
APA, Harvard, Vancouver, ISO, and other styles
6

Luko, Alexis. "Dream weaving and sonic metalepsis in Jan Troell’s Land of Dreams." Journal of Scandinavian Cinema 11, no. 3 (September 1, 2021): 243–65. http://dx.doi.org/10.1386/jsca_00051_1.

Full text
Abstract:
Jan Troell’s Sagolandet (Land of Dreams) (1988) presents itself as a documentary about 1980s Swedish society, but is also a film about filmmaking, the imagination, memory and autobiography. The film has multiple narrative levels: interviews, home movie footage, autobiographical anecdotes and imaginative sequences. Commentary and guiding themes are drawn from the theories of psychoanalyst Rollo May. These strata and themes have associated musical motifs and/or sound effects, which, as the film progresses, serve as an ontological bridge between the different strata. Land of Dreams is structured as both a multistrand and multiform narrative with the intercutting of multiple stories with multiple protagonists (multistrand) mixed with dream worlds and internal-subjective perspectives of Troell (multiform). The different narrative strata invite metalepsis, a type of narrative ‘transgression’ that occurs across the boundaries of distinct narrative worlds. In Land of Dreams, voice, music and sound effects act as metaleptic agents, transgressing different strata through four interrelated techniques: (1) metaleptic ‘i-voices’; (2) musical structures made up of ironic and disjunctive musical textures; (3) musical motifs transgressing narrative and ontological boundaries and (4) musical metaleptic warps. Musical metalepsis in Land of Dreams functions in a way that is emblematic of how political decisions and public policy infiltrate the private sphere, human consciousness and even dreams of the future.
APA, Harvard, Vancouver, ISO, and other styles
7

Lama, Kumari. "Disjuncture as a Trope of Conjuncture in Sudeep Pakhrin’s Selected Poems." Literary Studies 36, no. 1 (March 7, 2023): 68–79. http://dx.doi.org/10.3126/litstud.v36i1.53057.

Full text
Abstract:
Unremitting global flow of people have become the inherent characteristics of contemporary society. Since the concept of global village invaded each nook and corner of the world, thousands of people have been lining-up to enter into the global village from their local villages. They move leaving their ancestor’s places behind in the search of opportunities, better life, and to pursuing dreams. However, each such flow unknowingly creates a disjuncture within them. In this context, the paper argues that the specific disjunctive feeling itself becomes a means to connect them with their places and people. Mainly, they try to revisit their past, place and people through memory, which becomes instrumental for their reconnection. Concentrating on it, the paper critically examines the disjuncture as a trope of conjuncture in Sudeep Pakhrin’s selected poems. His poems, “Golden Street” and “Maavala” focus on the childhood memories that become strong thread to tie-up with his place and relatives in the verge of overpowering sense of disconnectedness. To critically analyze the isolated and vulnerable human condition in present society, I have employed Arjun Appadurai’s concept of global cultural flow and disjuncture as a theoretical backing.
APA, Harvard, Vancouver, ISO, and other styles
8

Wang, Kewen, and Lizhu Zhou. "Closed world assumption for disjunctive reasoning." Journal of Computer Science and Technology 16, no. 4 (July 2001): 381–87. http://dx.doi.org/10.1007/bf02948986.

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

Muhammad Saleh Al-Ghamdi, Muhammad Saleh Al-Ghamdi. "Bal: from Disjunction to Argumentation." journal of king abdulaziz university arts and humanities 25, no. 1 (April 18, 2017): 123–38. http://dx.doi.org/10.4197/art.25-1.5.

Full text
Abstract:
The Arabic conjunction bal(usually translated as even or rather in English), like its equivalent conjunction in other languages, is a vital connector which has been of great interest to researchers in different languages. Arabic scholars have for many centuries always defined it as a disjunctive conjunction which can also mean giving up or quitting. This study is an analysis of “bal” which attempts to move it from the category of disjunction and quitting to the broader scope of Argumentation. The term Argumentation in this study is used in linguistic sense proposed by French linguists Jead – Claude Anscombre and Oswald Ducrot in their Theory of Argumentation in language(TAL) Within this theoretical framework, argumentation is defined sa the act of targeting specific objectives. The function of connectors, based on this definition, is to achieve these objectives through structuring language in ways which lead the addressee to conclusions undeclared by the speaker even though they are the outcome of the lattr’s words.
APA, Harvard, Vancouver, ISO, and other styles
10

Chunhua, Cao, Liu Yin, Yang Di, and Yang Shuang. "Disjunctive Languages of Balanced Words and d-Primitive Words." Advanced Science Letters 19, no. 7 (July 1, 2013): 1873–75. http://dx.doi.org/10.1166/asl.2013.4615.

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

Dissertations / Theses on the topic "Disjunctive worlds"

1

Lottiaux, Mathieu. "Herméneutique des mondes disjonctifs : le sacré et ses conséquences dans la fantasy et la science-fiction (1950-1989)." Electronic Thesis or Diss., Valenciennes, Université Polytechnique Hauts-de-France, 2021. http://www.theses.fr/2021UPHF0051.

Full text
Abstract:
L’objectif de notre travail est de réunir, au sein d’une analyse commune, les récits de science-fiction et de fantasy, d’en comprendre les mécanismes transversaux et d’en proposer à la fois une relecture et une herméneutique. Pour cela, nous posons l’hypothèse, en nous appuyant sur les travaux de Mircea Eliade et Marc Angenot, que les récits de fantasy et de science-fiction sont des « histoires sacrées » soutenues par un deus otiosus au sein de mondes disjonctifs. La diégèse (le monde fictionnel) de ces récits inclut donc un sacré qui se manifeste (hiérophanies) différemment selon les récits, suivant la sensibilité (Roger Caillois) des personnages, malgré l’apparition de motifs récurrents (l’origine, la paternité, l’espace, la prédiction) et de figures fréquentes (l’apocalypse, la cosmogonie, le père, la mère, le paysage, la prophétie…) ce qui implique une organisation sociale du sacré (Hannah Arendt). A partir de là, nous observons les régulations (Gilles Deleuze, Félix Guattari ; Roger Caillois) du sacré dans la diégèse et les constantes et variables qui se dégagent au niveau du temps (Mircea Eliade ; Jean-Marie Grassin ; Jean-Paul Engélibert ; Niccholas Serruys), de l’espace (Anna Bugajska ; Roger Caillois ; Hannah Arendt) et de la justice (Roger Caillois ; Hélène Machinal ; Brian Attebery). L’espace diégétique apparait comme un composé de sacré et de profane qui nous permet l’observation de mécanismes transversaux à tous les récits. Notre dernière partie applique les constantes et les variables, issues de notre deuxième partie, articulées par le personnage et sa quête, à des ouvrages opposés par la critique afin de relire l’opposition de la science-fiction et de la fantasy et d’en proposer une relecture commune, dépassant les frontières génériques et temporelles. Les mondes disjonctifs alors des « histoires sacrées » dont les constantes et les variables, dans leur articulation, deviennent une métaphore sociale du sacré
The aim of our work is to understand, in a same analysis, the stories of science fiction and fantasy, to extract the transversal mechanisms and to propose, in a same time, a rereading and a hermeneutic. 333 We base our analysis on the hypothesis that the stories of science fiction and fantasy are “sacred stories” (Mircea Eliade) maintained, in the diegesis (fictional world), by a deus otiosus which is called by Marc Angenot, the absent paradigm. By mixing the works of Marc Angenot and Mircea Eliade, we propose the assumption that the diegesis contains a sacred that emerges (hierophanies) by many ways, and depends on the sensibility of the characters (Roger Caillois). However, we can observe recurrent frames (the origin, the paternity, the space, the prediction) and repetitive figures (the apocalypse, the cosmogony, the father, the mother, the landscape, the prophecy, etc.) that imply a social organization of the sacred (Hannah Arendt). In our second part, we observe the fluctuations (Gilles Deleuze, Félix Guattari ; Roger Caillois) of the sacred in the diegesis and we extract the constants and the variables about the time (Mircea Eliade ; Jean-Marie Grassin ; Jean-Paul Engélibert ; Niccholas Serruys), the space (Anna Bugajska ; Roger Caillois ; Hannah Arendt) and the justice (Roger Caillois ; Hélène Machinal ; Brian Attebery). So, the diegetic space is made up by sacred and profane which allows us to observe transversal mechanisms in the stories. Our last part, we apply the constants and the variables extracted from the second part and centred around the main character and his quest. We chose productions opposed by the critics to reread the division between the science fiction and the fantasy and to propose a new and common perspective, beyond the generic and temporal borders. So the disjunctive worlds appear like “sacred stories” with variables and constants that are a social metaphor of the sacred
APA, Harvard, Vancouver, ISO, and other styles
2

Abraham, Christiana. "Images of third world women: difference and disjuncture in development representations." Thesis, McGill University, 2008. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=18780.

Full text
Abstract:
Images of Third World Women: Difference and Disjuncture in Development Representations This dissertation analyzes the use of images of women of the third world by the Canadian International Development Agency (CIDA) during the Women in Development period (WID). This critical interpretative analysis examines how images as institutional texts function to reproduce notions of difference about women and the third world. The study looks at the disjuncture between the language and images of development and studies how media narratives circulate gender discourses through strands of colonial and race-based knowledges as normalized ways of classifying the world through imaginary categories. The study suggests that through recurrent representative tropes, WID facilitated the deliberate production of a development category that was highly identifiable – that of the third world woman. This focus on women allowed their images to assume immense circulatory value in CIDA development imagery so that depictions of third world women became representative of development itself. Operating as sign systems, these images of third world women also functioned as important symbols of the uniqueness of Canadian values. The study provides a framework for understanding development representations as powerful sign systems that prioritize and hierarchize preferred narratives.
Résumé Les Images des Femmes du Tiers Monde: Différence et Rupture dans les Représentations du Développement Cette thèse analyse l'usage des images des femmes du Tiers Monde par l'Agence Canadienne de Développement International (ACDI) durant la période 'Les Femmes dans le Développement' (FED). Cette analyse interprétative critique examine comment ces images, - en tant que textes institutionnels -, fonctionnent pour reproduire les notions de différence à propos des femmes et du Tiers Monde. Cette étude se penche sur la rupture entre le langage et les images du développement et analyse la manière dont les messages médiatiques véhiculent les discours relativement au genre par le truchement de formes résiduelles de savoirs colonial et racisé en tant que moyens normalisés de classifier le monde par l'entremise de catégories imaginaires. Cette étude suggère que, par l'entremise de catégories représentatives récurrentes, l'époque FED facilita la production délibérée d'une figure du développement fortement identifiable - celle de la femme du Tiers Monde. Cette tendance à cibler les femmes a permis à ces images d'assurer une immense valeur véhiculaire dans l'imaginaire du développement de l'ACDI, de sorte que ces images des femmes du Tiers Monde sont devenues elles-mêmes représentatives du développement. Fonctionnant comme systèmes de signes, ces images des femmes du Tiers Monde ont également opérés comme d'importants symboles de la singularité des valeurs canadiennes. Cette étude fournit un cadre pour comprendre les représentations du développement en tant que systèmes de signes puissants qui priorisent et hiérarchisent les préférences narratives.
APA, Harvard, Vancouver, ISO, and other styles
3

Vanderheyden, Jennifer Sue. "Halfway to empathy : the painted body as a disjunctive syllogism in the works of Diderot /." Thesis, Connect to this title online; UW restricted, 1999. http://hdl.handle.net/1773/8301.

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

Stoner, Wesley Durrell. "DISJUNCTURE AMONG CLASSIC PERIOD CULTURAL LANDSCAPES IN THE TUXTLA MOUNTAINS, SOUTHERN VERACRUZ, MEXICO." UKnowledge, 2011. http://uknowledge.uky.edu/gradschool_diss/35.

Full text
Abstract:
Teotihuacan was the most influential city in the Classic Mesoamerican worldsystem. Like other influential cities in the ancient world, however, Teotihuacan did not homogenously affect the various cultural landscapes that thrived in Mesoamerica during the Classic period (300-900 CE). Even where strong central Mexican influences appear outside the Basin of Mexico, the nature, extent, and strength of these influences are discontinuous over time and space. Every place within the Classic Mesoamerican landscape has a unique Teotihuacan story. In the Tuxtla Mountains of southern Veracruz, Mexico, Matacapan, located in the Catemaco Valley, drew heavily upon ideas and symbols fostered at Teotihuacan, while Totocapan, a peer political capital located in the neighboring Tepango Valley, emphasized social institutions well-entrenched within Gulf Coast cultural traditions. Through a detailed comparison of these two river valleys, I demonstrate that each polity developed along different trajectories. By the Middle Classic (450-650 CE) each polity displayed different political, economic, and ritual institutions. While they shared an underlying material culture style, the data suggest that the regimes of both polities promoted a different ideology. These cultural divergences did not, however, cause hostilities between them. To the contrary, compositional sourcing of Coarse Orange jars indicates that they engaged in material exchanges with each other. Agents at each settlement within the study region made unique decisions with regard to their involvement in local, regional, and macroregional interaction networks, particularly with regard to the adoption or rejection of Teotihuacan cultural elements. As a result, the Classic period Tuxtlas comprised multiple overlapping, but disjoint, landscapes of interaction. Places of human settlement were nodes on the landscape where these disjoint landscapes intersected in space and time. By examining these disjunctures, world-system studies can reveal a trend of increasing cultural diversity that parallels the better-theorized trend of homogenization emphasized by core-periphery models. In this dissertation, I take the initial steps toward developing an archaeology of disjuncture that examines the cultural variability that develops where groups across the landscape employ different strategies of interaction within the world-system.
APA, Harvard, Vancouver, ISO, and other styles
5

Bunyan, Scott Callum. "Beyond disjunction and appropriation : struggles for personal connections in the works of John Edgar Wideman." Thesis, University of Sussex, 2004. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.555264.

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

Kangassalo, Raija. "Mastering the question : the acquisition of interrogative clauses by Finnish-speaking children." Doctoral thesis, Umeå universitet, Humanistiska fakulteten, 1995. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-65781.

Full text
Abstract:
The aim of this dissertation is to chart the development of interrogative syntax among Finnish-speaking children between the ages of 1 to 4 years living in Sweden. The material consists of language samples taken from eleven Sweden-Finnish children with Finnish as their first language. The data from the corpus have been compared with acquisition studies of Finnish-speaking children in Finland, with material from an adult-language corpus and with studies of children speaking other languages than Finnish. The first questions appearing in the corpus are wh-questions, on average at the age of 1.9 and one month earlier than yes/no-questions. Both wh-questions and yes/no-questions are produced by all children in the corpus, whereas disjunctive questions are used by only one child. Wh-questions comprise approximately two thirds of the interrogatives and yes/no-questions a third; only one disjunctive question is used. The older the child, the greater the proportion of yes/no-questions. The earliest wh-question words are tnikä 'what' nom. sg., missä 'where' and mita 'what' part, sg., used by one-year-olds. Kuka 'who' nom. sg., mihin 'where to' and miten 'how' all appear before the age of 2.6, and miksi 'why1, mista 'where from' and minkä 'what* acc. 1 sg. start being used before the age of three. The use of milloin 'when', kenen 'whose', minkä varinen 'of what color' and mitkä 'what' nom. pl. commences at the age of three. Other question words and question word forms are produced by a few children. Wh-interrogative clauses in this study have been divided into ellipses, on-clauses, V-clauses and Adnom-clauses. The ellipses and cm-clauses are acquired on average at the age of 1.9, V-clauses at 1.11 and Adnom-clauses at 2.3. The question words are used correctly for the most part, with the same references as in adult speech. Semantic misuse of mikä 'what' was detected in 2 % of the pronoun's occurrences; kuka 'who' is misused relatively often, 38 % of the time. The different case forms of the interrogative pronouns and adjectives are on the whole used correctly. One pronoun form susceptible to misuse is nom. sg. mikä 'what', often erroneously produced instead of some other case form. The interrogative adverbs are used according to adult norms almost without exception. The earliest yes/no-questions in the corpus are -kO-questions, starting on average at age 1.10; the use of -hAn-questions begins at age 2.5. Other yes/no-questions appear at a much later date. The first -kO-questions are neutral -kO-questions. Focused -kO-questions are acquired somewhat later on. The neutral -kO-questions have been divided into onko 'Is it?'-questions, Simple V+kO-questions, Aux+kO-questions and Neg+kO+V-questions; the various types of questions are acquired in that order. The interrogative clauses in the corpus have been categorized as information-eliciting questions, directive questions, conversational questions and expressive questions; their acquisition follows ibis order.
digitalisering@umu
APA, Harvard, Vancouver, ISO, and other styles
7

Popan, Marin. "L’hyperbate nominale en latin : construction, typologie, raison de texte." Thesis, Toulouse 2, 2012. http://www.theses.fr/2012TOU20050/document.

Full text
Abstract:
Dans sa première partie, cette thèse se propose d’éclairer la portée du terme d’hyperbate chez rhéteurs et grammairiens romains. L’examen montre que ce concept est utilisé dans deux sens distincts : d’abord, l’hyperbate au sens restreint qui n’inclut que l’anastrophe, et la transiectio – disjonction d’un syntagme, en particulier d’un syntagme nominal. Ensuite, l’hyperbate au sens large est utilisée par les grammairiens romains pour désigner cinq espèces qui concernent l’inversion de l’ordre des mots. Chez Julien de Tolède, on rencontre l’emploi du terme d’« hyperbate » aussi pour désigner de longues parenthèses interposées. La première partie du chapitre II de la thèse propose une brève présentation des réflexions sur l’hyperbate dans la tradition philologique et linguistique. Traditionnellement, l’hyperbate est présentée comme une figure de style ; les études modernes se concentre sur l’hyperbate représentant un moyen pragmatique de « mise en relief ». La deuxième partie du chapitre II a pour l’objectif de présenter l’encadrement et le champ médian (séquence de mots insérés) décrits par la linguistique allemande. Le chapitre III propose une étude typologie des mots insérés dans le champ médian et de l’ordre dans lequel ils sont linéarisés. L’étude est fondée sur un corpus de syntagmes nominaux disjoints comportant un génitif et un nom, relevés en particulier chez César, chez Cicéron et dans l’Histoire Auguste. Le champ médian peut être représenté par des mots et des groupes de mots variés, dont le nombre va d’un mot jusqu’à trois ou plus. Les résultats sont résumés dans des tableaux synoptiques
This dissertation, devoted to hyperbaton in Latin, is divided into three chapters. The aim of chapter I is to examine the concept of hyperbaton used by Roman rhetoricians grammarians. It shows that this term is used in two distinct ways. Firstly, hyperbaton in the narrow sense covers anastrophe and transiectio, i.e. a discontinuous phrase, especially a discontinuous noun phrase. Secondly, Roman grammarians conceive hyperbaton in a broad sense for designating five types of inversion of word order. Furthermore, Julian of Toledo adds a type of “long hyperbaton”, i.e. long inserted parentheses. The first part of chapter II provides an overview of reflections about hyperbaton in philological and linguistic literature. Hyperbaton is traditionally regarded as a stylistic figure; however, Modern studies on this topic focus on pragmatic implication of the use of discontinuous phrases. The second part of chapter II presents the concept of framing and median field (sequence of inserted words), developed by German linguistics. Chapter III provides a typology of words inserted into a discontinuous noun phrase formed by a genitive and its head noun. Attention is paid to the order in which inserted elements are linearised. The research is based on a corpus of discontinuous noun phrases collected mainly in Caesar, Cicero, and Historia Augusta. The median field can be formed by various words or groups of words. Examples of median fields with two, three, and more words and their ordering are presented in synoptic tables
APA, Harvard, Vancouver, ISO, and other styles
8

Vickery, Lindsay Ross. "Exploring new and emerging models for nonlinear performative works." Thesis, Queensland University of Technology, 2011. https://eprints.qut.edu.au/63499/1/Lindsay_Vickery_Thesis.pdf.

Full text
Abstract:
This dissertation seeks to define and classify potential forms of Nonlinear structure and explore the possibilities they afford for the creation of new musical works. It provides the first comprehensive framework for the discussion of Nonlinear structure in musical works and provides a detailed overview of the rise of nonlinearity in music during the 20th century. Nonlinear events are shown to emerge through significant parametrical discontinuity at the boundaries between regions of relatively strong internal cohesion. The dissertation situates Nonlinear structures in relation to linear structures and unstructured sonic phenomena and provides a means of evaluating Nonlinearity in a musical structure through the consideration of the degree to which the structure is integrated, contingent, compressible and determinate as a whole. It is proposed that Nonlinearity can be classified as a three dimensional space described by three continuums: the temporal continuum, encompassing sequential and multilinear forms of organization, the narrative continuum encompassing processual, game structure and developmental narrative forms and the referential continuum encompassing stylistic allusion, adaptation and quotation. The use of spectrograms of recorded musical works is proposed as a means of evaluating Nonlinearity in a musical work through the visual representation of parametrical divergence in pitch, duration, timbre and dynamic over time. Spectral and structural analysis of repertoire works is undertaken as part of an exploration of musical nonlinearity and the compositional and performative features that characterize it. The contribution of cultural, ideological, scientific and technological shifts to the emergence of Nonlinearity in music is discussed and a range of compositional factors that contributed to the emergence of musical Nonlinearity is examined. The evolution of notational innovations from the mobile score to the screen score is plotted and a novel framework for the discussion of these forms of musical transmission is proposed. A computer coordinated performative model is discussed, in which a computer synchronises screening of notational information, provides temporal coordination of the performers through click-tracks or similar methods and synchronises the audio processing and synthesized elements of the work. It is proposed that such a model constitutes a highly effective means of realizing complex Nonlinear structures. A creative folio comprising 29 original works that explore nonlinearity is presented, discussed and categorised utilising the proposed classifications. Spectrograms of these works are employed where appropriate to illustrate the instantiation of parametrically divergent substructures and examples of structural openness through multiple versioning.
APA, Harvard, Vancouver, ISO, and other styles
9

Pollon, Simon Carl. "The Measure Of Meaning." Thesis, 2007. http://hdl.handle.net/10012/3336.

Full text
Abstract:
There exists a broad inclination among those who theorize about mental representation to assume that the meanings of linguistic units, like words, are going to be identical to, and work exactly like, mental representations, such as concepts. This has the effect of many theorists applying facts that seem to have been discovered about the meanings of linguistic units to mental representations. This is especially so for causal theories of content, which will be the primary exemplars here. It is the contention of this essay that this approach is mistaken. The influence of thinking about language and mental representation in this way has resulted in the adoption of certain positions by a broad swathe of theorists to the effect that the content of a concept is identical to the property in the world that the concept represents, and that because of this a concept only applies to an object in the world or it does not. The consequences of such commitments are what appear to be insoluble problems that arise when trying to account for, or explain, misrepresentation in cognitive systems. This essay presents the position that in order to actually account for misrepresentation, conceptual content must be understood as being very much like measurements, in that the application of a content to an object in the world is akin to measuring said object, and that conceptual content ought be understood as being graded in the same way that measurements are. On this view, then, concepts are the kinds of things that can be applied more, or less, accurately to particular objects in the world, and so are not identical to whatever it is that they represent.
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Disjunctive worlds"

1

The genealogy of disjunction. New York: Oxford University Press, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Yust, Jason. Tonal-Formal Disjunction. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780190696481.003.0013.

Full text
Abstract:
This chapter classifies possible types of tonal–formal disjunction in sonata forms and gives a historical account of each technique in the works of Beethoven and Schubert, illustrated with a number of large-scale analyses of exceptional works. The techniques are: non-standard subordinate keys, pioneered by Beethoven; off-tonic recapitulations, also favored by Beethoven; and modulating subordinate themes, explored extensively by Schubert. Pieces analyzed include first movements of Beethoven’s op. 70/2 Piano Trio, Schubert’s Grande Sonate, D. 617, and “Lebenstürme” D. 947, and the second movement of Beethoven’s op. 59/2 String Quartet.
APA, Harvard, Vancouver, ISO, and other styles
3

Genealogy of Disjunction. Oxford University Press, Incorporated, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Jennings, R. E. Genealogy of Disjunction. Oxford University Press, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Morris, Pam. Worldly Realism. Edinburgh University Press, 2017. http://dx.doi.org/10.3366/edinburgh/9781474419130.003.0001.

Full text
Abstract:
A preliminary discussion of Northanger Abbey and Jacob’s Room, foregrounds Austen’s and Woolf’s insistence upon non-heroic, unexceptional protagonists, the challenge their writing poses to existing genres and its disjunction from established, consensual interpretive systems. Jacques Ranciére’s concept of consensual and dissensual regimes of the perceptible, and recent accounts of the constitutive relationship of inanimate objects with self, provide a theoretical framework for discussing these experimental aspects of each writer’s work. The chapter maps an epistemological tradition linking these current perspectives to the Enlightenment empiricism of David Hume, Adam Smith, David Hartley, and Elizabeth Hamilton, Austen’s contemporary. The materialism of eighteenth-century thinkers constitutes the sceptical intellectual inheritance of Austen and Woolf. It underpins their development of worldly realism, an experimental writing practice, utilising innovative focalisation techniques to foreground relations of equality across the worlds of people, things and natural universe. Hence it constitutes a radical undermining of the idealist ideology of individualism.
APA, Harvard, Vancouver, ISO, and other styles
6

Yust, Jason. Reforming Formal Analysis. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780190696481.003.0012.

Full text
Abstract:
A number of important questions about the theory of form are addressed: the definition of phrase, ritornello form, form as recipe versus form as structure, and the classification of codas. Disputes over the definition of phrase come might be resolved by replacing the rigid task of locating phrase boundaries to one of distinguishing more neatly phrased music, with coordinated structures, to less neatly phrased music. Ritornello form is distinguished from sonata form, and its history as a symphonic form is discussed. An argument is made for separating the theory of form from the study of formal recipes, exemplified surveys of works by Galuppi, Richter, Boccherini, Haydn, and Mozart. Finally, the network model of structure is applied to introductions and codas, leading to a classification of codas into adjunct, integrated, and disjunctive types.
APA, Harvard, Vancouver, ISO, and other styles
7

Treitler, Leo. Speaking of the I-Word. Edited by Benjamin Piekut and George E. Lewis. Oxford University Press, 2014. http://dx.doi.org/10.1093/oxfordhb/9780199892921.013.19.

Full text
Abstract:
The chapter focuses on modern uses of “improvisation,” its derivatives (I-words), and its constitution with “composition” of a duality of opposites that—like many dualities—works as a hierarchy, valuing reason over impulse, order over entropy, coherence over incoherence, integration over disarticulation, organic wholeness over disjunction. It evaluates the effect of such a conception in accounts of music-making in the Middle Ages and the eighteenth century. It compares those accounts with language left by writers of the periods in view, finding contrariety by commission in the first and omission in the second. Regarding the power of language in shaping such portrayals, the chapter demonstrates the cloaking of eighteenth-century doctrine about what music is for and how it should be—expressive, moving, pleasing, free, unpredictable, original, in short, its aesthetic—that attends the simple act of transmuting “fantasy” to “improvisation” and fantasizing from that a “style” that is labeled “improvisatory.”
APA, Harvard, Vancouver, ISO, and other styles
8

Patterson, Jessica Lee. Contemporary Buddhism and Iconography. Edited by Michael Jerryson. Oxford University Press, 2016. http://dx.doi.org/10.1093/oxfordhb/9780199362387.013.8.

Full text
Abstract:
This chapter examines the historical usage of the term “iconography,” how Erwin Panofsky (1892–1968) developed it into a fundamental method of art historical analysis, and considers the applications of this method to the contemporary study of Buddhist art. It explores the broad range of signification of the term “icon,” and contends that the polysemic potential of images matches that of words, which can complicate attempts to oversimplify the relationship between iconography and identity. Various possibilities for compound layering, slippage, or disjunction between iconography and identity are enumerated, using examples from Buddhist art. It concludes that the iconography of contemporary Buddhist is poised between regional developments and broader global trends, manifesting in imaginative innovations and the creative adaptation or revival of earlier forms.
APA, Harvard, Vancouver, ISO, and other styles
9

Wheeler, William. Fish as Property on the Small Aral Sea, Kazakhstan. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198813415.003.0009.

Full text
Abstract:
This chapter looks at a postsocialist fishery in Kazakhstan to explore the relationship between property rules designed to manage natural resources, and practices of resource exploitation. The Aral Sea is famous for its desiccation over the second half of the twentieth century, which stemmed from Soviet irrigation projects; in 2006 a World Bank/Republic of Kazakhstan project restored a small part of the sea, and fish catches have recently recovered somewhat. In this chapter, based on ethnographic and archival research, I explore the disjuncture between formal rules and practice to address debates about the management of common-pool resources. Within the nomadic economy, in contrast to livestock, fish were not property objects; over the colonial, Soviet and post-Soviet periods, they became objects of economic value in different ways, mediating different sorts of social relations. Turning to the contemporary property regime, I suggest that formal rules matter, but in unintended ways.
APA, Harvard, Vancouver, ISO, and other styles
10

Medvetz, Thomas. Bourdieu and the Sociology of Intellectual Life. Edited by Thomas Medvetz and Jeffrey J. Sallaz. Oxford University Press, 2018. http://dx.doi.org/10.1093/oxfordhb/9780199357192.013.20.

Full text
Abstract:
Chapter abstract Having grown up in the relative cultural backwater of Béarn, in southwestern France, Pierre Bourdieu found himself wrenched and jolted by his earliest encounters with French intellectual society. His perceptions, tastes, and dispositions offered constant reminders that he had not been made for this world. But the same disjuncture yielded productive insights and made Bourdieu into an accidental anthropologist of intellectual life. This chapter thematizes “the social relations of intellectual life” as a linchpin of his work, first tracing the sociobiographical roots of this interest and dividing Bourdieu’s career into four successive but overlapping phases, each defined by a particular approach to the subject. The chapter then highlights several moments in his theory where the focus on intellectual life holds the key to its deeper purpose or meaning. A key task for sociology after Bourdieu is to develop a more advanced theory of “intellectual practical sense.”
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Disjunctive worlds"

1

Chunhua, Cao, Yang Di, Liu Yin, and Sha Li. "Some Results on Primitive Words and Disjunctive Languages." In Communications in Computer and Information Science, 253–56. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-25002-6_35.

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

Behdad, Ali. "Global Disjunctives, Diasporic Differences, and the New World (Dis-)Order." In A Companion to Postcolonial Studies, 396–409. Malden, MA, USA: Blackwell Publishing Ltd, 2007. http://dx.doi.org/10.1002/9780470997024.ch21.

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

Bozhkova, Yasna. "Dialectical Constellations in “Songs to Joannes”." In Between Worlds, 21–54. Liverpool University Press, 2022. http://dx.doi.org/10.3828/liverpool/9781949979640.003.0002.

Full text
Abstract:
Chapter 1 reexamines Loy’s first major text, the poetic sequence “Songs to Joannes” (1915–17). While most interpretations of the poem focus on Loy’s personal involvement with F.T. Marinetti and Giovanni Papini, as well as her reaction to the aesthetics and ideology of Futurism, my reading emphasizes the staggering multiplicity of other aesthetic influences at work in the poem and foregrounds Loy’s complex collage strategies, exploring her technique of condensing a myriad of oblique allusions into enigmatic fragments. I argue that the labyrinthine structure of the poem announces the hybrid, intertextual nature of Loy’s poetic idiom, creating polyvalent constellations that function as dialectical knots. The chapter opens with a discussion of Loy’s text in relation to Mallarmé: I argue that Loy’s disjunctive structures are closer to his idea of the poem as a constellation than to Marinetti’s “parole-in-libertà”. I then examine the poem’s use of photographic and cinematic techniques to visualize the increasingly scientific understanding of the psyche, consciousness, and affect. I discuss this in relation to Bergson’s idea of the cinematographic nature of perception and knowledge, as well as Freud’s idea that the dream “thinks in pictures,” arguing that the poem reads as a dream recollection of intimate experience.
APA, Harvard, Vancouver, ISO, and other styles
4

Mariano, Luciano B. "Double Disjunctivitis." In The Paideia Archive: Twentieth World Congress of Philosophy, 156–63. Philosophy Documentation Center, 1998. http://dx.doi.org/10.5840/wcp20-paideia199835595.

Full text
Abstract:
Direct Informational Semantics, according to which [X]s represent (express/mean) X if ‘Xs cause [X]s’ is a law, and Fodorian naturalistic semantics both suffer from double disjunctivitis. I argue that robustness, properly construed, characterizes both represented properties and representing symbols: two or more properties normally regarded as non-disjunctive may each be nomologically connected to a non-disjunctive symbol, and two or more non-disjunctive symbols may each be nomologically connected to a property. This kind of robustness bifurcates the so-called disjunction problem into a Represented-Disjunction Problem, of which Fodor was aware, and a Representer-Disjunction Problem, of which he was on the whole oblivious. Fodor fails to solve these problems: his solution to the former, the Asymmetric Dependence Condition, presupposes a successful solution to the latter, while possible responses that Fodor might make to the latter either beg the former or cannot be met or else flout the Naturalistic Requirement and the Atomistic Requirement. Even setting the Representer-Disjunction Problem aside, the Represented-Disjunction Problem does not get solved, because the robustness involving phonological/orthographic sequences (tokens and types) guarantees that nothing can meet the Asymmetrical Dependence Condition. Indeed there is a serious problem of individuating phonological/orthographic tokens and types in a manner that satisfies Fodor’s expectations. This is made manifest by the presence of orthographic tokens embedded in larger tokens.
APA, Harvard, Vancouver, ISO, and other styles
5

Willer, Malte. "Negating Conditionals." In Oxford Studies in Philosophy of Language Volume 2, 234–66. Oxford University Press, 2022. http://dx.doi.org/10.1093/oso/9780192844613.003.0008.

Full text
Abstract:
A recurring narrative in the literature is that the empirical facts about negated conditionals provide compelling evidence for the principle of Conditional Excluded Middle and sit uncomfortably with a large family of analyses of conditionals as universal quantifiers over possible worlds. I show that both parts of the narrative are in need of a rewrite by articulating an innovative conditional analysis in a bilateral semantic setting that takes inspiration from the Ramsey test for conditionals but distinguishes the classical Ramseyan question of what it takes to accept a conditional from the one of what it takes to reject a conditional. The resulting framework disentangles the empirical facts about negated conditionals from the validity of Conditional Excluded Middle but also shows how the principle can live happily in a strict analysis of conditionals, and how it can co-exist with other non-classical principles such as Simplification of Disjunctive Antecedents without negative side-effects.
APA, Harvard, Vancouver, ISO, and other styles
6

Wong, Alvin K. "Disjunctive Temporalities." In Queer TV China, 124–42. Hong Kong University Press, 2023. http://dx.doi.org/10.5790/hongkong/9789888805617.003.0007.

Full text
Abstract:
Chapter 6 explores the transregional popularity of BL visuality across the Sinophone public spheres through the concept of “disjunctive temporalities.” While The Untamed in the PRC captures a form of “unhistorical queerness” whose queer appeal precisely lies in its portrayals of bromance and queer desire in a non-historical world of jianghu (rivers and lakes of the heroic world), the HIV-related online film For Love, We Can and the recent hit TV drama Ossan’s Love visualize queer Hong Kong through what the author coins “queer presentism.” The legalization of gay marriage in Taiwan in 2019 has significantly impacted the queer imaginary of BL in films and media. In lighthearted films and TV dramas such as Formula 17 and Because of You, a world in which gay men no longer need to come out and can simply be as ordinary as any other Taiwanese citizen is highlighted. Therefore, a certain “postliberal temporality” emerges in post-2019 Taiwan. By delineating the three modalities of “unhistorical queerness” in Mainland period dramas, “queer presentism” in postcolonial Hong Kong, and “postliberal temporality” in contemporary Taiwan, the author theorizes the overall disjunctive temporalities across queer Sinophone visuality and mediascapes.
APA, Harvard, Vancouver, ISO, and other styles
7

Berto, Francesco, and Mark Jago. "The Logic of Imagination." In Impossible Worlds, 141–58. Oxford University Press, 2019. http://dx.doi.org/10.1093/oso/9780198812791.003.0007.

Full text
Abstract:
Imagination seems to have a logic, albeit one which is hyperintensional and sensitive to context. This chapter offers a semantics of imagination, with operators expressing ‘imaginative acts’ of mental simulation. A number of conditions that could be imposed on the semantics are then discussed, in order to validate certain inferences. One important issue is how acts of imagination interact with disjunction: one can imagine some disjunction as obtaining without being imaginatively specific about which disjunction obtains. This chapter subsequently turns to non-monotonicity: how B may follow from imagining that A, but not from imagining that A ∧ C. Finally, the Principle of Imaginative Equivalents is discussed.
APA, Harvard, Vancouver, ISO, and other styles
8

STAIGER, LUDWIG. "TOPOLOGIES FOR THE SET OF DISJUNCTIVE ω-WORDS." In Words, Semigroups, and Transductions, 421–30. WORLD SCIENTIFIC, 2001. http://dx.doi.org/10.1142/9789812810908_0032.

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

Berto, Francesco, and Mark Jago. "Modal Logics." In Impossible Worlds, 95–106. Oxford University Press, 2019. http://dx.doi.org/10.1093/oso/9780198812791.003.0004.

Full text
Abstract:
This chapter introduces normal propositional modal logics, then non-normal systems which invalidate the Necessitation rule (N). It shows how to model these logics using non-normal or impossible worlds, thought of as ‘logic violators’. This approach comes with non-uniform truth conditions: some operators are understood in one way at normal worlds, in another way at non-normal worlds. This may or may not be a problem. The specific case of non-adjunctive and non-prime worlds are then discussed, where conjunction and disjunction can behave in unusual ways.
APA, Harvard, Vancouver, ISO, and other styles
10

Ковачевић, Милош. "(НЕ)ГРАМАТИКАЛИЗОВАНА АЛТЕРНАТИВНОСТ У ОДНОСУ НА ДИСЈУНКЦИЈУ У САВРЕМЕНОМ СРПСКОМ ЈЕЗИКУ." In JEZIK, KNJIŽEVNOST, ALTERNATIVE/LANGUAGE, LITERATURE, ALTERNATIVES - Jezička istraživanja, 29–42. Filozofski fakultet u Nišu, 2022. http://dx.doi.org/10.46630/jkaj.2022.1.

Full text
Abstract:
There are three senses of the term ’alternativeness’: a) the choice of one between two options, b) equivalence (mutual interchangeability), and c) alternation. Only the first sense is grammaticalized as disjunctive. It is expressed by non-ambiguous sentential and/or phrasal disjunctive conjunctions ili, bilo and volj(a). The meaning of equivalence is not related to structural but to explanatory characteristics of language units, while no construction with the meaning of alternation has a syntactically disjunctive meaning as primary, but does have a syntactically adversative meaning. This means that it is not expressed with a disjunctive construction but with adversative independent constructions (sentences and phrases), both with conjunctions (the conjunction a) and with non-conjunctive markers of adversative alternation. The role of reduplicated semantic specifiers of adversative alternation is performed by temporal, quantitative, locative, and modal adverbs (čas, kad, nekad, ponekad, d(ij) elom, pola, negd(j)e, možda), by pronouns, which are often used as adverbials (što, nešto, koje), and by the modal particle makar. None of these specifiers, which are always reduplicated, has the role of a disjunctive conjunction. They always function as semantic specifiers of the adversative conjunction a, which is an obligatory semantic specifier, which means that if it is omitted the sentence becomes ungrammatical. The given reduplicated obligatory semantic specifiers unambiguously verify the sense of alternativeness as adversative alternation. In other words, another distinctive semantic subtype must be added to the subtypes of independent adversative clauses marked by semantic specifiers – this subtype are sentences featuring specifiers with the meaning of alternative alternation.
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Disjunctive worlds"

1

Menguy, Grégoire, Sébastien Bardin, Nadjib Lazaar, and Arnaud Gotlieb. "Active Disjunctive Constraint Acquisition." In 20th International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. California: International Joint Conferences on Artificial Intelligence Organization, 2023. http://dx.doi.org/10.24963/kr.2023/50.

Full text
Abstract:
Constraint acquisition (CA) is a method for learning users' concepts by representing them as a conjunction of constraints. While this approach works well for many combinatorial problems over finite domains, some applications require the acquisition of disjunctive constraints, possibly coming from logical implications or negations. In this paper, we propose the first CA algorithm tailored to the automatic inference of disjunctive constraints, named DCA. A key ingredient there, is to build upon the computation of maximal satisfiable subsets. We demonstrate experimentally that DCA is faster and more effective than traditional CA with added disjunctive constraints, even for ultra-metric constraints with up to 5 variables. We also apply DCA to precondition acquisition in software verification, where it outperforms the previous CA-based approach PreCA, being 2.5 times faster. Specifically, in our evaluation DCA infers more preconditions in just 5 minutes than PreCA does in an hour, without requiring prior knowledge about disjunction size. Our results demonstrate the potential of DCA for improving the efficiency and scalability of constraint acquisition in the disjunctive case, enabling a wide range of novel applications.
APA, Harvard, Vancouver, ISO, and other styles
2

Killen, Spencer, and Jia-Huai You. "Unfounded Sets for Disjunctive Hybrid MKNF Knowledge Bases." In 18th International Conference on Principles of Knowledge Representation and Reasoning {KR-2021}. California: International Joint Conferences on Artificial Intelligence Organization, 2021. http://dx.doi.org/10.24963/kr.2021/41.

Full text
Abstract:
Combining the closed-world reasoning of answer set programming (ASP) with the open-world reasoning of ontologies broadens the space of applications of reasoners. Disjunctive hybrid MKNF knowledge bases succinctly extend ASP and in some cases without increasing the complexity of reasoning tasks. However, in many cases, solver development is lagging behind. As the result, the only known method of solving disjunctive hybrid MKNF knowledge bases is based on guess-and-verify, as formulated by Motik and Rosati in their original work. A main obstacle is understanding how constraint propagation may be performed by a solver, which, in the context of ASP, centers around the computation of \textit{unfounded atoms}, the atoms that are false given a partial interpretation. In this work, we build towards improving solvers for hybrid MKNF knowledge bases with disjunctive rules: We formalize a notion of unfounded sets for these knowledge bases, identify lower complexity bounds, and demonstrate how we might integrate these developments into a DPLL-based solver. We discuss challenges introduced by ontologies that are not present in the development of solvers for disjunctive logic programs, which warrant some deviations from traditional definitions of unfounded sets. We compare our work with prior definitions of unfounded sets.
APA, Harvard, Vancouver, ISO, and other styles
3

Amendola, Giovanni, Francesco Ricca, and Miroslaw Truszczynski. "Generating Hard Random Boolean Formulas and Disjunctive Logic Programs." In Twenty-Sixth International Joint Conference on Artificial Intelligence. California: International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/75.

Full text
Abstract:
We propose a model of random quantified boolean formulas and their natural random disjunctive logic program counterparts. The model extends the standard models for random SAT and 2QBF. We provide theoretical bounds for the phase transition region in the new model, and show experimentally the presence of the easy-hard-easy pattern. Importantly, we show that the model is well suited for assessing solvers tuned to real-world instances. Moreover, to the best of our knowledge, our model and results on random disjunctive logic programs are the first of their kind.
APA, Harvard, Vancouver, ISO, and other styles
4

Gerlach, Lukas, and David Carral. "Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination." In 20th International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. California: International Joint Conferences on Artificial Intelligence Organization, 2023. http://dx.doi.org/10.24963/kr.2023/30.

Full text
Abstract:
The disjunctive restricted chase is a sound and complete procedure for solving boolean conjunctive query entailment over knowledge bases of disjunctive existential rules. Alas, this procedure does not always terminate and checking if it does is undecidable. However, we can use acyclicity notions (sufficient conditions that imply termination) to effectively apply the chase in many real-world cases. To know if these conditions are as general as possible, we can use cyclicity notions (sufficient conditions that imply non-termination). In this paper, we discuss some issues with previously existing cyclicity notions, propose some novel notions for non-termination by dismantling the original idea, and empirically verify the generality of the new criteria.
APA, Harvard, Vancouver, ISO, and other styles
5

Bienvenu, Meghyn, and Pierre Bourhis. "Mixed-World Reasoning with Existential Rules under Active-Domain Semantics." In Twenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}. California: International Joint Conferences on Artificial Intelligence Organization, 2019. http://dx.doi.org/10.24963/ijcai.2019/216.

Full text
Abstract:
In this paper, we study reasoning with existential rules in a setting where some of the predicates may be closed (i.e., their content is fully specified by the data instance) and the remaining open predicates are interpreted under active-domain semantics. We show, unsurprisingly, that the main reasoning tasks (satisfiability and certainty / possibility of Boolean queries) are all intractable in data complexity in the general case. However, several positive (PTIME data) results are obtained for the linear fragment, and interestingly, these tractability results hold also for various extensions, e.g., with negated closed atoms and disjunctive rule heads. This motivates us to take a closer look at the linear fragment, exploring its expressivity and defining a fixpoint extension to approximate non-linear rules.
APA, Harvard, Vancouver, ISO, and other styles
6

Carral, David, Irina Dragoste, and Markus Krötzsch. "Detecting Chase (Non)Termination for Existential Rules with Disjunctions." In Twenty-Sixth International Joint Conference on Artificial Intelligence. California: International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/128.

Full text
Abstract:
The restricted chase is a sound and complete algorithm for conjunctive query answering over ontologies of disjunctive existential rules. We develop acyclicity conditions to ensure its termination. Our criteria cannot always detect termination (the problem is undecidable), and we develop the first cyclicity criteria to show non-termination of the restricted chase. Experiments on real-world ontologies show that our acyclicity notions improve significantly over known criteria.
APA, Harvard, Vancouver, ISO, and other styles
7

Shen, Yi-Dong, and Thomas Eiter. "Considering Constraint Monotonicity and Foundedness in Answer Set Programming." In Thirty-First International Joint Conference on Artificial Intelligence {IJCAI-22}. California: International Joint Conferences on Artificial Intelligence Organization, 2022. http://dx.doi.org/10.24963/ijcai.2022/380.

Full text
Abstract:
Should the properties of constraint monotonicity and foundedness be mandatory requirements that every answer set and world view semantics must satisfy? This question is challenging and has incurred a debate in answer set programming (ASP). In this paper we address the question by introducing natural logic programs whose expected answer sets and world views violate these properties and thus may be viewed as counter-examples to these requirements. Specifically we use instances of the generalized strategic companies problem for ASP benchmark competitions as concrete examples to demonstrate that the requirements of constraint monotonicity and foundedness may exclude expected answer sets for some simple disjunctive programs and world views for some epistemic specifications. In conclusion these properties should not be mandatory conditions for an answer set and world view semantics in general.
APA, Harvard, Vancouver, ISO, and other styles
8

Feier, Cristina, Carsten Lutz, and Frank Wolter. "From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying." In Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}. California: International Joint Conferences on Artificial Intelligence Organization, 2018. http://dx.doi.org/10.24963/ijcai.2018/250.

Full text
Abstract:
We consider ontology-mediated queries (OMQs) based on expressive description logics of the ALC family and (unions) of conjunctive queries, studying the rewritability into OMQs based on instance queries (IQs). Our results include exact characterizations of when such a rewriting is possible and tight complexity bounds for deciding rewritability. We also give a tight complexity bound for the related problem of deciding whether a given MMSNP sentence (in other words: the complement of a monadic disjunctive Datalog program) is equivalent to a constraint satisfaction problem.
APA, Harvard, Vancouver, ISO, and other styles
9

Mohapatra, Shreya. "Law and Gender Justice: The Disjuncture between Formal Equality and Real Equality." In World Conference on Women's Studies. The International Institute of Knowledge Management (TIIKM), 2017. http://dx.doi.org/10.17501/wcws.2017.2106.

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

Hudec, Miroslav, Radko Mesiar, and Erika Mináriková. "Applicability of Ordinal Sums of Conjunctive and Disjunctive Functions in Classification." In 19th World Congress of the International Fuzzy Systems Association (IFSA), 12th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT), and 11th International Summer School on Aggregation Operators (AGOP). Paris, France: Atlantis Press, 2021. http://dx.doi.org/10.2991/asum.k.210827.081.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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