Results 21 to 30 of about 238,902 (349)
Philosophers' Imprint, 2021 Recent work has argued that belief is weak: the level of rational credence required for belief is relatively low. That literature has contrasted belief with assertion, arguing that the latter requires an epistemic state much stronger than (weak) belief--
M. Mandelkern, Kevin Dorst
semanticscholar +1 more source
کيف الشرطية "دراسة نحوية تحليلية " [PDF]
مجلة كلية الدراسات الإسلامية والعربية للبنات بدمنهور, 2020 (کيف) اسم اشترک في استخدامه بابان رئيسان, هما: الشرط والاستفهام, وخصصت هذا البحث بـ(کيف) الشرطية. ويهدف هذا البحث: إلى إزالة الجهل عن حقيقة هذه الأداة, وإزالة الشک والتردد في عملها. والبحث يتناول دراسة (کيف) واستخدامها شرطا.
أحمد بن عبد اللطيف بن عبد الله العرفج
doaj +1 more source
Assertion, Implicature, and Iterated Knowledge
Ergo, An Open Access Journal of Philosophy, 2022 The present paper argues that there is a knowledge norm for conversational implicature: one may conversationally implicate p only if one knows p. Linguistic data about the cancellation behavior of implicatures and the ways they are challenged and ...
Eliran Haziza
doaj +2 more sources
American Economic Journal: Applied Economics, 2020 We show that examiner-driven variation in patent rights leads to quantitatively large impacts on several patent outcomes, including patent value, citations, and litigation. Notably, Patent Assertion Entities (PAEs) overwhelmingly purchase patents granted
Josh Feng, Xavier Jaravel
semanticscholar +1 more source
Assertion and the Varieties of Norms
Phenomenology and Mind, 2017 This paper challenges Cappelen’s claim that the speech act category of assertion is to be discarded since there is no principled way to distinguish between utterances that are assertions and those that are not.
Paolo Labinaz
doaj +1 more source
ChIRAAG: ChatGPT Informed Rapid and Automated Assertion Generation [PDF]
IEEE Computer Society Annual Symposium on VLSISystem Verilog Assertion (SVA) formulation- a critical yet complex task is a prerequisite in the Assertion Based Verification (ABV) process. Traditionally, SVA formulation involves expert-driven interpretation of specifications, which is time-consuming ...
Bhabesh Mali +5 more
semanticscholar +1 more source
Evolutionary improvement of assertion oracles
ESEC/SIGSOFT FSE, 2020 Assertion oracles are executable boolean expressions placed inside the program that should pass (return true) for all correct executions and fail (return false) for all incorrect executions.
Valerio Terragni +3 more
semanticscholar +1 more source
Conventions and Constitutive Norms
Journal of Social Ontology, 2019 The paper addresses a popular argument that accounts of assertion in terms of constitutive norms are incompatible with conventionalism about assertion. The argument appeals to an alleged modal asymmetry: constitutive rules are essential to the acts they
Manuel García-Carpintero
doaj +2 more sources
مطالعات روانشناختی, 2021 The aim of this study was to investigate the effectiveness of assertiveness training on assertion and social problem solving of male victims of bullying in junior high school.
Mohammad Mohammadi +3 more
doaj +1 more source
LAAG-RV: LLM Assisted Assertion Generation for RTL Design Verification [PDF]
2024 IEEE 8th International Test Conference India (ITC India)Writing SystemVerilog Assertions (SVA) is an important but complex step in verifying Register Transfer Level (RTL) designs. Conventionally, experts need to understand the design specifications and write the SVA assertions, which is time-consuming and ...
Karthik Maddala, Bhabesh Mali, C. Karfa
semanticscholar +1 more source