Relevant bibliographies by topics / Raisonnement automatisé / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Raisonnement automatisé.

Dissertations / Theses on the topic 'Raisonnement automatisé'

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

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

Select a source type:

Consult the top 29 dissertations / theses for your research on the topic 'Raisonnement automatisé.'

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 dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Barcenas, Patino Ismael. "Raisonnement automatisé sur les arbres avec des contraintes de cardinalité." Phd thesis, Université de Grenoble, 2011. http://tel.archives-ouvertes.fr/tel-00569058.

Full text
Abstract:
Les contraintes arithmétiques sont largement utilisées dans les langages formels comme les expressions, les grammaires d'arbres et les chemins réguliers. Ces contraintes sont utilisées dans les modéles de contenu des types (XML Schemas) pour imposer des bornes sur le nombre d'occurrences de nœuds. Dans les langages de requêtes (XPath, XQuery), ces contraintes permettent de sélectionner les nœuds ayant un nombre limité de nœuds accessibles par une expression de chemin donnée. Les types et chemins étendus avec les contraintes de comptage constituent le prolongement naturel de leurs homologues sa
APA, Harvard, Vancouver, ISO, and other styles
2

Barcenas, Everardo. "Raisonnement automatisé sur les arbres avec des contraintes de cardinalité." Phd thesis, Université de Grenoble, 2011. http://tel.archives-ouvertes.fr/tel-00578972.

Full text
Abstract:
Les contraintes arithmétiques sont largement utilisées dans les langages formels comme les expressions, les grammaires d'arbres et les chemins réguliers. Ces contraintes sont utilisées dans les modèles de contenu des types (XML Schemas) pour imposer des bornes sur le nombre d'occurrences de noeuds. Dans les langages de requêtes (XPath, XQuery), ces contraintes permettent de sélectionner les noeuds ayant un nombre limité de noeuds accessibles par une expression de chemin donnée. Les types et chemins étendus avec les contraintes de comptage constituent le prolongement naturel de leurs homologues
APA, Harvard, Vancouver, ISO, and other styles
3

Serban, Cristina. "Raisonnement automatisé pour la logique de séparation avec des définitions inductives." Thesis, Université Grenoble Alpes (ComUE), 2018. http://www.theses.fr/2018GREAM030/document.

Full text
Abstract:
La contribution principale de cette thèse est un système de preuve correct et complet pour les implications entre les prédicats inductifs, fréquemment rencontrées lors de la vérification des programmes qui utilisent des structures de données récursives allouées dynamiquement. Nous introduisons un système de preuve généralisé pour la logique du premier ordre et nous l'adaptons à la logique de séparation, car ceci est un cadre qui répond aux plusieurs difficultés posées par le raisonnement sur les tas alloués dynamiquement. La correction et la complétude sont assurées par quatre restrictions sém
APA, Harvard, Vancouver, ISO, and other styles
4

Bermejo, Das Neves Carlos. "Probabilistic semantic network approach for the study of genotype-phenotype relations in the context of human genetic diseases." Electronic Thesis or Diss., Strasbourg, 2020. http://www.theses.fr/2020STRAJ093.

Full text
Abstract:
Cette thèse porte sur le développement d'une méthode pour modéliser des systèmes complexes en utilisant des graphes de connaissances et des algorithmes de raisonnement automatisés. La méthode de modélisation a été appliquée aux maladies rares pour prédire leurs causes, depuis les niveaux génétique, cellulaire et physiologique jusqu'au niveau de l'organisme entier. Pour la création du graphe de connaissances, deux ontologies, GO et HPO, ont été utilisées. Étant donné qu'il n'existait pas de bases de données avec des relations entre ces ontologies, une méthode d'apprentissage automatique a été d
APA, Harvard, Vancouver, ISO, and other styles
5

Ballout, Ali. "Apprentissage actif pour la découverte d'axiomes." Electronic Thesis or Diss., Université Côte d'Azur, 2024. http://www.theses.fr/2024COAZ4026.

Full text
Abstract:
Cette thèse aborde le défi de l'évaluation des formules logiques candidates, avec un accent particulier sur les axiomes, en combinant de manière synergique l'apprentissage automatique et le raisonnement symbolique. Cette approche innovante facilite la découverte automatique d'axiomes, principalement dans la phase d'évaluation des axiomes candidats générés. La recherche vise à résoudre le problème de la validation efficace et précise de ces candidats dans le contexte plus large de l'acquisition de connaissances sur le Web sémantique.Reconnaissant l'importance des heuristiques de génération exis
APA, Harvard, Vancouver, ISO, and other styles
6

Gonella, Régine. "Diagnostic de pannes sur avions : mise en œuvre d'un raisonnement révisable." Toulouse, ENSAE, 1989. http://www.theses.fr/1989ESAE0014.

Full text
Abstract:
Le diagnostic de pannes sur avions est caractérisé, notamment, par la présence éventuelle de plusieurs pannes à un moment donné et par la modification constante de l'état de l'avion au cours de son exploitation, due à l'arrivée de nouvelles pannes et aux actions de maintenance effectuées. Son amélioration permettrait de diminuer le nombre de déposes d'équipements injustifiées et donc de réduire les coûts de maintenance. Dans ce mémoire, l'auteur propose une méthode de diagnostic en ligne c'est-à-dire une méthode permettant, à tout moment, d'établir le diagnostic d'un système physique fonctionn
APA, Harvard, Vancouver, ISO, and other styles
7

Bousson, Kouamana. "Raisonnement causal pour la supervision de processus basée sur des modèles." Toulouse, INSA, 1993. http://www.theses.fr/1993ISAT0023.

Full text
Abstract:
L''usage d'un modèle causal dans le cadre de la supervision de processus se justifie si l'on considère que l’être humain appréhende de manière causale les phénomènes physiques. Souvent, la causalité nous permet de focaliser notre attention sur une partie ou sur un composant du système physique, sans avoir forcement recours à une description globale du type équationnel. Le travail de ce mémoire propose un formalisme de raisonnement basé sur une utilisation conjuguée de la causalité et des connaissances profondes s'exprimant sous forme d’équations mathématiques pour la supervision de processus c
APA, Harvard, Vancouver, ISO, and other styles
8

El, Ouraoui Daniel. "Méthodes pour le raisonnement d'ordre supérieur dans SMT." Electronic Thesis or Diss., Université de Lorraine, 2021. http://www.theses.fr/2021LORR0023.

Full text
Abstract:
La vérification formelle de programmes informatiques ou de systèmes dits critiques tels que dans le transport, l'énergie, etc, est essentielle pour garantir le bon fonctionnement de ces systèmes. Les méthodes de vérification employées s'appuient très fortement sur des procédés mathématiques et logiques permettant de raisonner de manière formelle sur le comportement de ces systèmes. Ces procédés définissent généralement les comportements sous forme de grands ensembles de contraintes logiques. L'approche par satisfaisabilité est une méthode largement utilisée pour vérifier ces contraintes et est
APA, Harvard, Vancouver, ISO, and other styles
9

Bernard, Denys. "Un système de raisonnement temporel basé sur le calcul d'évènements pour l'ordonnancement en maintenance aéronautique." Toulouse 3, 1992. http://www.theses.fr/1992TOU30162.

Full text
Abstract:
Cette these presente une approche originale de certains problemes d'ordonnancement en maintenance aeronautique. L'approche utilisee est basee sur un systeme de raisonnement temporel specifie en clauses de horn: le calcul d'evenements. Ce systeme definit des concepts tres generaux sur le temps et le changement (evenements, periodes, propositions temporelles), qui permettent de representer des actions. On presente un systeme qui elabore une representation appropriee d'un ensemble d'actions, en utilisant des connaissances formalisees sur le domaine technique specifique. Les connaissances utilisee
APA, Harvard, Vancouver, ISO, and other styles
10

Ben, Rabah Nourhène. "APPROCHE INTELLIGENTE À BASE DE RAISONNEMENT À PARTIR DE CAS POUR LE DIAGNOSTIC EN LIGNE DES SYSTÈMES AUTOMATISÉS DE PRODUCTION." Thesis, Reims, 2018. http://www.theses.fr/2018REIMS036/document.

Full text
Abstract:
Les systèmes automatisés de production (SAP) représentent une classe importante des systèmes industriels qui sont de plus en plus complexes vue le grand nombre d’interaction et d’interconnexion entre leurs différents composants. En conséquence, ils sont plus sensibles aux dysfonctionnements dont les conséquences peuvent être importantes en termes de productivité, de sécurité et de qualité de production. Un défi majeur est alors de développer une approche intelligente qui peut être utilisée pour le diagnostic de ces systèmes afin de garantir leurs suretés de fonctionnement. Dans le cadre de cet
APA, Harvard, Vancouver, ISO, and other styles
11

Petit, Maxime. "Raisonnement et planification développementale d'un robot via une interaction enactive avec un humain." Phd thesis, Université Claude Bernard - Lyon I, 2014. http://tel.archives-ouvertes.fr/tel-01015288.

Full text
Abstract:
Que cela soit par des automates puis par des robots, l'Homme a été fasciné par des machines pouvant exécuter des tâches pour lui, dans de nombreux domaines, comme l'industrie ou les services : c'est ce dernier domaine qui nous sert de contexte. Ainsi, nous avons utilisé une approche développementale, où le robot se doit d'apprendre de nouvelles tâches au cours de sa vie. Inspiré par des théories sur le développement de l'enfant, nous avons extrait les concepts intéressants pour les implémenter sur une plateforme robotique humanoïde : l'iCub. L'acquisition du langage est une première étape, où
APA, Harvard, Vancouver, ISO, and other styles
12

DUMONT, D'AYOT Gilles. "Coopération et évaluation cognitive d'agents artificiels pour la supervision." Phd thesis, INSA de Toulouse, 2005. http://tel.archives-ouvertes.fr/tel-00009527.

Full text
Abstract:
L'idée générale de cette thèse est d'évaluer la plausibilité cognitive de modèles de raisonnement couramment utilisés en Intelligence Artificielle en les mettant en correspondance avec le raisonnement humain, ceci dans des situations de supervision de systèmes dynamiques. Pour cela, un micro-monde lié au domaine de la physique hydraulique est utilisé. Il s'agit donc en premier lieu de développer des opérateurs artificiels capables de superviser ce processus, chacun dans un "style cognitif" spécifique. Trois types d'agents ont ainsi été mis au point, basés sur le raisonnement qualitatif, la cla
APA, Harvard, Vancouver, ISO, and other styles
13

Daniel, Lionel. "Définition d'une logique probabiliste tolérante à l'inconsistance : appliquée à la reconnaissance de scénarios et à la théorie du vote." Phd thesis, École Nationale Supérieure des Mines de Paris, 2010. http://pastel.archives-ouvertes.fr/pastel-00537758.

Full text
Abstract:
Les humains raisonnent souvent en présence d'informations contradictoires. Dans cette thèse, j'ébauche une axiomatisation du sens commun sous-jacent à ce raisonnement dit paraconsistant. L'implémentation de cette axiomatisation dans les ordinateurs autonomes sera essentielle si nous envisageons de leur déléguer des décisions critiques ; il faudra également vérifier formellement que leurs réactions soient sans risque en toute situation, même incertaine. Une situation incertaine est ici modélisée par une base de connaissances probabilistes éventuellement inconsistante ; c'est un multi-ensemble d
APA, Harvard, Vancouver, ISO, and other styles
14

Tutac, Épouse Branici Adina. "Représentation et raisonnement formels pour le pronostic basé sur l'imagerie médicale microscropique. Application à la graduation du cancer du sein." Phd thesis, Université de Franche-Comté, 2010. http://tel.archives-ouvertes.fr/tel-00560215.

Full text
Abstract:
Cette thèse aborde l'aide du pronostic basée sur l'image et les ontologies médicales, en utilisant la représentation des connaissances et le raisonnement pour les très grandes images microscopiques. Une application médicale particulière dans laquelle une assistance de type pronostic est nécessaire est la graduation du cancer du sein. Même si cela est considéré comme un outil d'évaluation essentiel dans la pratique de pathologie moderne, les principaux problèmes posés par la procédure manuelle de pronostic sont : la nécessité des connaissances, attention et temps. D'autre part, le manque de rep
APA, Harvard, Vancouver, ISO, and other styles
15

Rasovska, Ivana. "Contribution à une méthodologie de capitalisation des connaissances basée sur le raisonnement à partir de cas : Application au diagnostic dans une plateforme d'e-maintenance." Phd thesis, Université de Franche-Comté, 2006. http://tel.archives-ouvertes.fr/tel-00257893.

Full text
Abstract:
Face aux évolutions technologiques, à la complexité croissante des équipements industriels et à la dynamique des processus ainsi qu'aux changements organisationnels et à la mobilité du personnel, les responsables de maintenance cherchent à formaliser et pérenniser le savoir et le savoir-faire des employés. Pour répondre à cette problématique, notre objectif est de fournir un service d'aide à la maintenance qui utilise et capitalise les connaissances. Nos travaux se situent dans le cadre du projet Européen Proteus qui a permis de développer une plateforme distribuée d'e-maintenance intégrant le
APA, Harvard, Vancouver, ISO, and other styles
16

Chatalic, Philippe. "Raisonnement deductif en presence de connaissances imprecises et incertaines : un systeme base sur la theorie de dempster-shafer." Toulouse 3, 1986. http://www.theses.fr/1986TOU30189.

Full text
Abstract:
Ce memoire s'interesse aux approches quantitatives permettant de modeliser les notions d'incertitude et d'imprecision, dans les methodes de raisonnement automatiques. La premiere partie donne une vue d'ensemble des outils actuels, permettant de representer et manipuler des connaissances imprecises ou incertaines. La seconde partie a pour cadre general, celui des fonctions de croyances de shafer qui presente l'avantage d'englober les cadres propabiliste et possibliste comme cas particuliers
APA, Harvard, Vancouver, ISO, and other styles
17

Haouchine, Mohamed Karim. "Remémoration guidée par l'adaptation et maintenance des systèmes de diagnostic industriel par l'approche du raisonnement à partir de cas." Phd thesis, Université de Franche-Comté, 2009. http://tel.archives-ouvertes.fr/tel-00466560.

Full text
Abstract:
Le développement des nouvelles technologies des différents produits et composants a rendu la nature des systèmes de plus en plus complexe. Cette complexité s'est répercutée sur le bon fonctionnement des équipements avec l'apparition de nouvelles pannes et l'accroissement des coûts engendrés. La maintenance est devenue un élément indispensable pour le maintien en condition opérationnelle de tout équipement quelque soit sa nature. Dans ce contexte nous nous intéressons à la maintenance corrective et plus particulièrement au diagnostic de pannes des équipements industriels. Nous développons une m
APA, Harvard, Vancouver, ISO, and other styles
18

Heim, Bruno. "Approche ensembliste et par logique floue pour le diagnostic causal de procédés de raffinage : application à un pilote de FCC." Phd thesis, Grenoble INPG, 2003. http://tel.archives-ouvertes.fr/tel-00197531.

Full text
Abstract:
La thèse traite du diagnostic de procédés et se divise en trois parties. La première partie présente une méthode de modélisation causale pour le diagnostic. La seconde partie présente les différentes méthodes mises en ouvre pour la détection, la localisation et l'identification de défauts. Pour effectuer la détection, nous comparons les variables du modèle causal aux mesures. Nous évaluons les apports d'une approche ensembliste et d'une approche par logique floue pour la prise en compte des incertitudes. La localisation est réalisée grâce à un algorithme de hitting-sets afin de déterminer l'en
APA, Harvard, Vancouver, ISO, and other styles
19

Belard, Nuno. "Reasoning about models: detecting and isolating abnormalities in diagnostic systems." Phd thesis, Université Paul Sabatier - Toulouse III, 2012. http://tel.archives-ouvertes.fr/tel-00719547.

Full text
Abstract:
Dans le cadre du diagnostic à base de Modèle, un ensemble de règles d'inférence est typiquement exploité pour calculer des diagnostics, ceci en utilisant une théorie scientifique et mathématique sur le système à diagnostiquer, ainsi qu'un ensemble d'observations. Contrairement aux hypothèses classiques, les Modèles sont souvent anormaux vis-à-vis d'un ensemble de propriétés requises. Naturellement, cela affecte la qualité des diagnostics [à Airbus]. Une théorie sur la réalité, l'information et la cognition est créé pour redéfinir, dans une perspective basée sur la théorie des modèles, le cadre
APA, Harvard, Vancouver, ISO, and other styles
20

Marin-Urias, Luis Felipe. "Planification et contrôle de mouvements en interaction avec l'homme. Reasoning about space for human-robot interaction." Phd thesis, Université Paul Sabatier - Toulouse III, 2009. http://tel.archives-ouvertes.fr/tel-00468918.

Full text
Abstract:
L'interaction Homme-Robot est un domaine de recherche qui se développe de manière expo-nentielle durant ces dernières années, ceci nous procure de nouveaux défis au raisonnement géométrique du robot et au partage d'espace. Le robot pour accomplir une tâche, doit non seulement raisonner sur ses propres capacités, mais également prendre en considération la perception humaine, c'est à dire "Le robot doit se placer du point de vue de l'humain". Chez l'homme, la capacité de prise de perspective visuelle commence à se manifester à partir du 24ème mois. Cette capacité est utilisée pour déterminer si
APA, Harvard, Vancouver, ISO, and other styles
21

Ayrolles, Laurent. "Abstraction temporelle et interprétation quantitative/qualitative de processus à dynamiques multiples. Application aux processus biologiques." Phd thesis, Université Paul Sabatier - Toulouse III, 1996. http://tel.archives-ouvertes.fr/tel-00139748.

Full text
Abstract:
Une caractéristique des systèmes dynamiques complexes, qu'ils soient physiques ou naturels, est la présence de processus évoluant à différentes échelles de temps (dynamiques multiples) et de façon fortement non-linéaire. Nous nous plaçons dans le cas où l'évolution de chaque processus étudié est une série de mesures, ou bien est issue de la simulation de modèles numériques. Pour concevoir ou améliorer ces modèles en se basant sur l'échelle qui l'intéresse, l'utilisateur doit d'abord être capable de représenter l'évolution de chaque processus à plusieurs échelles, déterminées objectivement selo
APA, Harvard, Vancouver, ISO, and other styles
22

Le, Tan. "Intégration de l'inférence abductive et inductive pour la représentation des connaissances dans les réseaux de gènes." Phd thesis, Université Paul Sabatier - Toulouse III, 2014. http://tel.archives-ouvertes.fr/tel-00996894.

Full text
Abstract:
Le raisonnement diagnostique (abductif) et le raisonnement de prédiction (inductif) sont deux des méthodes de raisonnement qui permettent la découverte de connaissances nouvelles. Lorsque le raisonnement abductif est le processus permettant de trouver la meilleure explication (hypothèse) pour un ensemble d'observations (Josephson, 1994), le raisonnement de prédiction est le processus, à partir d'un ensemble d'observations, permettant de trouver tous les résultats possibles. Ces observations peuvent être les symptômes d'un patient, des expériences concernant les réseaux métaboliques et génomiqu
APA, Harvard, Vancouver, ISO, and other styles
23

Vidal, Thierry. "Le temps en planification et en ordonnancement : Vers une gestion complète et efficace de contraintes hétérogènes et entachées d'incertitude." Phd thesis, Université Paul Sabatier - Toulouse III, 1995. http://tel.archives-ouvertes.fr/tel-00144272.

Full text
Abstract:
Le planificateur temporel IxTeT, véritable «intelligence embarquée» d'un robot autonome, s'appuie sur un gestionnaire de contraintes temporelles dont le rôle est double: maintenir la cohérence du réseau de contraintes, et répondre rapidement et correctement à une interrogation émanant du planificateur. La prise en compte de contraintes symboliques (simples précédences) et numériques (dates et durées imprécises) oblige alors à une propagation coûteuse des contraintes numériques. Néanmoins, ces dernières étant proportionnellement peu nombreuses en planification, nous pouvons restreindre cette pr
APA, Harvard, Vancouver, ISO, and other styles
24

Le, Tan. "Intégration de l'inférence abductive et inductive pour la représentation des connaissances dans les réseaux de gènes." Phd thesis, Toulouse 3, 2014. http://thesesups.ups-tlse.fr/2337/.

Full text
Abstract:
Le raisonnement diagnostique (abductif) et le raisonnement de prédiction (inductif) sont deux des méthodes de raisonnement qui permettent la découverte de connaissances nouvelles. Lorsque le raisonnement abductif est le processus permettant de trouver la meilleure explication (hypothèse) pour un ensemble d'observations (Josephson, 1994), le raisonnement de prédiction est le processus, à partir d'un ensemble d'observations, permettant de trouver tous les résultats possibles. Ces observations peuvent être les symptômes d'un patient, des expériences concernant les réseaux métaboliques et génomiqu
APA, Harvard, Vancouver, ISO, and other styles
25

Caulier, Patrice. "Méthodologie de capitalisation et de réutilisation de connaissances pour l'aide à la supervision des procédés automatises complexes : Application à la supervision du trafic téléphonique de l'Ile-de-France." Valenciennes, 1997. https://ged.uphf.fr/nuxeo/site/esupversions/4386115b-a677-4ce2-9612-b54f6ad7cfab.

Full text
Abstract:
La supervision des modes de fonctionnement anormaux des procédés automatisés complexes implique le recours à des méthodes de résolution de problèmes. Parmi celles-ci, l'évocation d'une solution analogue préétablie en mémoire constitue une méthode efficace et économique d'un point de vue cognitif. Toutefois, sa mise en œuvre systématique se heurte à plusieurs limites intra et extra-individuelles. De façon à corriger ces limites, l'objectif de la thèse est de proposer une méthodologie interdisciplinaire de développement de systèmes d'assistance fondée sur la capitalisation et la réutilisation de
APA, Harvard, Vancouver, ISO, and other styles
26

Lesbegueries, Julien. "Plate-forme pour l'indexation spatiale multi-niveaux d'un corpus territorialisé." Phd thesis, Université de Pau et des Pays de l'Adour, 2007. http://tel.archives-ouvertes.fr/tel-00258534.

Full text
Abstract:
Notre travail s'insère dans la problématique de l'accès à l'information spatiale présente dans des corpus textuels territoriaux. Nous proposons d'aller au-delà des systèmes de recherche d'information classiques basés sur l'analyse statistique des documents, peu adaptés pour ce cas particulier, via un traitement linguistique ciblé interprétant l'information spatiale. Notre hypothèse est que des traitements relativement peu coûteux suffisent à dégager l'essentiel de l'information. Ils sont un bon point de départ pour une interprétation plus poussée par la suite, utilisant les propriétés géograph
APA, Harvard, Vancouver, ISO, and other styles
27

El, Ayeb Béchir. "Méthodes, langages et outils de spécification et de construction des systèmes de diagnostic." Nancy 1, 1989. http://www.theses.fr/1989NAN10054.

Full text
Abstract:
Spécification et construction méthodiques de systèmes de diagnostic pour les grandes installations industrielles. Recherche d'un langage de spécification et des outils de construction des systèmes de diagnostic. Proposition d'une méthode de spécification pour structurer une installation en hiérarchies et graphes de composants abstraits, ainsi qu'un langage pour spécifier les différents composants
APA, Harvard, Vancouver, ISO, and other styles
28

Mohamed, Firas. "Approche à base de logique floue pour le test et le diagnostic des circuits analogiques." Grenoble INPG, 1997. http://www.theses.fr/1997INPG0082.

Full text
Abstract:
Les circuits et systemes analogiques sont de plus en plus utilises dans le cadre d'applications nouvelles. Ils deviennent egalement plus complexes, ce qui cree la necessite de disposer de methodes automatiques pour leurs tests et leurs diagnostics qui a eux deux representent un probleme crucial dans ce domaine. Bien que le test et le diagnostic des circuits digitaux ait ete developpe avec succes au point qu'il a pu etre automatise, son developpement pour les ca en est encore a ses premiers pas. Il y a deux raisons principales a cette situation, il n'y avait pas un besoin pressant dans l'indust
APA, Harvard, Vancouver, ISO, and other styles
29

Mir, S. "Heuristic reasoning for an automatic commonsense understanding of logic electronic design specifications (English only)." Phd thesis, 1993. http://tel.archives-ouvertes.fr/tel-00010456.

Full text
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography