Vertaling van "ASP (Answer Set Programming" in Engels
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
ASP (Answer Set Programming
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).
We will also explore other ways to explore the search space, such as using the logical language ASP (Answer Set Programming). Model selection
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.
Enfin, nous avons exploré le raisonnement du flux RDF dans un contexte d'ontologies exprimés avec un fragment d'ASP (Answer Set Programming).
Finally, we have stepped further to exploratory RDF stream reasoning with a fragment of Answer Set Programming.
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.
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.
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.
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.
Andere resultaten
La sémantique du modèle stable est à la base du langage de programmation déclarative 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).
More precisely, we focus on modeling the response of logical signaling networks by means of automated reasoning using Answer Set Programming (ASP).
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.
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.
Il propose un cadre logique nouveau et modulaire pour représenter et raisonner sur une variété de théories éthiques, sur la base d'une version modifiée du calcul des évènements, implémentée en Answer Set Programming.
It proposes a novel and modular logic-based framework for representing and reasoning over a variety of ethical theories, based on a modified version of the Event Calculus and implemented in Answer Set Programming.
L'interprétation auto-épistémique a été développée en 1988 par Gelfond et Lifschitz, et constitue la base de l'answer set programming.
The autoepistemic interpretation was developed further by Gelfond and Lifschitz and is the basis of answer set programming.
Nous introduisons alors des méthodes logiques originales (développées en Answer Set Programming) pour déchiffrer l'énorme complexité de la dynamique des SB.
Indeed, we focus on developing original and scalable logical methods (implemented in Answer Set Programming) to deciphering the emerging complexity of dynamics of biological systems.
Dans cette thèse, nous proposons un cadre de modélisation raffiné ABAN (Asynchronous Binary Automata Network) et développons des techniques d'analyse d'atteignabilité basées sur ABAN: PermReach (Reachability via Permutation search) et ASPReach (Reachability via Answer Set Programming).
In this thesis, we propose a refined modeling framework ABAN (Asynchronous Binary Automata Network) and develop reachability analysis techniques based on ABAN: PermReach (Reachability via Permutation search) and ASPReach (Reachability via Answer Set Programming).
Pour réaliser cela, ASPeRiX applique un chaînage avant sur les règles à partir de littéraux précédemment déterminés.L'étude de ce solveur nous amène notamment à considérer la notion de justification dans le cadre d'une approche de calcul d'answer sets basée sur les règles.
The study of this solver leads us to consider the concept of justification as part of a rule-based approach for computing answer sets.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
