Relevant bibliographies by topics / Bots (logiciels) / Journal articles
To see the other types of publications on this topic, follow the link: Bots (logiciels).

Journal articles on the topic 'Bots (logiciels)'

Author: Grafiati
Published: 25 May 2024
Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Bots (logiciels).'

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.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

MOULAI-KHATIR, Djezouli. "Comparative study between two three-dimensional metrology software." Recueil de mécanique 2, no. 2 (2018): 215–22. https://doi.org/10.5281/zenodo.1175026.

Full text
Abstract:
Abstract This article presents a comparative study between two three-dimensional metrology software, the Metrosoft software of the "Metromec" machine of the National Polytechnic School of Oran and the Geoverif experimental software developed by PAIREL, SYMME Laboratory. Both softwares use the least squares fit criterion, which is the most commonly used criterion on Coordinate Measuring Machine (CMM). We will present in this work, an application to measure the defect form (flatness) of an engine bearing, following three swings. We will also present a probing strategy in such a way as
APA, Harvard, Vancouver, ISO, and other styles
2

Leban, JM, and G. Duchanois. "SIMQUA : un logiciel de simulation de la qualité du bois." Annales des Sciences Forestières 47, no. 5 (1990): 483–93. http://dx.doi.org/10.1051/forest:19900506.

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

Baillères, Henri. "Liaison entre sylviculture et qualité du bois. A travers la modélisation et les logiciels de simulation." BOIS & FORETS DES TROPIQUES 251 (March 1, 1997): 69–70. https://doi.org/10.19182/bft1997.251.a19934.

Full text
Abstract:
La recherche sur les bois donne aux industriels le moyen d'améliorer la qualité, la durabilité et les performances des produits en bois et à base de bois. Ce second atelier de l’IUFRO, tenu au Kruger National Park (Afrique du Sud), du 26 au 31 août 1996, a permis des échanges entre chercheurs et industriels. Son programme portait sur : formation et qualité du bois, qualification des matériaux, procédés industriels d'élaboration, de conditionnement en amélioration, processus de transformation en optimisation de la production, innovation et développement de la construction.
APA, Harvard, Vancouver, ISO, and other styles
4

ABDOULAYE, AMIDOU Moucktarou, Jean KPETERE, YO BONI Azizou SABI, and Sahabou ABOUBAKAR. "COMMERCIALIASTION DU BOIS-ENERGIE ET AMELIORATION DES CONDITIONS DE VIE A KARIMAMA AU NORD BENIN." Journal de Géographie Rurale Appliquée et Développement (J_GRAD) 4, no. 2 (2024): 1–277. https://doi.org/10.5281/zenodo.11561806.

Full text
Abstract:
RESUMESituée au Nord-Ouest du département de l’Alibori, la commune Karimama dont le territoire est occupé par la réserve forestièredu parc W, est confrontée à une dégradation de ses ressources forestières. La dépendance du bois-énergie pour la cuisson despopulations constitue l’un des principaux facteurs. La présente étude se propose d’analyser les retombées socio-économiquesde la consommation de bois-énergie dans la commune de Karimama. De façon spéci
APA, Harvard, Vancouver, ISO, and other styles
5

Tindale, Christopher W. "Perelman, Informal Logic and the Historicity of Reason." Informal Logic 26, no. 3 (2008): 341. http://dx.doi.org/10.22329/il.v26i3.457.

Full text
Abstract:
In a posthumous paper, Perelman discusses his decision to bring his theory of argumentation together with rhetoric rather than calling it an informal logic. This is due in part because of the centrality he gives to audience, and in part because of the negative attitude that informal logicians have to rhetoric. In this paper, I explore both of these concerns by way of considering what benefits Perelman’s work can have for informal logic, and what insights the work of informal logicians might bring to the project of Perelman and Olbrechts-Tyteca.
APA, Harvard, Vancouver, ISO, and other styles
6

Turner, Ray. "A theory of properties." Journal of Symbolic Logic 52, no. 2 (1987): 455–72. http://dx.doi.org/10.2307/2274394.

Full text
Abstract:
Frege's attempts to formulate a theory of properties to serve as a foundation for logic, mathematics and semantics all dissolved under the weight of the logicial paradoxes. The language of Frege's theory permitted the representation of the property which holds of everything which does not hold of itself. Minimal logic, plus Frege's principle of abstraction, leads immediately to a contradiction. The subsequent history of foundational studies was dominated by attempts to formulate theories of properties and sets which would not succumb to the Russell argument. Among such are Russell's simple the
APA, Harvard, Vancouver, ISO, and other styles
7

Babatoundé, IDRISSOU Akim, GUEDENON D. Janvier, NOBIME Georges, and GIBIGAYE S. Moussa. "Etat Des Lieux De La Production De Sculptures Sur Bois Dans L’Atlantique Et Du Littoral Au Sud Du Benin." International Journal of Progressive Sciences and Technologies 38, no. 2 (2023): 317. http://dx.doi.org/10.52155/ijpsat.v38.2.5344.

Full text
Abstract:
La sculpture sur bois est une activité artisanale qui se pratique dans certaines localités des départements de l’Atlantique et du Littoral au sud du Bénin. Son exercice, bien que pénible, continue de mobiliser quelques rares artisans passionnés. Malgré que cette activité soit progressivement délaissée, ses productions sont cependant d’un attrait pour les touristes. Pour la sauvegarde de cette activité, cette étude a visé à réaliser un état des lieux de sa pratique dans ces deux départements.L’approche méthodologique adoptée est axée sur la recherche documentaire, la collecte des données, leur
APA, Harvard, Vancouver, ISO, and other styles
8

Trébuchon, Jean-François. "Bois et Forêts des Tropiques évolue en partenariat avec la recherche au Sud." BOIS & FORETS DES TROPIQUES 343 (April 7, 2020): 3–4. http://dx.doi.org/10.19182/bft2020.343.a31854.

Full text
Abstract:
Depuis fin 2018, le fonctionnement de la revue Bois et Forêts des Tropiques a évolué.
 En remplacement de Jacques Tassin, Jean-François Trébuchon a pris la suite des opérations en tant que rédacteur en chef et coordinateur éditorial.
 Une équipe de rédaction a été constituée, incluant six rédacteurs scientifiques : Kévin Candelier, Antoine Galiana, Laurent Gazull, Valéry Gond, Jean Gérard et Jacques Tassin. Leur mission consiste à examiner le fond scientifique des manuscrits soumis, à piloter leur évaluation en double-aveugle avec l’aide de relecteurs internationaux du Nord et du Sud
APA, Harvard, Vancouver, ISO, and other styles
9

Searle, John R. "The Structure and Functions of Language." Studies in Logic, Grammar and Rhetoric 36, no. 1 (2014): 27–40. http://dx.doi.org/10.2478/slgr-2014-0001.

Full text
Abstract:
Abstract This paper will discuss the nature of language. I find the present state of the subject, the Philosophy of Language, and the present state of Lin- guistics to be both, for different reasons, unsatisfactory. The problem with the Philosophy of Language is that its practitioners tend to lose sight of the psy- chological reality of language, i.e. of speaking and writing. Historically this is because the Philosophy of Language began with Frege’s logic and has continued to the present day to be heavily influenced by considerations of formal logic. Logicians need not be interested in the psy
APA, Harvard, Vancouver, ISO, and other styles
10

Rohrbacher, Bernhard. "JEWISH LAW AND MEDIEVAL LOGIC: WHY EATING HORSE MEAT IS A PUNISHABLE OFFENSE." Journal of Law and Religion 30, no. 2 (2015): 295–319. http://dx.doi.org/10.1017/jlr.2015.18.

Full text
Abstract:
AbstractThis article presents a case study of the influence of Muslim and Christian logicians on medieval Jewish law. The case in question is why it is a punishable offense for Jews to eat mammals that do not have either sign of purity—that is, neither have split hooves nor chew their cud—and the article examines the answers given by three medieval Jewish sages: Rashi, Maimonides, and Naḥmanides. The Written Law of the Torah explicitly allows the consumption of mammals, such as cattle, with both signs of purity. It also explicitly prohibits the eating of mammals, such as camels or pigs, with o
APA, Harvard, Vancouver, ISO, and other styles
11

Gellot, François, Stéphane Lecasse, Bernard Riera, and Alexandre Philippot. "Retour d’expérience sur l’utilisation d’un jumeau numérique pour l’enseignement de l’automatisme." J3eA 22 (2023): 1024. http://dx.doi.org/10.1051/j3ea/20231024.

Full text
Abstract:
Dans le cadre d’un enseignement progressif de l’automatisme, nous verrons dans cet article qu’il est intéressant d’utiliser un jumeau numérique d’un système réel pour aller vers la programmation de systèmes complexes industriels. Nous utilisons pour cela trois logiciels Siemens communiquant ensemble à savoir NX MCD, pour le jumeau numérique, PLC SIM Advanced pour le simulateur d’automate et TIA Portal pour la partie programmation. Les TP utilisant le jumeau numérique pour réaliser la commande d’un poste de notre cellule flexible ayant été réalisés par deux profils d’élèves ingénieurs en appren
APA, Harvard, Vancouver, ISO, and other styles
12

Nubiola, Jaime. "Juan Luis Vives y Charles S. Peirce." Anuario Filosófico 26, no. 1 (2018): 155–64. http://dx.doi.org/10.15581/009.26.29938.

Full text
Abstract:
Connections between J.L. Vives and C.S. Peirce are shown. Not only is reflection on language and meaning central in both thinkers, but Peirce also knew Vives' thought especially through W. Hamilton and the Scottish common sense school. Peirce credited Vives with being a forerunner of the use of diagrams in logic, and both share a critical view of late medieval nominalistic logicians and a social and hierarchical conception of knowledge.
APA, Harvard, Vancouver, ISO, and other styles
13

Waheed, Salma, Moyun Wang, Abdul Waheed, and Sana Habib. "Truth Logic of Modalities Consistent and Incompatible: A Computational Program and Experimental Studies among College Students." American Journal of Human Psychology 1, no. 1 (2023): 16–32. http://dx.doi.org/10.54536/ajhp.v1i1.1906.

Full text
Abstract:
College students give true judgment routinely, logicians can infer modal inferences, i.e., inferences that concern three alethic modalities; necessary (⸧), possible (◊), and impossible (⟢) from the premises that are logically consistent and incompatible. To achieve the desired results, logicians have intermingled alethic modalities with logical consistency and incompatibility, i.e., necessary consistent, impossible incompatible, possible consistent, or possible incompatible, and write them in classical modal logic as ⸧C (necessary consistent), ◊C (possible consistent) or ◊I (possibly incompati
APA, Harvard, Vancouver, ISO, and other styles
14

Waheed, Salma, Moyun Wang, Abdul Waheed, and Sana Habib. "Truth Logic of Modalities Consistent and Incompatible: A Computational Program and Experimental Studies among College Students." Journal of Tertiary Education and Learning 1, no. 2 (2023): 38–54. http://dx.doi.org/10.54536/jtel.v1i2.2008.

Full text
Abstract:
College students give true judgment routinely, logicians can infer modal inferences, i.e., inferences that concern three alethic modalities; necessary (⸧), possible (◊), and impossible (⟢) from the premises that are logically consistent and incompatible. To achieve the desired results, logicians have intermingled alethic modalities with logical consistency and incompatibility, i.e., necessary consistent, impossible incompatible, possible consistent, or possible incompatible, and write them in classical modal logic as ⸧C (necessary consistent), ◊C (possible consistent) or ◊I (possibly incompati
APA, Harvard, Vancouver, ISO, and other styles
15

Savadogo, Salfo, Amadé Ouédraogo, and Adjima Thiombiano. "Perceptions, mode de gestion et végétation des bois sacrés au nord du Burkina Faso." Flora et Vegetatio Sudano-Sambesica 13 (January 1, 2010): 10–21. http://dx.doi.org/10.21248/fvss.13.11.

Full text
Abstract:
L’étude s’inscrit dans le cadre de la valorisation des bois sacrés dans un contexte de conservation de la biodiversité, elle a pour objectifs de recenser les différents bois sacrés au nord du Burkina Faso, d’évaluer leur richesse floristique et d’appréhender leurs mécanismes de gestion par les populations locales. Des prospections ont été conduites sur l’ensemble de la zone d’étude en vue de recenser les bois sacrés. Dans chaque localité des enquêtes ont été conduites auprès des populations directement ou indirectement impliquées dans la gestion de ces formations. Des relevés phytosociologique
APA, Harvard, Vancouver, ISO, and other styles
16

Raymondaud, Hubert. "Le logiciel R comme outil d'initiation à la statistique descriptive : enquête sur les dépenses des ménages." Statistique et Enseignement 2, no. 2 (2011): 49–62. https://doi.org/10.3406/staso.2011.1227.

Full text
Abstract:
The free, open-source statistical software R is a primary tool for education in exploratory data analysis. In addition to a broad spectrum of methods and quality graphics, it features a command language that allows the user to gain familiarity with, and a thorough understanding of, descriptive statistical techniques ; analyses can easily be performed with it, both on large data sets and subsets thereof. R is described here in the context of an experiment carried out with students from the higher agricultural technician certificate program.
APA, Harvard, Vancouver, ISO, and other styles
17

NGHIEN, Alexane, and Marc Pierrot-Deseilligny. "Dévelopmment photogrammétrique isométrique de plans anciens." Revue Française de Photogrammétrie et de Télédétection 227, no. 1 (2025): 13–21. https://doi.org/10.52638/rfpt.2025.715.

Full text
Abstract:
Une méthode de mise à plat numérique de plans baguettes (plans papiers de l’Ancien Régime soutenus entre deuxbaguettes en bois) a été proposée pour aider les Archives Nationales dans leur conservation de patrimoine sous formenumérique. Cette méthode de mise à plat utilise le logiciel de photogrammétrie MicMac (Rupnik et al., 2017). On y réaliseainsi une chaîne de traitements photogrammétrique afin de générer à partir de photographies d’un plan, son maillagetriangulé. Un stage de fin d’étude a été réalisé pour adapter cette méthode existante, l’évaluer et la transmettre de façonoptimale aux Arc
APA, Harvard, Vancouver, ISO, and other styles
18

MCLARTY, COLIN. "FOUNDATIONS AS TRUTHS WHICH ORGANIZE MATHEMATICS." Review of Symbolic Logic 6, no. 1 (2012): 76–86. http://dx.doi.org/10.1017/s1755020312000159.

Full text
Abstract:
The article looks briefly at Feferman’s most sweeping claims about categorical foundations, focuses on narrower points raised in Berkeley, and asks some questions about Feferman’s own foundations. Among many different senses of foundations, the one that mathematics needs in practice is a recognized body of truths adequate to organize definitions and proofs. Finding concise principles of this kind has been a huge achievement by mathematicians and logicians. We put ZFC and categorical foundations both into this context.
APA, Harvard, Vancouver, ISO, and other styles
19

Campelli, Enzo. "Elogio della vaghezza Riflessione quasi epistemologica sul tempo presente." SOCIOLOGIA E RICERCA SOCIALE, no. 89 (December 2009): 21–58. http://dx.doi.org/10.3280/sr2009-089002.

Full text
Abstract:
- Numerous forms of vagueness and indeterminateness characterize linguistic interaction of daily life, as well as conceptualization and language of the social sciences. This is a problem that logicians and philosophers of science and language have faced repeatedly, in the attempt to eliminate this undesirable trait or limit the damage caused to the achievement of truth. Endeavoring to overturn this perspective, the essay aims to show the fertility and productiveness of this insurmountable margin of vagueness, both from a point of view of scientific creation and from that of safeguarding the fu
APA, Harvard, Vancouver, ISO, and other styles
20

Krause, Décio. "Models and Modeling in Science: the role of metamathematics." Principia: an international journal of epistemology 26, no. 1 (2022): 39–54. http://dx.doi.org/10.5007/1808-1711.2022.e86052.

Full text
Abstract:
The use of models of scientific theories should not be done without qualifications about the mathematics being used to build the models. This looks obvious, at least for logicians, but generally, it is not to the philosopher of science. Thus, some details about this point seem useful for both. Since any quick revision in the literature shows that in most cases, mainly after the raising of the semantic approach (to scientific theories), the models are taken to be set-theoretical structures, in discussing the issue we shall be concerned more with set theories, the locus where the play is usually
APA, Harvard, Vancouver, ISO, and other styles
21

El-Rouayheb, Khaled. "POST-AVICENNAN LOGICIANS ON THE SUBJECT MATTER OF LOGIC: SOME THIRTEENTH- AND FOURTEENTH-CENTURY DISCUSSIONS." Arabic Sciences and Philosophy 22, no. 1 (2012): 69–90. http://dx.doi.org/10.1017/s0957423911000105.

Full text
Abstract:
AbstractIn the thirteenth century, the influential logician Afḍal al-Dīn al-Khūnajī (d. 1248) departed from the Avicennan view that the subject matter of logic is “second intentions”. For al-Khūnajī, the subject matter of logic is “the objects of conception and assent”. His departure elicited intense and sometimes abstruse discussions in the course of subsequent centuries. Prominent supporters of Khūnajī's view on the subject matter of logic included Kātibī (d. 1277), Ibn Wāṣil (d. 1298) and Taftāzānī (d. 1390). Defenders of Avicenna's view included Ṭūsī (d. 1274), Samarqandī (d. 1303) and Quṭ
APA, Harvard, Vancouver, ISO, and other styles
22

Russinoff, I. Susan. "The Syllogism's Final Solution." Bulletin of Symbolic Logic 5, no. 4 (1999): 451–69. http://dx.doi.org/10.2307/421118.

Full text
Abstract:
In 1883, while a student of C. S. Peirce at Johns Hopkins University, Christine Ladd-Franklin published a paper titled On the Algebra of Logic, in which she develops an elegant and powerful test for the validity of syllogisms that constitutes the most significant advance in syllogistic logic in two thousand years. Sadly, her work has been all but forgotten by logicians and historians of logic. Ladd-Franklin's achievement has been overlooked, partly because it has been overshadowed by the work of other logicians of the nineteenth century renaissance in logic, but probably also because she was a
APA, Harvard, Vancouver, ISO, and other styles
23

Kulicki, Piotr. "Aristotle’s Syllogistic as a Deductive System." Axioms 9, no. 2 (2020): 56. http://dx.doi.org/10.3390/axioms9020056.

Full text
Abstract:
Aristotle’s syllogistic is the first ever deductive system. After centuries, Aristotle’s ideas are still interesting for logicians who develop Aristotle’s work and draw inspiration from his results and even more from his methods. In the paper we discuss the essential elements of the Aristotelian system of syllogistic and Łukasiewicz’s reconstruction of it based on the tools of modern formal logic. We pay special attention to the notion of completeness of a deductive system as discussed by both authors. We describe in detail how completeness can be defined and proved with the use of an axiomati
APA, Harvard, Vancouver, ISO, and other styles
24

Blackburn, Patrick, and Maarten Marx. "Constructive interpolation in hybrid logic." Journal of Symbolic Logic 68, no. 2 (2003): 463–80. http://dx.doi.org/10.2178/jsl/1052669059.

Full text
Abstract:
AbstractCraig's interpolation lemma (if φ → ψ is valid, then φ → θ and θ → ψ are valid, for θ a formula constructed using only primitive symbols which occur both in φ and ψ) fails for many propositional and first order modal logics. The interpolation property is often regarded as a sign of well-matched syntax and semantics. Hybrid logicians claim that modal logic is missing important syntactic machinery, namely tools for referring to worlds, and that adding such machinery solves many technical problems. The paper presents strong evidence for this claim by defining interpolation algorithms for
APA, Harvard, Vancouver, ISO, and other styles
25

Mok, Olivia. "Accessibility of Specialized Lexicon as Criterion for Quality Assessment of Legal Translations." Babel. Revue internationale de la traduction / International Journal of Translation 41, no. 4 (1995): 193–208. http://dx.doi.org/10.1075/babel.41.4.02mok.

Full text
Abstract:
Le chercheur est convaincu que la traduction juridique se caractérise par des aspects linguistiques qui correspondent à des impressions ressenties par les assesseurs, et qu'imaginer une méthodologie permettant d'identifier ces aspects linguistiques frappants représente non seulement une ligne de conduite pour la traduction juridique mais qu'elle permet aussi de contribuer à l'enseignement de la traduction juridique aux étudiants dont la langue maternelle est le chinois et la seconde langue l'anglais. On a demandé à des étudiants de traduire un texte juridique du chinois en anglais, sans l'aide
APA, Harvard, Vancouver, ISO, and other styles
26

Marenbon, John, and Heine Hansen. "Introduction: Special Issue on the Twelfth-Century Logical Schools." Vivarium 60, no. 2-3 (2022): 113–36. http://dx.doi.org/10.1163/15685349-06002001.

Full text
Abstract:
Abstract This special issue grew out of a small conference The Known & the Unknown: Exploring Twelfth-Century Philosophy, which was funded by the Carlsberg Foundation, hosted by the Saxo Institute, and held at the University of Copenhagen in April 2018. Its central topic was the many, mostly unexplored, commentaries on Aristotle, Boethius, and Porphyry that constitute the key textual evidence for a fascinating phenomenon that, although it played a pivotal role in the philosophical revival of Western Europe, remains frustratingly underexplored to this day: the logical schools of the twelfth
APA, Harvard, Vancouver, ISO, and other styles
27

Rönnedal, Daniel. "The Highest Good and the Relation between Virtue and Happiness." Symposion 8, no. 2 (2021): 187–210. http://dx.doi.org/10.5840/symposion20218212.

Full text
Abstract:
The paper develops a Kantian view of the highest good and the relation between virtue and happiness. Several Kantian theses are defended, among them the thesis that the highest good is realized only if every virtuous individual is happy, the view that virtue is neither necessary nor sufficient for happiness, and the proposition that virtue is both necessary and sufficient for the worthiness of being happy. The author argues that the highest good ought to be realized and that it ought to be that everyone who is virtuous is happy. To prove these claims, the author will use techniques developed b
APA, Harvard, Vancouver, ISO, and other styles
28

Peña, Lorenzo. "Frege's role in the history of logic." Disputatio. Philosophical Research Bulletin 10, no. 17 (2021): 207–30. https://doi.org/10.5281/zenodo.5175948.

Full text
Abstract:
While Kant's claim has been discredited — namely that logic had, by his time, neither progressed nor regressed ever since Aristotle — both the exact reason while he was wrong and the partial core of truth his assertion contained ought to be elucidated. Aristotle's was a logic of terms that ignored the calculus of statements, cultivated instead by the Stoic logicians and later Scholastics. However a unified — yet unsuccessful — logical account of terms and propositions was attempted by Leibniz. It was an anticipation of modern combinatory logic. Leibniz's suc
APA, Harvard, Vancouver, ISO, and other styles
29

Gnikmin Claire, Woute, and Badjaré Bilouktime. "Importance et conservation des espèces alimentaires légu-mières et fruitières ligneuses négligées et sous-utilisées du bassin versant de la rivière Kara au Togo." Revue Ecosystèmes et Paysages 5, no. 1 (2025): 1–15. https://doi.org/10.59384/recopays.tg5126.

Full text
Abstract:
Les espèces légumières et fruitières ligneuses négligées et sous-utilisées (NUS) sont un moyen de recours pour la population en milieu rural face à l’insécurité alimentaire. Ces espèces sont vulnérables et en voie de disparition à cause des pressions exercées sur elles et de leur abandon. Cette étude menée dans le bassin de la rivière Kara au Togo a pour but d’évaluer la contribution des espèces alimentaires légumières et fruitières ligneuses NUS dans l’alimentation, et d’analyser la vulnérabilité de ces espèces face aux pressions anthropiques. Les données sont collectées par des enquêtes de t
APA, Harvard, Vancouver, ISO, and other styles
30

GAO, TIANTIAN, PAUL FODOR, and MICHAEL KIFER. "Querying Knowledge via Multi-Hop English Questions." Theory and Practice of Logic Programming 19, no. 5-6 (2019): 636–53. http://dx.doi.org/10.1017/s1471068419000103.

Full text
Abstract:
AbstractThe inherent difficulty of knowledge specification and the lack of trained specialists are some of the key obstacles on the way to making intelligent systems based on the knowledge representation and reasoning (KRR) paradigm commonplace.Knowledge and query authoringusing natural language, especiallycontrollednatural language (CNL), is one of the promising approaches that could enable domain experts, who are not trained logicians, to both create formal knowledge and query it. In previous work, we introduced theKALMsystem (Knowledge Authoring Logic Machine) that supports knowledge author
APA, Harvard, Vancouver, ISO, and other styles
31

Djaho, Deo Gratias, H. Doussou-Yoyo, L. Badirou, D. Lanvedou, E. Affedjou, and Z. Zomalhèto. "Formes cliniques et aspects thérapeutiques des tendinopathies des membres pelviens au CNHU-HKM de cotonou." Rhumatologie Africaine Francophone 7, no. 1 (2024): 22–25. http://dx.doi.org/10.62455/raf.v7i1.51.

Full text
Abstract:
Résumé Objectif : Etudier les formes cliniques et aspects thérapeutiques des tendinopathies des membres pelviens (TMP) chez les patients consultant dans le service de rhumatologie du CNHU/HKM de Cotonou (Bénin). Méthodes : Il s’est agi d’une étude transversale descriptive et analytique ayant porté sur 94 patients atteints de TMP. Les informations ont été recueillies sur une fiche de collecte ou d’enquête préparée à cet effet. L’analyse des données a été effectuée avec le logiciel Epi-info version 7.2.1.0.Résultats : Quatre-vingt-quatorze (94) patients ont été recrutés dont 85,11% de femmes et
APA, Harvard, Vancouver, ISO, and other styles
32

Aknouche, Hamid, Giacomo Goli, Rémy Marchal, Jakub Sandak, Abdellatif Zerizer, and Jean-Claude Butaud. "Mesure des efforts de défonçage et de la qualité finale en usinant en différents angles du fil : comparaison entre le pin Douglas et le pin d'Alep." BOIS & FORETS DES TROPIQUES 313, no. 313 (2012): 85. http://dx.doi.org/10.19182/bft2012.313.a20499.

Full text
Abstract:
Comparaison entre un bois très commun et usiné en Europe comme le pin Douglas et une essence pas très utilisée comme le pin d'Alep de provenance algérienne. Pour cette comparaison, une nouvelle méthode a été mise au point afin d'évaluer les efforts de coupe et la qualité des surfaces usinées dans le processus du défonçage. Cette méthode a été expérimentée sur du pin d'Alep en coupe orthogonale allant de façon continue de 90°/0° à 90°/90° dans le sens du fil et contrefil afin de juger également de l'aptitude à l'usinage de ce bois par rapport à d'autres essences plus communément usinées. L'outi
APA, Harvard, Vancouver, ISO, and other styles
33

Fernandez, David. "A polynomial translation of S4 into intuitionistic logic." Journal of Symbolic Logic 71, no. 3 (2006): 989–1001. http://dx.doi.org/10.2178/jsl/1154698587.

Full text
Abstract:
It is known that both S4 and the Intuitionistic prepositional calculus Int are P-SPACE complete. This guarantees that there is a polynomial translation from each system into the other.However, no sound and faithful polynomial translation from S4 into Int is commonly known. The problem of finding one was suggested by Dana Scott during a very informal gathering of logicians in February 2005 at UCLA. Grigori Mints then brought it to my attention, and in this paper I present a solution. It is based on Kripke semantics and describes model-checking for S4 using formulas of Int.A simple translation f
APA, Harvard, Vancouver, ISO, and other styles
34

Dori, Daniel, Frédéric Eric Sawadogo, B. Josias Gérard Yaméogo, Nicolas Méda, and Rasmané Semdé. "Etude des pratiques des délégués médicaux et de la qualité des informations fournies aux agents de santé lors des visites de promotion des produits de santé." Journal Africain de Technologie Pharmaceutique et Biopharmacie (JATPB) 2, no. 2 (2023): 39–49. http://dx.doi.org/10.57220/jatpb.v2i2.57.

Full text
Abstract:
Introduction : La justesse, la fiabilité et la qualité des informations pharmaco-thérapeutiques fournies par les visiteurs médicaux aux agents de santé participent à une meilleure prise en charge des patients. La présente étude a pour objectif d’analyser les pratiques des délégués médicaux et la qualité des informations fournies aux agents de santé lors des visites de promotion des produits de santé
 Méthodes : Il s’est agi d’une étude transversale descriptive qui a concerné les visiteurs médicaux de la Commune de Ouagadougou et leurs outils de promotion des produits de santé. Elle a été
APA, Harvard, Vancouver, ISO, and other styles
35

BALDWIN, JOHN T. "FORMALIZATION, PRIMITIVE CONCEPTS, AND PURITY." Review of Symbolic Logic 6, no. 1 (2012): 87–128. http://dx.doi.org/10.1017/s1755020312000263.

Full text
Abstract:
AbstractWe emphasize the role of the choice of vocabulary in formalization of a mathematical area and remark that this is a particular preoccupation of logicians. We use this framework to discuss Kennedy’s notion of ‘formalism freeness’ in the context of various schools in model theory. Then we clarify some of the mathematical issues in recent discussions of purity in the proof of the Desargues proposition. We note that the conclusion of ‘spatial content’ from the Desargues proposition involves arguments which are algebraic and even metamathematical. Hilbert showed that the Desargues propositi
APA, Harvard, Vancouver, ISO, and other styles
36

Jaini, Padmanabh S. "The Sanskrit fragments of Vinītadeva's Triṃśikā-ṭīkā". Bulletin of the School of Oriental and African Studies 48, № 3 (1985): 470–92. http://dx.doi.org/10.1017/s0041977x00038441.

Full text
Abstract:
Scholars conversant with the history of the Yogācāra/Vijñnavāda school are familiar with the names of Vasubandhu and his renowned commentator, Sthiramati; the Buddhist logicians Dignāga and Dharmakīrti, who are also associated with that school, are equally well known for their scholastic achievements. A later commentator important in both schools is Vinītadeva (c. 645–715), who has received a great deal of attention in recent years. No less than a dozen of his commentaries, most of them called ṭīkās, are preserved in Tibetan translation. Sylvain Levi's publication in 1925 of Sthiramati's Triṃś
APA, Harvard, Vancouver, ISO, and other styles
37

Avron, Arnon. "Natural 3-valued logics—characterization and proof theory." Journal of Symbolic Logic 56, no. 1 (1991): 276–94. http://dx.doi.org/10.2307/2274919.

Full text
Abstract:
Many-valued logics in general and 3-valued logic in particular is an old subject which had its beginning in the work of Łukasiewicz [Łuk]. Recently there is a revived interest in this topic, both for its own sake (see, for example, [Ho]), and also because of its potential applications in several areas of computer science, such as proving correctness of programs [Jo], knowledge bases [CP] and artificial intelligence [Tu]. There are, however, a huge number of 3-valued systems which logicians have studied throughout the years. The motivation behind them and their properties are not always clear,
APA, Harvard, Vancouver, ISO, and other styles
38

Kroll, J. L. "Disputation in Ancient Chinese Culture." Early China 11 (1985): 118–45. http://dx.doi.org/10.1017/s0362502800003989.

Full text
Abstract:
During the Warring States, Ch'in, and Han periods the influence of the arts of disputation and rhetoric increased. Disputation affected the form and content of philosophical arguments and, mainly during the Han dynasty, contributed to the process of ideological synthesis. Furthermore, debate and argumentation came to play a central role in resolving social difficulties and determining government policy. Along with rhetoric, as represented by the Chan-kuo-ts'e, disputation also helped define the style and nature of a wide variety of literary genres, espeically the Fu and historiographical works
APA, Harvard, Vancouver, ISO, and other styles
39

Ezhkova, Viсtoria Andreevna. "Two traditions of studying modality: plan of expression." Litera, no. 12 (December 2021): 73–81. http://dx.doi.org/10.25136/2409-8698.2021.12.34740.

Full text
Abstract:
This article advances a hypothesis on the existence of two linguistic traditions of studying modality from the perspective of the plan of expression. The first tradition – the national one – stems from the works of V. V. Vinogradov. The second tradition – the foreign one – harks back to the studies of the philosophers and logicians. The author explores the views of the scholars of both traditions, concluding on their ways of expressing modality. It is noted that researchers use different principles of grouping the modal means; divide them into the marker
APA, Harvard, Vancouver, ISO, and other styles
40

Carl, J. Posy. "Brouwer versus Hilbert: 1907–1928." Science in Context 11, no. 2 (1998): 291–325. http://dx.doi.org/10.1017/s0269889700003021.

Full text
Abstract:
The ArgumentL. E. J. Brouwer and David Hubert, two titans of twentieth-century mathematics, clashed dramatically in the 1920s. Though they were both Kantian constructivists, their notorious Grundlagenstreit centered on sharp differences about the foundations of mathematics: Brouwer was prepared to revise the content and methods of mathematics (his “Intuitionism” did just that radically), while Hilbert's Program was designed to preserve and constructively secure all of classical mathematics.Hilbert's interests and polemics at the time led to at least three misconstruals of intuitionism, miscons
APA, Harvard, Vancouver, ISO, and other styles
41

Heyd, David. "Can Virtue Ethics Account for Supererogation?" Royal Institute of Philosophy Supplement 77 (September 16, 2015): 25–47. http://dx.doi.org/10.1017/s1358246115000193.

Full text
Abstract:
In his classical article, ‘Saints and Heroes’, James Urmson single-handedly revived the idea of supererogation from it astonishingly long post-Reformation slumber. During the first two decades after its publication, Urmson's challenge was taken up almost exclusively by either utilitarians or deontologists of some sort. On the face of it, neither classical utilitarianism nor Kant's categorical imperative makes room for action which is better than the maximizing requirement, on the one hand, or beyond the requirement of duty, on the other. Nevertheless, both utilitarians and Kantians, as well as
APA, Harvard, Vancouver, ISO, and other styles
42

Serény, György. "Gödel, Tarski, Church, and The Liar." Bulletin of Symbolic Logic 9, no. 1 (2003): 3–25. http://dx.doi.org/10.2178/bsl/1046288723.

Full text
Abstract:
The fact that Gödel's famous incompleteness theorem and the archetype of all logical paradoxes, that of the Liar, are related closely is, of course, not only well known, but is a part of the common knowledge of the community of logicians. Indeed, almost every more or less formal treatment of the theorem makes a reference to this connection. Gödel himself remarked in the paper announcing his celebrated result (cf. [7]):The analogy between this result and Richard's antinomy leaps to the eye;there is also a close relationship with the ‘liar’ antinomy, since … we are… confronted with a proposition
APA, Harvard, Vancouver, ISO, and other styles
43

Pabijutaitė, Živilė. "Logic and Metaphysics in Vilnius during 16th–18th Centuries: The Most Important Sources of Vilnius Libraries." Civitas. Studia z Filozofii Polityki 24 (June 28, 2019): 117–34. http://dx.doi.org/10.35757/civ.2019.24.08.

Full text
Abstract:
The aim of the article is to present the results of research conducted as part of the project Polonica Philosophica Orientalia: namely, to give an overview of the most important logical and metaphysical treatises (both manuscripts and printed editions) written in Vilnius between the sixteenth and eighteenth centuries that are currently accessible in some of the Vilnius libraries. Although the research focused primarily on the Vilnius University Library and its resources, some interesting results were also obtained while researching the Wróblewski Library of the Lithuanian Academy of Sciences.
APA, Harvard, Vancouver, ISO, and other styles
44

Bedetti, Anka, Cathy Greyling, Barry Paul, et al. "System for Elephant Ear-pattern Knowledge (SEEK) to identify individual African elephants." Pachyderm 61 (October 8, 2020): 63–77. http://dx.doi.org/10.69649/pachyderm.v61i.65.

Full text
Abstract:
Elephant numbers have drastically declined over the past century with illegal killings, habitat fragmentation and human-elephant-conflict representing the greatest threats. Information on estimates of abundance and demographics are important to understand the long-term implications of these threats. Mark-resighting studies can provide valuable insights but depend on the individual identification of numerous elephants within populations across both Africa and Asia. Most photographic elephant identification studies are still reliant on human memory and manual matching of known individuals. A pro
APA, Harvard, Vancouver, ISO, and other styles
45

Rodrigue Geoffroy, Zanli Bi Sehi, and Prisca Justine Ehui. "Genre et Addiction au Smartphone chez les Adolescents en Côte d’Ivoire." European Scientific Journal, ESJ 19, no. 35 (2023): 40. http://dx.doi.org/10.19044/esj.2023.v19n35p40.

Full text
Abstract:
L'objet de la présente étude est d'analyser la fréquence d'utilisation et la prévalence de l'addiction au smartphone en les associant au genre chez les adolescents en Côte d'Ivoire. L'étude a été réalisée auprès de 373 adolescents (garçons et filles) âgés de 12 à 19 ans, fréquentant le collège privé Merajea de Yopougon. Au moyen d'un questionnaire adapté à la version abrégée de l'échelle SAS (SAS-SV), ils ont été interrogés suite à une sélection par convenance et une participation volontaire. La version 20 du logiciel SPSS a été utilisée comme outil de traitement des données recueillies, prése
APA, Harvard, Vancouver, ISO, and other styles
46

Schimmerling, Ernest. "THE ABC'S of Mice." Bulletin of Symbolic Logic 7, no. 4 (2001): 485–503. http://dx.doi.org/10.2307/2687795.

Full text
Abstract:
This is the introductory half of a lecture given at the Association for Symbolic Logic Annual Meeting in Philadelphia in March, 2001. Our goal is to give logicians and advanced students who are unfamiliar with inner model theory a taste of what the subject is about at a level where it is possible to say something meaningful about the intuitions and proofs. At the same time, we wish to avoid overwhelming the reader, so we will leave out many well known closely related theorems and give only short proof sketches. Neither the results nor the proofs found here are due to the author. We will begin
APA, Harvard, Vancouver, ISO, and other styles
47

Kelikli, Murat. "On the structural properties of paradoxes: the distinction between formal language and natural language that comes with the use of the liar paradox." Logical Investigations 30, no. 1 (2024): 27–40. http://dx.doi.org/10.21146/2074-1472-2024-30-1-27-40.

Full text
Abstract:
This study delves into the intriguing realm of paradoxes that have long fascinated philosophers and logicians throughout history. It begins by discussing the nature and purpose of paradoxes, ranging from their role in entertainment to their capacity to reveal flaws within logical systems. This work emphasizes the challenge paradoxes pose to the completeness of systems and the subsequent development of axiomatic systems that aim to eliminate paradoxes. Rather than providing definitive solutions to paradoxes, the primary aim of this study is to defend the idea that systems containing paradoxes c
APA, Harvard, Vancouver, ISO, and other styles
48

Kroger, James K., Patricia W. Cheng, and Keith J. Holyoak. "Evoking the Permission Schema: The Impact of Explicit Negation and a Violation-Checking Context." Quarterly Journal of Experimental Psychology Section A 46, no. 4 (1993): 615–35. http://dx.doi.org/10.1080/14640749308401030.

Full text
Abstract:
Cheng and Holyoak (1985) proposed that realistic reasoning in deontic contexts is based on pragmatic schemas such as those for assessing compliance with or violation of permission and obligation rules, and that the evocation of these schemas can facilitate performance in Wason's (1966) selection task. The inferential rules in such schemas are intermediate in generality between the content-independent rules proposed by logicians and specific cases stored in memory. In one test of their theory, Cheng and Holyoak demonstrated that facilitation could be obtained even for an abstract permission rul
APA, Harvard, Vancouver, ISO, and other styles
49

Feldacker, Caryl, Joel Usiri, Christine Kiruthu-Kamamia, et al. "Crossing the digital divide: the workload of manual data entry and integration between mobile health applications and eHealth infrastructure." Oxford Open Digital Health 2, Supplement_2 (2024): ii9—ii17. https://doi.org/10.1093/oodh/oqae025.

Full text
Abstract:
Abstract Many digital health interventions (DHIs), including mobile health (mHealth) apps, aim to improve both client outcomes and efficiency like electronic medical record systems (EMRS). Although interoperability is the gold standard, it is also complex and costly, requiring technical expertise, stakeholder permissions and sustained funding. Manual data linkage processes are commonly used to ‘integrate’ across systems and allow for assessment of DHI impact, a best practice, before further investment. For mHealth, the manual data linkage workload, including related monitoring and evaluation (
APA, Harvard, Vancouver, ISO, and other styles
50

Bobrova, Angelina S. "“Logic of the Future” as C.S. Peirce Understood It (First Volumes of Peirceana)." Epistemology & Philosophy of Science 57, no. 3 (2020): 176–89. http://dx.doi.org/10.5840/eps202057349.

Full text
Abstract:
Finally, the first book started Peirceana. Peirceana is expected as a new series that provides access to both Peirce’s mostly unpublished late works and secondary papers, in which ideas of this American philosopher are developed. This edition is opened with three volumes on Peirce’s manuscripts on “Logic of the Future.” The thinker gave this definition to his theory of existential graphs, i.e., a diagrammatical logical project that includes three sections. The sections can roughly correspond to propositional logic, first-order logic and modal logic. The theory of existential graphs is a partic
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