Relevant bibliographies by topics / Disjunctive restriction

Contents

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

Academic literature on the topic 'Disjunctive restriction'

Author: Grafiati
Published: 4 June 2021
Last updated: 14 February 2022

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 restriction.'

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 restriction"

1

Hardy, Charles J., and Robert Kelly Crace. "The Effects of Task Structure and Teammate Competence on Social Loafing." Journal of Sport and Exercise Psychology 13, no. 4 (1991): 372–81. http://dx.doi.org/10.1123/jsep.13.4.372.

Full text
Abstract:
Previous research has demonstrated that the difference between a group's potential and its actual productivity is, in part, a function of individuals exerting less effort when working as a team. This phenomenon has been labeled social loafing. Harkins and Petty (1982) have suggested that the way in which teammates think their outputs are combined to make up the team score and teammate competence may influence the social loafing effect. The purpose of this study was to examine the effects of additive, disjunctive, and conjunctive task structures on individual effort expended by rowers and nonro
APA, Harvard, Vancouver, ISO, and other styles
2

ALVIANO, MARIO, WOLFGANG FABER, and STEFAN WOLTRAN. "Complexity of super-coherence problems in ASP." Theory and Practice of Logic Programming 14, no. 3 (2013): 339–61. http://dx.doi.org/10.1017/s147106841300001x.

Full text
Abstract:
AbstractAdapting techniques from database theory in order to optimize Answer Set Programming (ASP) systems, and in particular the grounding components of ASP systems, is an important topic in ASP. In recent years, the Magic Set method has received some interest in this setting, and a variant of it, called Dynamic Magic Set, has been proposed for ASP. However, this technique has a caveat, because it is not correct (in the sense of being query-equivalent) for all ASP programs. In a recent work, a large fragment of ASP programs, referred to assuper-coherent programs, has been identified, for whic
APA, Harvard, Vancouver, ISO, and other styles
3

Kaminski, Mark, Bernardo Cuenca Grau, Egor V. Kostylev, and Ian Horrocks. "Complexity and Expressive Power of Disjunction and Negation in Limit Datalog." Proceedings of the AAAI Conference on Artificial Intelligence 34, no. 03 (2020): 2862–69. http://dx.doi.org/10.1609/aaai.v34i03.5676.

Full text
Abstract:
Limit Datalog is a fragment of Datalogℤ—the extension of Datalog with arithmetic functions over the integers—which has been proposed as a declarative language suitable for capturing data analysis tasks. In limit Datalog programs, all intensional predicates with a numeric argument are limit predicates that keep maximal (or minimal) bounds on numeric values. Furthermore, to ensure decidability of reasoning, limit Datalog imposes a linearity condition restricting the use of multiplication in rules. In this paper, we study the complexity and expressive power of limit Datalog programs extended with
APA, Harvard, Vancouver, ISO, and other styles
4

Descher, Stefan. "Deduktive Schlüsse in der literaturwissenschaftlichen Praxis." Journal of Literary Theory 13, no. 2 (2019): 145–60. http://dx.doi.org/10.1515/jlt-2019-0005.

Full text
Abstract:
Abstract It is sometimes suggested that deductive reasoning has no place in literary studies, particularly when it comes to the justification of literary interpretations. The thesis is that deductive arguments (almost) never occur and deductive reasoning plays no or at most a marginal role in the actual practice of interpretation. In this essay I will argue that this thesis is false. Using counterexamples, it can be shown that deductive arguments are de facto used in the practice of literary interpretation. Although only an exemplary and not comprehensive investigation of argumentative practic
APA, Harvard, Vancouver, ISO, and other styles
5

Luo, Qin. "Difficulties and Countermeasures on Restricting the Development of Project Management." Applied Mechanics and Materials 438-439 (October 2013): 1808–11. http://dx.doi.org/10.4028/www.scientific.net/amm.438-439.1808.

Full text
Abstract:
Difficulties of engineering supervision are mainly in the complex beneficial relationship among the owner, supervision and contractor. Owners lack of knowledge on the need of supervision and uneven quality of supervision personnel bring about disjunction in the stage of decision making, design and construction during the project operating process. The measures can be used to introduce a new mechanism to eliminate the economic dependence between the supervision unit and the owner, enhance the construction of laws and regulations in supervision, improve the three main competitive consciousnesses
APA, Harvard, Vancouver, ISO, and other styles
6

Tromble, Rebekah. "Where Have All the Data Gone? A Critical Reflection on Academic Digital Research in the Post-API Age." Social Media + Society 7, no. 1 (2021): 205630512198892. http://dx.doi.org/10.1177/2056305121988929.

Full text
Abstract:
In the wake of the 2018 Facebook–Cambridge Analytica scandal, social media companies began restricting academic researchers’ access to the easiest, most reliable means of systematic data collection via their application programming interfaces (APIs). Although these restrictions have been decried widely by digital researchers, in this essay, I argue that relatively little has changed. The underlying relationship between researchers, the platforms, and digital data remains largely the same. The platforms and their APIs have always been proprietary black boxes, never intended for scholarly use. E
APA, Harvard, Vancouver, ISO, and other styles
7

Malachowski, Cindy, Katherine Boydell, and Bonnie Kirsh. "The social organization of workplace mental health: local and translocal ruling relations." International Journal of Sociology and Social Policy 38, no. 5-6 (2018): 346–59. http://dx.doi.org/10.1108/ijssp-04-2017-0050.

Full text
Abstract:
Purpose The purpose of this paper is to make visible the ways in which peoples’ experiences of mental ill health are coordinated and produced in the workplace setting. Design/methodology/approach This institutional ethnography draws from data collected from 16 informants in one Canadian industrial manufacturing plant to explicate how texts organize activities and align worker consciousness and actions with company expectations of a “bona fide” illness. Findings The findings demonstrate how a “bona fide” illness is textually mediated by biomedical and physical work restrictions, thus creating a
APA, Harvard, Vancouver, ISO, and other styles
8

Gutiérrez-Rexach, Javier. "The Semantics of Spanish Permission Sentences." Modal Verbs in Germanic and Romance Languages 14 (December 31, 2000): 89–113. http://dx.doi.org/10.1075/bjl.14.06gut.

Full text
Abstract:
Abstract. In this paper the formal semantics of Spanish directive verbs, especially permissive deontic verbs, is studied. A dynamic perspective is adopted in which the meaning of an expression is not its truth conditions but its discourse update potential. The paper focuses on the following aspects of directive permission verbs: the analysis of their basic meaning in contrast with other modals; aspectual and temporal restrictions on the complements of permission verbs; restrictions on the subject of permission verbs; combinations of modals; and conjunction and disjunction of permission stateme
APA, Harvard, Vancouver, ISO, and other styles
9

Sergeev, Igor' S. "On the complexity of bounded-depth circuits and formulas over the basis of fan-in gates." Discrete Mathematics and Applications 29, no. 4 (2019): 241–54. http://dx.doi.org/10.1515/dma-2019-0022.

Full text
Abstract:
Abstract We obtain estimates for the complexity of the implementation of n-place Boolean functions by circuits and formulas built of unbounded fan-in conjunction and disjunction gates and either negation gates or negations of variables as inputs. Restrictions on the depth of circuits and formulas are imposed. In a number of cases, the estimates obtained in the paper are shown to be asymptotically sharp. In particular, for the complexity of circuits with variables and their negations on inputs, the Shannon function is asymptotically estimated as $2\cdot {{2}^{n/2}};$this estimate is attained on
APA, Harvard, Vancouver, ISO, and other styles
10

Seldin, Jonathan P. "On the role of implication in formal logic." Journal of Symbolic Logic 65, no. 3 (2000): 1076–114. http://dx.doi.org/10.2307/2586689.

Full text
Abstract:
AbstractEvidence is given that implication (and its special case, negation) carry the logical strength of a system of formal logic. This is done by proving normalization and cut elimination for a system based on combinatory logic or λ-calculus with logical constants for and, or, all, and exists, but with none for either implication or negation. The proof is strictly finitary, showing that this system is very weak. The results can be extended to a “classical” version of the system. They can also be extended to a system with a restricted set of rules for implication: the result is a system of in
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Disjunctive restriction"

1

Ilavská, Adriana. "Kooperativní teorie her v lokálních konfliktech." Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2019. http://www.nusl.cz/ntk/nusl-399587.

Full text
Abstract:
The Cooperative Game Theory is a scientific discipline which offers rich mathematical apparatus for describing complex situations in the social reality. Its apparatus includes an extension to hierarchical structures and therefore can be applied to numerous research problems from the International Relations field. However, a cooperative game theoretical approach is very scarcely used. The main goal of the diploma thesis is to demonstrate, on the research problem of decision making in participation in local conflicts, the benefits of results that can be achieved by the application of the Coopera
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Disjunctive restriction"

1

Donskoy, Vladimir, and Igor Perekhod. "Multiple Criteria Models with the Linear Pseudoboolean Functions and Disjunctive Restrictions." In Lecture Notes in Economics and Mathematical Systems. Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/978-3-642-59132-7_2.

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

Conference papers on the topic "Disjunctive restriction"

1

Huang, Xiao, Biqing Fang, Hai Wan, and Yongmei Liu. "A General Multi-agent Epistemic Planner Based on Higher-order Belief Change." In Twenty-Sixth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/152.

Full text
Abstract:
In recent years, multi-agent epistemic planning has received attention from both dynamic logic and planning communities. Existing implementations of multi-agent epistemic planning are based on compilation into classical planning and suffer from various limitations, such as generating only linear plans, restriction to public actions, and incapability to handle disjunctive beliefs. In this paper, we propose a general representation language for multi-agent epistemic planning where the initial KB and the goal, the preconditions and effects of actions can be arbitrary multi-agent epistemic formula
APA, Harvard, Vancouver, ISO, and other styles
2

Carral, David, and Markus Krötzsch. "Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules." In Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}. International Joint Conferences on Artificial Intelligence Organization, 2020. http://dx.doi.org/10.24963/ijcai.2020/246.

Full text
Abstract:
Especially in data-intensive settings, a promising reasoning approach for description logics (DLs) is to rewrite DL theories into sets of rules. Although many such approaches have been considered in the literature, there are still various relevant DLs for which no small rewriting (of polynomial size) is known. We therefore develop small rewritings for the DL \ALCHIQ -- featuring disjunction, number restrictions, and inverse roles -- to disjunctive Datalog. By admitting existential quantifiers in rule heads, we can improve this result to yield only rules of bounded size, a property that is comm
APA, Harvard, Vancouver, ISO, and other styles
3

Zhao, Yizheng, and Renate Schmidt. "On Concept Forgetting in Description Logics with Qualified Number Restrictions." 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/274.

Full text
Abstract:
This paper presents a practical method for computing solutions of concept forgetting in the description logic ALCOQ(neg,and,or), basic ALC extended with nominals, qualified number restrictions, role negation, role conjunction and role disjunction. The method is based on a non-trivial generalisation of Ackermann's Lemma, and attempts to compute either semantic solutions of concept forgetting or uniform interpolants in ALCOQ(neg,and,or). It is so far the only approach to concept forgetting in description logics with number restrictions plus nominals, as well as in description logics with ABoxes.
APA, Harvard, Vancouver, ISO, and other styles
4

Tena Cucala, David, Bernardo Cuenca Grau, and Ian Horrocks. "Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals." 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/272.

Full text
Abstract:
We present a consequence-based calculus for concept subsumption and classification in the description logic ALCHOIQ, which extends ALC with role hierarchies, inverse roles, number restrictions, and nominals. By using standard transformations, our calculus extends to SROIQ, which covers all of OWL 2 DL except for datatypes. A key feature of our calculus is its pay-as-you-go behaviour: unlike existing algorithms, our calculus is worst-case optimal for all the well-known proper fragments of ALCHOIQ, albeit not for the full logic.
APA, Harvard, Vancouver, ISO, and other styles
5

Creignou, Nadia, Adrian Haret, Odile Papini, and Stefan Woltran. "Belief Update in the Horn Fragment." 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/246.

Full text
Abstract:
In line with recent work on belief change in fragments of propositional logic, we study belief update in the Horn fragment. We start from the standard KM postulates used to axiomatize belief update operators; these postulates lend themselves to semantic characterizations in terms of partial (resp. total) preorders on possible worlds. Since the Horn fragment is not closed under disjunction, the standard postulates have to be adapted for the Horn fragment. Moreover, a restriction on the preorders (i.e., Horn compliance) and additional postulates are needed to obtain sensible characterizations fo
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Disjunctive restriction' for particular source types:
Journal articles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography