Log in

Relevant bibliographies by topics / Langages de programmation Programmation logique / Journal articles

To see the other types of publications on this topic, follow the link: Langages de programmation Programmation logique.

Journal articles on the topic 'Langages de programmation Programmation logique'

Author: Grafiati

Published: 4 June 2021

Last updated: 6 February 2022

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

Select a source type:

Consult the top 21 journal articles for your research on the topic 'Langages de programmation Programmation logique.'

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

Caldarone, Alessandro. "Une méthodologie automatisée de la logique juridique." Les Cahiers de droit 31, no. 1 (2005): 227–60. http://dx.doi.org/10.7202/043006ar.

Full text

Abstract:

Le droit est une matière qui se prête très bien au traitement informatique. En effet nous pouvons dans cette discipline identifier deux aspects différents et complémentaires de la même réalité, à savoir l'aspect éthique et l'aspect logique. Dans cette étude, l'auteur se penche sur l'aspect logique du droit. Pour ce faire, il utilise la logique formelle afin de réduire sous forme de règles la matière portant sur le remboursement des améliorations faites sur l'immeuble d'autrui. Le résultat final en est un d'intelligence artificielle avec la réalisation d'un système expert portant le nom de LEX-A. Celui-ci a été réalisé sur ordinateur Macintosh et utilise le langage de programmation PROLOG.

APA, Harvard, Vancouver, ISO, and other styles

2

Mélès, Baptiste. "Approche philologique des langages de programmation." Techniques et sciences informatiques 35, no. 2 (2016): 237–54. http://dx.doi.org/10.3166/tsi.35.237-254.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Cointe, Pierre, Jacques Noyé, Rémi Douence, et al. "Programmation post-objets. Des langages d'aspects aux langages de composants." L'objet 10, no. 4 (2004): 119–43. http://dx.doi.org/10.3166/objet.10.4.119-143.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Blanc, G., and N. Bleuzen-Guernalec. "Algèbres effectives dans la programmation logique avec contraintes." RAIRO - Theoretical Informatics and Applications 26, no. 3 (1992): 221–42. http://dx.doi.org/10.1051/ita/1992260302211.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Corblin, Fabien, Eric Fanchon, and Laurent Trilling. "Modélisation de réseaux biologiques discrets en programmation logique par contraintes." Techniques et sciences informatiques 26, no. 1-2 (2007): 73–98. http://dx.doi.org/10.3166/tsi.26.73-98.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Lefebvre, Marie-Thérèse. "Analyse de la programmation radiophonique sur les ondes québécoises entre 1922 et 1939 : musique, théâtre, causeries." Les Cahiers des dix, no. 65 (February 3, 2012): 179–225. http://dx.doi.org/10.7202/1007776ar.

Full text

Abstract:

Élément essentiel de la modernisation du Québec, la radio a-t-elle été également un véhicule des idées nouvelles qui se développent dans les années 1930 ? L’analyse de la programmation de la musique, du théâtre et des causeries démontre que les choix d’émissions ont obéi davantage à la logique marchande qu’à la volonté de participer aux changements qui ont marqué ces années.

APA, Harvard, Vancouver, ISO, and other styles

7

Laperrière, Hélène. "Une pratique réflexive collective de production de connaissances dans la lutte communautaire contre le VIH/sida au Québec." Nouvelles pratiques sociales 22, no. 1 (2010): 77–91. http://dx.doi.org/10.7202/039661ar.

Full text

Abstract:

Les agences canadiennes de santé publique recourent à la mobilisation d’acteurs communautaires pour mettre en oeuvre leurs programmes au plan local. La logique sociétale de programmation diffère toutefois de la pratique communautaire de production et de mise en oeuvre des connaissances. Comment se produit la connaissance locale au sein du partenaire communautaire ? En quoi cette connaissance contribue-t-elle à la lutte contre le sida ?

APA, Harvard, Vancouver, ISO, and other styles

8

Espinasse, Bernard, Rinaldo Lima, and Fred Freitas. "Extraction automatique d’entités et de relations par ontologies et programmation logique inductive." Revue d'intelligence artificielle 30, no. 6 (2016): 637–74. http://dx.doi.org/10.3166/ria.30.637-674.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Faye, R. M., S. Sawadogo, and F. Mora-Camino. "Logique floue Appliquée à la gestion à long terme des ressources en eau." Revue des sciences de l'eau 15, no. 3 (2005): 579–96. http://dx.doi.org/10.7202/705470ar.

Full text

Abstract:

Dans le contexte de la rareté des ressources en eau, une approche globale de la gestion à long terme d'un système de stockage/transfert/distribution d'eau est proposée. L'objectif principal de la gestion d'un tel type de système est de gérer les réserves et les délestages de manière à minimiser les écarts entre offre et demande, ceci à partir d'une prédiction de la demande et des apports. Ainsi, on propose une approche à horizon glissant et surtout une procédure d'adaptation des pondérations du critère fondée sur la logique floue. Cette notion d'adaptation du critère parait tout à fait judicieuse quand on connaît la difficulté de définir les pondérations de tels problèmes d'optimisation et son influence sur la pertinence de la solution obtenue. On vérifie ici l'apport essentiel de la logique floue qui permet d'appréhender finement les enjeux en présence dans la gestion de long terme du système stockage/transfert/distribution d'eau. Le problème de gestion à long terme est résolu par une heuristique améliorée utilisant la programmation linéaire et la programmation dynamique pour réduire les effets de la discrétisation spatiale qui est si limitative dans ce contexte. L'approche de gestion proposée est effectivement appliquée à un cas d'étude qui permet de mettre en évidence sa relative simplicité de mise en œuvre.

APA, Harvard, Vancouver, ISO, and other styles

10

Laugier, C. "Les apports respectifs des langages symboliques et de la cao en programmation des robots." Robotica 6, no. 3 (1988): 243–53. http://dx.doi.org/10.1017/s0263574700004355.

Full text

Abstract:

SUMMARYA high-level robot programming language constitutes a general purpose interface for accessing the basic functional capabilities of a robot. On the other hand, CAD facilities give the possibility of using a subset of these capabilities in an easier fashion. In this paper, we show how a robot programming language and CAD facilities can be combined to obtain a robot programming system satisfying the need for generality, and allowing an easy connection with the basic robot programming functions. Such a connection is based on a “complete” simulator providing facilities for executing robot control programs on a graphic display, for describing manipulation tasks using interactive graphic tools, for simulating the physical world and its perception through sensors, and for displaying three-dimensional scenes as shaded pictures.

APA, Harvard, Vancouver, ISO, and other styles

11

Muxart, Tatiana. "Dossier Interdisciplinarité La programmation des recherches interdisciplinaires en environnement au CNRS. Logique scientifique ou logique de pouvoir ?" Natures Sciences Sociétés 12, no. 3 (2004): 310–15. http://dx.doi.org/10.1051/nss:2004044.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Fortin, Etienne, Louis Rivest, and Jean-François Chateiain. "COMBINER DE MULTIPLE LANGAGES POUR LA PROGRAMMATION DES CONTRÔLEURS DE MACHINES-OUTILS À ARCHITECTURE OUVERTE." Transactions of the Canadian Society for Mechanical Engineering 28, no. 3-4 (2004): 511–30. http://dx.doi.org/10.1139/tcsme-2004-0035.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Bourgault, Serge, Jean-Pierre Le Pape, and Daniel Ranson. "Lislog-C: Une première étape vers I’expression généralisée de contraintes en programmation en logique." Annales Des Télécommunications 44, no. 5-6 (1989): 218–28. http://dx.doi.org/10.1007/bf02995668.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Certes, C., and P. Hubert. "Application de la programmation logique en hydrologie. Definition d'un programme d'interpretation automatique des pompages d'essai." Journal of Hydrology 81, no. 1-2 (1985): 137–55. http://dx.doi.org/10.1016/0022-1694(85)90172-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Namer, Fiammetta. "Le modèle Lstat : ou comment se constituer une base de données morphologique à partir du Web." Revue québécoise de linguistique 32, no. 1 (2006): 85–109. http://dx.doi.org/10.7202/012245ar.

Full text

Abstract:

Résumé L’objectif de cet article est de présenter une méthode d’acquisition, d’organisation et d’interrogation de corpus textuels à partir de données et outils librement récupérables sur le Web (corpus de textes, lexiques, langages de programmation spécialisés, outils d’étiquetage et de lemmatisation). Nous nous intéressons ici plus particulièrement aux préoccupations des chercheurs en morphologie dérivationnelle, en proposant d’intégrer à la méthode présentée un module d’analyse morphologique dérivationnelle qui permet au linguiste de se constituer une base de données lexicale munie d’annotations morphosémantiques (que nous appellerons base de données morphologique, notée BDM). La méthodologie proposée sera illustrée tout au long de l’article par la présentation de Lstat, modèle de BDM utilisé avec un lexique de 27,5 millions d’occurrences issu d’archives de presse française en ligne, automatiquement téléchargées entre 2001 et 2002.

APA, Harvard, Vancouver, ISO, and other styles

16

Ardourel, Gilles, Pierre Crescenzo, and Philippe Lahire. "LAMP : vers un langage de définition de mécanismes de protection pour les langages de programmation à objets." L'objet 9, no. 1-2 (2003): 151–63. http://dx.doi.org/10.3166/objet.9.1-2.151-163.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Dubois, Didier, Henri Prade, and Steven Schokaert. "Règles et métarègles en théorie des possibilités. De la logique possibiliste à la programmation par ensembles-réponses." Revue d'intelligence artificielle 26, no. 1-2 (2012): 63–83. http://dx.doi.org/10.3166/ria.26.63-83.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Graham, Shawn. "Une introduction aux Bots Twitter avec Tracery." Programming Historian en français, no. 2 (May 9, 2020). http://dx.doi.org/10.46430/phfr0010.

Full text

Abstract:

Cette leçon explique comment créer de simples bots Twitter à l'aide de la grammaire Tracery et du service Cheap Bots Done Quick. Tracery est interopérable avec plusieurs langages de programmation et peut être intégrée dans des sites web, des jeux ou des bots.

APA, Harvard, Vancouver, ISO, and other styles

19

Tchoupé Tchendji, Maurice. "Un protocole de fertilisation croisée d’un langage fonctionnel et d’un langage objet: application à la mise en oeuvre d’un prototype d’éditeur coopératif asynchrone." Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées Volume 14 - 2011 - Special... (October 5, 2011). http://dx.doi.org/10.46298/arima.1952.

Full text

Abstract:

International audience The cross-fertilization is a technique to pool expertise and resources of at least two sectors in order to make the best of each. In this paper, we present a protocol of programming based on cross-fertilization of two programming languages (Haskell and Java) under two different programming paradigms: the functional paradigm and the object paradigm. This pooling of the strengths of each type of language permit to develop more secure applications in a shorter time, with functional code concise, easily understandable and thus, easily maintainable by one third. We present the meta-architecture of applications developed following this approach and an instantiation of it for the implementation of a prototype of an asynchronous collaborative editor. La fertilisation croisée est une technique permettant de mettre en commun des compétences et des ressources d’au moins deux secteurs d’activité afin d’en tirer le meilleur de chaque. Dans ce papier, nous présentons un protocole de programmation basé sur la fertilisation croisée de deux langages de programmation (Haskell et Java) relevant de deux paradigmes de programmation différents: le paradigme fonctionnel et le paradigme objet. Cette mutualisation des points forts de chaque type de langage permet de développer des applications plus sûres, en un temps moindre, ayant un code fonctionnel concis, facilement compréhensible et donc, facilement maintenable par un tiers. Nous présentons la méta-architecture des applications développées suivant cette approche ainsi qu’une instanciation de celle-ci pour la mise en oeuvre d’un prototype d’éditeur coopératifasynchrone.

APA, Harvard, Vancouver, ISO, and other styles

20

Bertin, Erik. "Écouter et réécouter." 38, no. 2 (2010): 29–40. http://dx.doi.org/10.7202/044949ar.

Full text

Abstract:

Résumé Cet article explore l’écoute de la musique comme pratique, et plus précisément le phénomène de l’audition répétée d’un même morceau de musique. Au fil des écoutes, une interaction se construit entre une forme répétée à l’identique et un sujet potentiellement soumis à des variations modales, cognitives et passionnelles. Un cycle de vie de l’écoute répétitive se dégage, qui mène du surgissement émotionnel lié à la découverte d’une musique à son appropriation progressive par le sujet, puis parfois à son déclin et à son abandon. Cette interaction répétée articule étroitement logique passionnelle et logique de la programmation, donnant lieu à différentes modulations des tensions entre ressentir et découvrir. C’est la création d’un blogue d’une quinzaine de sujets-auditeurs décrivant régulièrement leurs perceptions et leurs impressions dans un processus de familiarisation avec un morceau de musique qui a permis de constituer le corpus soumis à l’analyse sémiotique.

APA, Harvard, Vancouver, ISO, and other styles

21

Lokpo, Ibrahim, Michel Babri, and Gérard Padiou. "Mise en oeuvre de tests unitaires dans un contexte de programmation eXtrème répartie." Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées Volume 4, 2006 (September 24, 2006). http://dx.doi.org/10.46298/arima.1843.

Full text

Abstract:

International audience eXtreme Programming (XP) is a methodology based on principles and practices for quickly developing software. However this approach requires the programmers to be co-located. Many research projects investigate how to extend XP to a distributed environment. However the challenge is to carry out the XP approach without conflicting with the distributed constraints. Our work takes place in this way. More precisely, we propose an extension based on assistance for supporting distributed unit testing, one of the key principles of XP methodology. La programmation eXtrème dite XP (eXtreme Programming) est une méthodologie efficace de développement rapide de logiciels qui exige que les membres d'une équipe de développeurs soient physiquement proches les uns des autres. Des travaux de recherche tentent d'étendre les principes de cette méthodologie à un contexte réparti. Le défi est alors de préserver les qualités fondamentales de l'approche tout en s'affranchissant de la contrainte de proximité physique des développeurs. Notre travail s'inscrit dans cette logique. De façon plus précise, nous proposons de fonder cette extension de XP à un environnement réparti sur l'assistance à la réalisation des tests unitaires, pierre angulaire de la méthodologie XP.

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!