Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
Answer set programming (ASP
Examples with "Answer set programming (ASP" and their translation in Frans
Abstract: Answer set programming (ASP) is a formalism able to represent knowledge in Artificial Intelligence thanks to a first order logic program which can contain default negations.
Résumé : L'Answer Set Programming (ASP) est un formalisme capable de représenter des connaissances en Intelligence Artificielle à l'aide d'un programme logique au premier ordre pouvant contenir des négations par défaut.
It combines the high-level modeling capacities of answer set programming (ASP) with state-of-the-art techniques from the area of Boolean constraint solving.
Il combine les capacités de modélisation de haut niveau de la programmation par ensembles de réponses (ASP) avec des techniques de pointe du domaine de la résolution de contraintes booléennes.
Both Power Graph Analysis and the new approach have been implemented in Answer Set Programming (ASP), a logical formalism, and we present some applications in bioinformatics of these two approaches.
L'Analyse Power Graph et la nouvelle approche ont été implémentés dans un formalisme logique de Programmation par Ensembles Réponses (ASP), et nous présentons quelques applications en bioinformatique pour les deux approches.
More precisely, we focus on modeling the response of logical signaling networks by means of automated reasoning using Answer Set Programming (ASP).
Nous modélisons la réponse des réseaux logiques de signalisation par du raisonnement automatique à l'aide de Programmation par Ensembles-Réponses (Answer Set Programming, ASP).
It is closely aligned with answer set programming (ASP), which is a relatively new paradigm for declarative programming.
Ce formalisme est fortement lié à la programmation orientée ensemble réponse (ASP), un paradigme relativement nouveau de programmation déclarative.
A graph-based method is benchmarked and validated and a hybrid one is developed using Answer Set Programming (ASP) and linear programming.
Une méthode basée sur les graphes est validée, et une seconde, hybride, est développée, en programmation par ensembles réponses (ASP).
A graph-based method is benchmarked and validated and a hybrid one is developed using Answer Set Programming (ASP) and linear programming.
Une méthode basée sur les graphes est validée, et une seconde, hybride, est développée, en programmation par ensembles réponses (ASP).
More precisely, we focus on modeling the response of logical signaling networks by means of automated reasoning using Answer Set Programming (ASP).
Nous modélisons la réponse des réseaux logiques de signalisation par du raisonnement automatique à l'aide de Programmation par Ensembles-Réponses (Answer Set Programming, ASP).
Andere resultaten
We will also explore other ways to explore the search space, such as using the logical language ASP (Answer Set Programming). Model selection
Nous prévoyons également d'explorer d'autres manières de parcourir l'espace de recherche, telles que celles basées sur l'utilisation du langage logique ASP (Answer Set Programming).
This tool, developed using ASP (Answer Set Programming) programming language, can integrate many kind of data, like mutation data, or the existence of many steady states.
Cet outil, développé en ASP (Answer Set Programming), permet l'intégration de différents types de données telles des données sur des mutants ou l'existence de différents états stationnaires.
LACODAM hosts Torsten Schaub (INRIA International Chair) on a project to use ASP (Answer Set Programming), a powerful logic language, in order to ease the design of post-mining filters.
Enfin, LACODAM accueille Torsten Schaub (INRIA International Chair) sur un projet concernant l'utilisation d'ASP (Answer Set Programming), un langage de programmation logique puissant, pour faciliter la conception de filtres post-fouille.
This generalization has applications to answer set programming.
Cette généralisation a des applications dans la programmation par ensemble de réponses.
Moreover, available ASP solvers provide several reasoning modes for assessing the multitude of answer sets.
Des solveurs permettent plusieurs modes de raisonnement pour étudier la multitude d'ensembles réponses.
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 2459620. Exact: 8. Verstreken tijd: 470 ms.
