Relevant bibliographies by topics / Conjunctive rule

Contents

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

Academic literature on the topic 'Conjunctive rule'

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 'Conjunctive rule.'

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 "Conjunctive rule"

1

Plinere, Darya, and Arkady Borisov. "SWRL: Rule Acquisition Using Ontology." Scientific Journal of Riga Technical University. Computer Sciences 40, no. 1 (2009): 117–22. http://dx.doi.org/10.2478/v10143-010-0016-8.

Full text
Abstract:
SWRL: Rule Acquisition Using Ontology Nowadays rule-based systems are very common. The use of ontology-based systems is becoming ever more popular, especially in addition to the rule-based one. The most widely used ontology development platform is Protégé. Protégé provides a knowledge acquisition tool, but still the main issue of the ontology-based rule system is rule acquisition. This paper presents an approach to using SWRL rules Tab, a plug-in to Protégé, for rule acquisition. SWRL rules Tab transforms conjunctive rules to Jess rules in IF…THEN form.
APA, Harvard, Vancouver, ISO, and other styles
2

Jedidi, Kamel, and Rajeev Kohli. "Probabilistic Subset-Conjunctive Models for Heterogeneous Consumers." Journal of Marketing Research 42, no. 4 (2005): 483–94. http://dx.doi.org/10.1509/jmkr.2005.42.4.483.

Full text
Abstract:
The authors propose two generalizations of conjunctive and disjunctive screening rules. First, they relax the requirement that an acceptable alternative must be satisfactory on one criterion (disjunctive) or on all criteria (conjunctive). Second, they relax the assumption that consumers make deterministic judgments when evaluating alternatives. They combine the two generalizations into a probabilistic subset-conjunctive rule, which allows consumers to use any number or subset of decision criteria when screening alternatives and permits them to be uncertain about the acceptability of attribute
APA, Harvard, Vancouver, ISO, and other styles
3

Byrne, Kaileigh A., Tyler Davis, and Darrell A. Worthy. "Dopaminergic Genetic Polymorphisms Predict Rule-based Category Learning." Journal of Cognitive Neuroscience 28, no. 7 (2016): 959–70. http://dx.doi.org/10.1162/jocn_a_00942.

Full text
Abstract:
Dopaminergic genes play an important role in cognitive function. DRD2 and DARPP-32 dopamine receptor gene polymorphisms affect striatal dopamine binding potential, and the Val158Met single-nucleotide polymorphism of the COMT gene moderates dopamine availability in the pFC. Our study assesses the role of these gene polymorphisms on performance in two rule-based category learning tasks. Participants completed unidimensional and conjunctive rule-based tasks. In the unidimensional task, a rule along a single stimulus dimension can be used to distinguish category members. In contrast, a conjunctive
APA, Harvard, Vancouver, ISO, and other styles
4

Chin, Kwai-Sang, and Chao Fu. "Weighted cautious conjunctive rule for belief functions combination." Information Sciences 325 (December 2015): 70–86. http://dx.doi.org/10.1016/j.ins.2015.07.003.

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

Kikumoto, Atsushi, Tesufuaishin Sameshima, and Ulrich Mayr. "The Role of Conjunctive Representations in Stopping Actions." Psychological Science 33, no. 2 (2022): 325–38. http://dx.doi.org/10.1177/09567976211034505.

Full text
Abstract:
Action selection appears to rely on conjunctive representations that nonlinearly integrate task-relevant features. Here, we tested a corollary of this hypothesis: that such representations are also intricately involved during attempts to stop an action—a key aspect of action regulation. We tracked both conjunctive representations and those of constituent rule, stimulus, or response features through trial-by-trial representational similarity analysis of the electroencephalogram signal in a combined rule-selection and stop-signal paradigm. Across two experiments with student participants ( N = 5
APA, Harvard, Vancouver, ISO, and other styles
6

Chang, Leilei, Yuwang Chen, Zhiyong Hao, Zhijie Zhou, Xiaobin Xu, and Xu Tan. "Indirect disjunctive belief rule base modeling using limited conjunctive rules: Two possible means." International Journal of Approximate Reasoning 108 (May 2019): 1–20. http://dx.doi.org/10.1016/j.ijar.2019.02.006.

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

Chang, Liang-Cheng, Hone-Jay Chu, and Yi-Wen Chen. "A Fuzzy Inference System for the Conjunctive Use of Surface and Subsurface Water." Advances in Fuzzy Systems 2013 (2013): 1–10. http://dx.doi.org/10.1155/2013/128393.

Full text
Abstract:
This study develops the water resources management model for conjunctive use of surface and subsurface water using a fuzzy inference system (FIS). The study applies the FIS to allocate the demands of surface and subsurface water. Subsequently, water allocations in the surface water system are simulated by using linear programming techniques, and the responses of subsurface water system with respect to pumping are forecasted by using artificial neural networks. The operating rule for the water systems is that the more abundant water system supplies more water. By using the fuzzy rule, the FIS c
APA, Harvard, Vancouver, ISO, and other styles
8

Kikumoto, Atsushi, and Ulrich Mayr. "Conjunctive representations that integrate stimuli, responses, and rules are critical for action selection." Proceedings of the National Academy of Sciences 117, no. 19 (2020): 10603–8. http://dx.doi.org/10.1073/pnas.1922166117.

Full text
Abstract:
People can use abstract rules to flexibly configure and select actions for specific situations, yet how exactly rules shape actions toward specific sensory and/or motor requirements remains unclear. Both research from animal models and human-level theories of action control point to the role of highly integrated, conjunctive representations, sometimes referred to as event files. These representations are thought to combine rules with other, goal-relevant sensory and motor features in a nonlinear manner and represent a necessary condition for action selection. However, so far, no methods exist
APA, Harvard, Vancouver, ISO, and other styles
9

Ahmed, Faisal, Mohammad Shahadat Hossain, Raihan Ul Islam, and Karl Andersson. "An Evolutionary Belief Rule-Based Clinical Decision Support System to Predict COVID-19 Severity under Uncertainty." Applied Sciences 11, no. 13 (2021): 5810. http://dx.doi.org/10.3390/app11135810.

Full text
Abstract:
Accurate and rapid identification of the severe and non-severe COVID-19 patients is necessary for reducing the risk of overloading the hospitals, effective hospital resource utilization, and minimizing the mortality rate in the pandemic. A conjunctive belief rule-based clinical decision support system is proposed in this paper to identify critical and non-critical COVID-19 patients in hospitals using only three blood test markers. The experts’ knowledge of COVID-19 is encoded in the form of belief rules in the proposed method. To fine-tune the initial belief rules provided by COVID-19 experts
APA, Harvard, Vancouver, ISO, and other styles
10

Li, Fenglian, Xueying Zhang, Xiaolei Chen, and Yu-Chu Tian. "Adaptive and robust evidence theory with applications in prediction of floor water inrush in coal mine." Transactions of the Institute of Measurement and Control 39, no. 4 (2017): 483–93. http://dx.doi.org/10.1177/0142331216687816.

Full text
Abstract:
The Internet of Things generates rich information either from different sources or the same source via different measurement methods. This demands data fusion for decision making. Despite the progress in data fusion, existing data fusion techniques, such as the classic Dempster–Shafer evidence Theory, face challenges when dealing with highly conflicting sources of evidence. To address this problem, an Adaptive and Robust evidence Theory (ART) is presented in this paper through a robust combination of conjunctive and disjunctive rules. It is capable of handling both conflicting and reliable sou
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Conjunctive rule"

1

Seetha, Ram Katakam V. "Conjunctive And Multipurpose Operation Of Reservoirs Using Genetic Algorithms." Thesis, Indian Institute of Science, 2000. https://etd.iisc.ac.in/handle/2005/222.

Full text
Abstract:
Optimal operation of reservoir systems is necessary for better utilizing the limited water resources and to justify the high capital investments associated with reservoir projects. However, finding optimal policies for real-life problems of reservoir systems operation (RSO) is a challenging task as the available analytical methods can not handle the arbitrary functions of the problem and almost all methods employed are numerical or iterative type that are computer dependent. Since the computer resources in terms of memory and CPU time are limited, a limit exists for the size of the problem, in
APA, Harvard, Vancouver, ISO, and other styles
2

Seetha, Ram Katakam V. "Conjunctive And Multipurpose Operation Of Reservoirs Using Genetic Algorithms." Thesis, Indian Institute of Science, 2000. http://hdl.handle.net/2005/222.

Full text
Abstract:
Optimal operation of reservoir systems is necessary for better utilizing the limited water resources and to justify the high capital investments associated with reservoir projects. However, finding optimal policies for real-life problems of reservoir systems operation (RSO) is a challenging task as the available analytical methods can not handle the arbitrary functions of the problem and almost all methods employed are numerical or iterative type that are computer dependent. Since the computer resources in terms of memory and CPU time are limited, a limit exists for the size of the problem, in
APA, Harvard, Vancouver, ISO, and other styles
3

Rocher, Swan. "Querying existential rule knowledge bases : decidability and complexity." Thesis, Montpellier, 2016. http://www.theses.fr/2016MONTT291/document.

Full text
Abstract:
Dans cette thèse, nous nous intéressons au problème d'interrogation de bases de connaissances composées de données et d'une ontologie, qui représente des connaissances générales sur le domaine d'application. Parmi les différents formalismes permettant de représenter les connaissances ontologiques, nous considérons ici un fragment de la logique du premier ordre appelé règles existentielles (aussi connues sous le nom de ``tuple generating dependencies'' et Datalog+/-). Le problème fondamental de conséquence logique au cœur de cette thèse demande si une requête conjonctive est conséquence d'une b
APA, Harvard, Vancouver, ISO, and other styles
4

Thomazo, Michaël. "Conjunctive Query Answering Under Existential Rules - Decidability, Complexity, and Algorithms." Phd thesis, Université Montpellier II - Sciences et Techniques du Languedoc, 2013. http://tel.archives-ouvertes.fr/tel-00925722.

Full text
Abstract:
L'objectif du problème appelé "Ontology-based data access" (OBDA) est d'améliorer la réponse à des requêtes en prenant en compte des connaissances d'ordre général durant l'évaluation des requêtes. Ces connaissances générales sont représentées à l'aide d'une ontologie, qui est exprimée dans cette thèse grâce à des formules logiques du premier ordre, appelées règles existentielles, et aussi connues sous le nom de "tuple-generating dependencies" et Datalog+/-. L'expressivité des formules utilisées est telle que l'évaluation de requêtes devient un problème indécidable, et cela a conduit la communa
APA, Harvard, Vancouver, ISO, and other styles
5

Jonsson, Erik, and Kristina Leander. "ATT HJÄLPA ELLER STJÄLPASANNOLIKHETSBEDÖMNINGAR:KONJUNKTIONSREGELN OCH MENTALARBETSBELASTNING SOM MEDIERANDEFAKTORER." Thesis, Umeå universitet, Institutionen för psykologi, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-143404.

Full text
Abstract:
Den här studien syftade till att undersöka om mental arbetsbelastning kan påverka benägenhetenatt begå konjunktionsfelet vid sannolikhetsbedömningar, trots att man fått ledtrådarsom synliggjort konjunktionsregeln. Detta undersöktes med en experimentell mellangruppsdesign.I studien deltog 57 deltagare, varav 27 i experimentgruppen och 30 i kontrollgruppen.Deltagarna var i huvudsak studenter på universitetsnivå. Grupperna hade en jämn könsfördelning.Vad gäller ålder så var medelvärdet i kontrollgruppen 24.8 och medelvärdet i experimentgruppenvar 30.7. Samtliga deltagare fick utföra ett datorbase
APA, Harvard, Vancouver, ISO, and other styles
6

Whitman, Philip Neal. "Category neutrality : a type-logical investigation /." Connect to this title online, 2002. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=osu1023679306.

Full text
Abstract:
Thesis (Ph. D.)--Ohio State University, 2002.<br>Title from first page of PDF file. Document formatted into pages; contains xii, 320 p., also contains graphics. Includes abstract and vita. Advisor: David R. Dowty, Dept. of Linguistics. Includes bibliographical references (p. 315-320).
APA, Harvard, Vancouver, ISO, and other styles
7

李志鵬. "Examining the Feasibility of Applying a Novel Operating Rule to the Conjunctive Operation of Multi-Reservoirs." Thesis, 2003. http://ndltd.ncl.edu.tw/handle/22080358587828692721.

Full text
Abstract:
碩士<br>國立交通大學<br>土木工程系<br>92<br>This study develops a simulation model for the operation of a multi-reservoirs system and, then, applies that model to investigate the feasibility of using a novel operating-rule to guide the reservoir operations. Based on the framework of conventional rule-curve operations, the proposed model uses the linear programming algorithm as a computing kernel to distribute the water resources of the multi-reservoirs system among targets in each time step. In addition to developing the program, the model input is highly organized and structured to facilitate the model ap
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Conjunctive rule"

1

Europe, Council of, Commission of the European Communities., Russia (Federation), and Prokuratura in a State Governed by the Rule of Law (Meeting) (1997 : Moscow), eds. The Prokuratura in a state governed by the rule of law: Multilateral meeting organised by the Council of Europe in conjunction with the General Prosecutor's Office of the Russian Federation, Moscow, 8-9 January 1997. Council of Europe, 1998.

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

Vasechko, Vyacheslav. Science in a Political Society: the adventures and Fates of Scientists in the Civilizations of the ancient and medieval East. INFRA-M Academic Publishing LLC., 2023. http://dx.doi.org/10.12737/1831655.

Full text
Abstract:
The monograph is devoted to elucidating the specifics of those socio-historical and cultural factors that determine the format of the study of the material world (Nature, Cosmos, Universe) in societies of the politic type, which are primarily understood as civilizations of the ancient and medieval East. A person who has chosen natural sciences as a life priority for himself is in a political society under quite severe social pressure both from social institutions (mainly the state and the clergy) and from the overwhelming majority of the population alien to scientific interests. However, in ce
APA, Harvard, Vancouver, ISO, and other styles
3

How to Learn Natural Deduction Inference Rules : Conjunction Introduction , Conjunction Elimination , Conditional Elimination: Workbooklet 3. 1. Independently Published, 2022.

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

Tennant, Neil. From the Logic of Evaluation to the Logic of Deduction. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780198777892.003.0004.

Full text
Abstract:
We deliver the details on the smooth morphing from the verification and falsification rules of the model-relative Logic of Evaluation to the model-invariant, deductive rules of Core Logic. There are good reasons for preferring the parallelized forms of certain elimination rules in natural deduction (the ones for conjunction, the conditional, and the universal quantifier) to their more conventional serial forms. We explain how ⊥ can make its way into proofs as a conclusion, as required for applications of ¬-Introduction. We discuss the notion of harmony between introduction and elimination rule
APA, Harvard, Vancouver, ISO, and other styles
5

Viellechner, Lars, ed. Demokratischer Konstitutionalismus. Nomos Verlagsgesellschaft mbH & Co. KG, 2021. http://dx.doi.org/10.5771/9783748900078.

Full text
Abstract:
For Dieter Grimm, the constitution that emerged from the bourgeois revolutions of the 18th and 19th centuries appears as one of the greatest achievements of our time. Originally geared to the liberal state, it now faces challenges from within and without. The party state and the welfare state on the one hand, and Europeanisation and globalisation on the other, are escaping its grip. The question is therefore whether and how the specific conjunction of democracy and the rule of law, including fundamental rights, can be maintained under the changing conditions. With contributions by Wolfgang Hof
APA, Harvard, Vancouver, ISO, and other styles
6

Donald A, Timm. Part II Commentaries to Typical Sofa Rules, 28 The ‘Joint Commission’ Liaison Mechanism. Oxford University Press, 2018. http://dx.doi.org/10.1093/law/9780198808404.003.0028.

Full text
Abstract:
This chapter discusses a solution for coordination problems developed by the US in conjunction with the individual Sending States in whose territory the US has been invited to send its forces in peacetime. Although each individual case has its differences due to different sovereigns, different times of development, and different sizes or missions of the forces involved, there are nonetheless many conceptual similarities which transcend these differences and which may recommend themselves as a guide. The core similarity is the concept of a single overarching binational body charged with oversee
APA, Harvard, Vancouver, ISO, and other styles
7

William A, Schabas. Part 7 Penalties: Les Peines, Art.78 Determination of the sentence/Fixation de la peine. Oxford University Press, 2016. http://dx.doi.org/10.1093/law/9780198739777.003.0082.

Full text
Abstract:
This chapter comments on Article 78 of the Rome Statute of the International Criminal Court. Article 78 concerns determination of the sentence and addresses three issues: mitigating and aggravating factors, the treatment of time served in detention prior to sentencing, and the imposition of sentences in the case of conviction for more than one offence. Article 78 is to be read in conjunction with detailed provisions in the Rules of Procedure and Evidence. Paragraph 2 governs the calculation of the sentence, allowing for the deduction of time served in detention ‘in accordance with an order of
APA, Harvard, Vancouver, ISO, and other styles
8

Liebling, Alison, and Deborah Kant. The Two Cultures. Edited by John Wooldredge and Paula Smith. Oxford University Press, 2016. http://dx.doi.org/10.1093/oxfordhb/9780199948154.013.11.

Full text
Abstract:
This chapter assesses how correctional officers exercise their authority over inmates. How officers influence prison climates is discussed in conjunction with their roles in impeding or facilitating the goals of confinement, and in particular their impact on a climate supportive of offender change. The authors draw from ethnography on prisons across the United Kingdom to explain some correctional officers’ distrust of managers, their cynicism toward correctional reform, and their alienation from liberal humanitarian goals. Examples of officer “cultures,” informal rules of conduct, and the orig
APA, Harvard, Vancouver, ISO, and other styles
9

Dizon, Mark. Reciprocal Mobilities. University of North Carolina PressChapel Hill, NC, 2023. https://doi.org/10.5149/northcarolina/9781469676449.001.0001.

Full text
Abstract:
Abstract Throughout the eighteenth century, independent Indigenous people from the borderlands of the Philippines visited the centers of Spanish colonial rule in the archipelago. Their travels are the counternarratives to one-dimensional stories of Spanish conquest of, and Indigenous resistance in, interior frontiers. Indigenous inhabitants on the island of Luzon constantly moved about—visiting allies and launching raids—and thus shaped history in the process. Their mobility allows us to glimpse their agency in colonial interactions in the early modern period. The landscape contains the traces
APA, Harvard, Vancouver, ISO, and other styles
10

Papanicolopulu, Irini. People, the Sea, and International Law. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198789390.003.0002.

Full text
Abstract:
The chapter presents the factual and legal background to the discussion of people at sea. Firstly, it provides some background discussion concerning the presence of people at sea and the risks these people face. Secondly, it briefly presents the legal rules that have been adopted specifically to protect some of the categories of people who are at sea and concludes that they provide only a partial and uneven protection. Current efforts to address the specific challenges faced by people at sea are not effective, since legal analysis is based upon the identification of a discrete field, often in
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Conjunctive rule"

1

Gottlob, Georg, Thomas Lukasiewicz, and Gerardo I. Simari. "Conjunctive Query Answering in Probabilistic Datalog+/– Ontologies." In Web Reasoning and Rule Systems. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-23580-1_7.

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

Kikot, Stanislav, Roman Kontchakov, and Michael Zakharyaschev. "Polynomial Conjunctive Query Rewriting under Unary Inclusion Dependencies." In Web Reasoning and Rule Systems. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-23580-1_10.

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

Mailis, Theofilos, Rafael Peñaloza, and Anni-Yasmin Turhan. "Conjunctive Query Answering in Finitely-Valued Fuzzy Description Logics." In Web Reasoning and Rule Systems. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-11113-1_9.

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

Gutiérrez-Basulto, Víctor, Yazmín Ibañez-García, Roman Kontchakov, and Egor V. Kostylev. "Conjunctive Queries with Negation over DL-Lite: A Closer Look." In Web Reasoning and Rule Systems. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-39666-3_9.

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

Beck, Florian, Johannes Fürnkranz, and Van Quoc Phuong Huynh. "Layerwise Learning of Mixed Conjunctive and Disjunctive Rule Sets." In Rules and Reasoning. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-45072-3_7.

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

Matos Alfonso, Enrique, and Giorgos Stamou. "On Horn Conjunctive Queries." In Rules and Reasoning. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-99906-7_8.

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

Vorontsov, Konstantin, and Andrey Ivahnenko. "Tight Combinatorial Generalization Bounds for Threshold Conjunction Rules." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-21786-9_13.

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

Bronevich, Andrey G., and Igor N. Rozenberg. "Conjunctive Rules in the Theory of Belief Functions and Their Justification Through Decisions Models." In Belief Functions: Theory and Applications. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-45559-4_14.

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

Zaidi, Syed Farhan Alam, Rahat Hussain, Muhammad Sibtain Abbas, Jaehun Yang, Doyeop Lee, and Chansik Park. "iSafe Welding System: Computer Vision-Based Monitoring System for Safe Welding Work." In CONVR 2023 - Proceedings of the 23rd International Conference on Construction Applications of Virtual Reality. Firenze University Press, 2023. http://dx.doi.org/10.36253/979-12-215-0289-3.66.

Full text
Abstract:
The construction industry faces significant challenges, including a high prevalence of occupational incidents, often involving fires, explosions, and burn-related accidents due to worker non-compliance with safety protocols. Adherence to safety guidelines and proper utilization of safety equipment are critical to preventing such incidents and safeguarding workers in hazardous work environments. Consequently, a monitoring system tailored for construction safety during welding operations becomes imperative to mitigate the risk of fire accidents. This paper conducts a brief analysis of OSHA rules
APA, Harvard, Vancouver, ISO, and other styles
10

Zaidi, Syed Farhan Alam, Rahat Hussain, Muhammad Sibtain Abbas, Jaehun Yang, Doyeop Lee, and Chansik Park. "iSafe Welding System: Computer Vision-Based Monitoring System for Safe Welding Work." In CONVR 2023 - Proceedings of the 23rd International Conference on Construction Applications of Virtual Reality. Firenze University Press, 2023. http://dx.doi.org/10.36253/10.36253/979-12-215-0289-3.66.

Full text
Abstract:
The construction industry faces significant challenges, including a high prevalence of occupational incidents, often involving fires, explosions, and burn-related accidents due to worker non-compliance with safety protocols. Adherence to safety guidelines and proper utilization of safety equipment are critical to preventing such incidents and safeguarding workers in hazardous work environments. Consequently, a monitoring system tailored for construction safety during welding operations becomes imperative to mitigate the risk of fire accidents. This paper conducts a brief analysis of OSHA rules
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Conjunctive rule"

1

Carral, David, Lucas Larroque, and Michaël Thomazo. "Ontology-Based Query Answering over Datalog-Expressible Rule Sets is Undecidable." In 21st International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. International Joint Conferences on Artificial Intelligence Organization, 2024. http://dx.doi.org/10.24963/kr.2024/22.

Full text
Abstract:
Ontology-based query answering is a problem that takes as input a set of facts F, an ontology R (typically expressed by existential rules), a Boolean query q , and asks whether R and F entails q. This problem is undecidable in general, and a widely investigated approach to tackle it is called query rewriting: from (R,q) (a ``rule query'') is computed q_R such that for any set of facts F, it holds that R and F entail q iff F entails q_R. The literature mostly focused on q_R expressed as a union of conjunctive queries (UCQs), and an algorithm that such a q_R whenever it exists has been proposed
APA, Harvard, Vancouver, ISO, and other styles
2

Benedikt, Michael, Stanislav Kikot, Johannes Marti, and Piotr Ostropolski-Nawelaja. "Monotone Rewritability and the Analysis of Queries, Views, and Rules." In 21st International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. International Joint Conferences on Artificial Intelligence Organization, 2024. http://dx.doi.org/10.24963/kr.2024/11.

Full text
Abstract:
We study the interaction of views, queries, and background knowledge in the form of existential rules. The motivating questions concern monotonic determinacy of a query using views w.r.t. rules, which refers to the ability to recover the query answer from the views via a monotone function. We study the decidability of monotonic determinacy, and compare with variations that require the “recovery function” to be in a well-known monotone query language, such as conjunctive queries or Datalog. Surprisingly, we find that even in the presence of basic existential rules, the borderline between well-b
APA, Harvard, Vancouver, ISO, and other styles
3

Ostropolski-Nalewaja, Piotr, and Sebastian Rudolph. "The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules." In 21st International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. International Joint Conferences on Artificial Intelligence Organization, 2024. http://dx.doi.org/10.24963/kr.2024/54.

Full text
Abstract:
Extensive research in the field of ontology-based query answering has led to the identification of numerous fragments of existential rules (also known as tuple-generating dependencies) that exhibit decidable answering of atomic and conjunctive queries. Motivated by the increased theoretical and practical interest in navigational queries, this paper considers the question for which of these fragments decidability of querying extends to regular path queries (RPQs). In fact, decidability of RPQs has recently been shown to generally hold for the comprehensive family of all fragments that come with
APA, Harvard, Vancouver, ISO, and other styles
4

Lutz, Carsten, and Quentin Manière. "Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster." In 21st International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. International Joint Conferences on Artificial Intelligence Organization, 2024. http://dx.doi.org/10.24963/kr.2024/50.

Full text
Abstract:
We study extensions of expressive decidable fragments of first-order logic with circumscription, considering in particular the two-variable fragment FO^2, its extension C^2 with counting quantifiers, and the guarded fragment GF. We prove that if only unary predicates are minimized (or fixed) during circumscription, then decidability of logical consequence is preserved. For FO^2 the complexity increases from NExp to NExp^NP-complete, for GF it (remarkably!) increases from 2Exp to Tower-complete, and for C^2 it remains open. We also consider querying circumscribed knowledge bases whose ontology
APA, Harvard, Vancouver, ISO, and other styles
5

Baeté, Christophe, and Dr Olga Dolgikh. "Optimizing Pipeline AC Threat Assessments Using Computational Aided Engineering (CAE) Modelling." In CONFERENCE 2023. AMPP, 2023. https://doi.org/10.5006/c2023-19219.

Full text
Abstract:
Abstract AC threat assessments on pipelines are typically covered under various specifications, and best practices, such as NACE SP0177, EN 50443 and the INGAA FINAL Report No. 2015-04. The theories and philosophies are all based upon sound engineering and scientific principles but require a significant amount of Subject Matter Expert (SME) time. The more complex the collocations, the slower the process and/or the higher the costs. With complex and large networks, the asset owner is often overwhelmed. An advanced approach has been developed, tested, and implemented on more than 66,000 miles of
APA, Harvard, Vancouver, ISO, and other styles
6

Beardwood, E. S. "Boiler Feedwater Monitoring Applied to Deaerator Efficiency Improvement." In CORROSION 1989. NACE International, 1989. https://doi.org/10.5006/c1989-89313.

Full text
Abstract:
Abstract On line continuous feedwater monitoring has shown deviations from the typical 10 ug/1 (ppb) or less oxygen levels in deaerator effluents. The higher oxygen levels have been incurred during the operational development of pressure and thermal gradient changes. These changes as well as operational upsets have been reported by others (1, 2, 3, 4, 5, 6, 7) to lead to corrosion fatigue cracking in deaerators. Of course, disruption of deaerator internals have also been responsible for poor oxygen removal (8). This paper will discuss continuous oxygen monitoring in conjunction with heat and f
APA, Harvard, Vancouver, ISO, and other styles
7

Lenard, Derek R. "Corrosion of a Steel-Hulled Vessel by Cathodic Protection." In CORROSION 2010. NACE International, 2010. https://doi.org/10.5006/c2010-10394.

Full text
Abstract:
Abstract A steel-hulled vessel was found to have suffered serious corrosion damage near one of its impressed current cathodic protection anodes. The damage was observed at breaks in the anode shield near a weld and in the cofferdam housing the anode. Underwater inspections revealed that all of the vessels in this class were experiencing similar problems. Several potential causes, such as the reversal of the power supply leads, were ruled out, as the cathodic protection system appeared to be functioning as designed. As a result, a theory was developed that involved an unusual corrosion mechanis
APA, Harvard, Vancouver, ISO, and other styles
8

Segall, S. M., R. A. Gummow, and R. G. Reid. "New Concepts in the Prioritization of Multiple ECDA Indications." In CORROSION 2007. NACE International, 2007. https://doi.org/10.5006/c2007-07161.

Full text
Abstract:
Abstract This paper describes the challenge of integrating specific types of ECDA indications, such as AC-enhanced corrosion (ACEC) and DC interference (DCI), under the prioritization criteria recommended by NACE RP0502-2002. Starting from the observation that the risk of corrosion does not always increase with the size of the holiday, the paper analyzes the interaction of up to four complementary ECDA indications (i.e. CIPS, DCVG, ACEC and DCI), with and without prior history of corrosion, as a function of their severity. New concepts, such as “distributed indication ” and “relevant indicatio
APA, Harvard, Vancouver, ISO, and other styles
9

Juvonen, Antti, and Tuomo Sipola. "Combining conjunctive rule extraction with diffusion maps for network intrusion detection." In 2013 IEEE Symposium on Computers and Communications (ISCC). IEEE, 2013. http://dx.doi.org/10.1109/iscc.2013.6754981.

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

Amendola, Giovanni, Nicola Leone, and Marco Manna. "Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward." In Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}. International Joint Conferences on Artificial Intelligence Organization, 2018. http://dx.doi.org/10.24963/ijcai.2018/719.

Full text
Abstract:
Reasoning with existential rules typically consists of checking whether a Boolean conjunctive query is satisfied by all models of a first-order sentence having the form of a conjunction of Datalog rules extended with existential quantifiers in rule-heads. To guarantee decidability, five basic decidable classes - linear, weakly-acyclic, guarded, sticky, and shy - have been singled out, together with several generalizations and combinations. For all basic classes, except shy, the important property of finite controllability has been proved, ensuring that a query is satisfied by all models of the
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Conjunctive rule"

1

Borgwardt, Stefan, Bettina Fazzinga, Thomas Lukasiewicz, Akanksha Shrivastava, and Oana Tifrea-Marciuska. Preferential Query Answering in the Semantic Web with Possibilistic Networks. Technische Universität Dresden, 2016. http://dx.doi.org/10.25368/2023.219.

Full text
Abstract:
In this paper, we explore how ontological knowledge expressed via existential rules can be combined with possibilistic networks (i) to represent qualitative preferences along with domain knowledge, and (ii) to realize preference-based answering of conjunctive queries (CQs). We call these combinations ontological possibilistic networks (OP-nets). We define skyline and k-rank answers to CQs under preferences and provide complexity (including data tractability) results for deciding consistency and CQ skyline membership for OP-nets. We show that our formalism has a lower complexity than a similar
APA, Harvard, Vancouver, ISO, and other styles
2

Orth. L51762 Investigation of Fatigue Properties of Girth Welds with Root Imperfections Allowed. Pipeline Research Council International, Inc. (PRCI), 1997. http://dx.doi.org/10.55274/r0010233.

Full text
Abstract:
Fatigue analysis of welded components and structures according to established codes is based upon either S-N design curves or fracture mechanics principles. Fatigue damage in nominally sound joints is commonly estimated using an appropriate S-N curve in conjunction with a linear cumulative damage rule (i.e., Miner"s rule). By comparison, fracture mechanics is used to assess the growth of an imperfection during a period of cyclic loading, or to assess whether an imperfection will remain dormant under the applied cyclic loading condition. Thus, the S-N approach is used mostly during initial desi
APA, Harvard, Vancouver, ISO, and other styles
3

Laxmi Prasanna, Porandla, B. Anil kumar, and Macha Sahithi. A STUDY TO EVALUATE THE TEAR FILM CHANGES IN PATIENTS WITH PTERYGIUM. World Wide Journals, 2023. http://dx.doi.org/10.36106/ijar/3408221.

Full text
Abstract:
Introduction: Pterygium is a degenerative condition of the subconjunctival tissues which proliferate as vascularized granulation tissue to invade the cornea, destroying the supercial layers of the stroma and bowmans membrane, the whole being covered by conjunctival epithelium.The tear lm consists of three layers, the most supercial layer of tear lm is lipid layer produced by meibomian glands. The middle layer is the aqueous layer produced by the main lacrimal gland as well as accessory lacrimal glands of Krause and Wolfring. Aqueous layer constitutes over 90% of the tear lm. The layer clo
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Conjunctive rule' for particular source types:
Journal articles Books
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