Zobrazeno 1 - 10
of 16
pro vyhledávání: '"Logique des prédicats"'
Publikováno v:
9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning-LPAR'2002
9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning-LPAR'2002, Oct 2002, Tbilisi, Georgia. pp.130-144
Scopus-Elsevier
Logic for Programming, Artificial Intelligence, and Reasoning ISBN: 9783540000105
LPAR
9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning-LPAR'2002, Oct 2002, Tbilisi, Georgia. pp.130-144
Scopus-Elsevier
Logic for Programming, Artificial Intelligence, and Reasoning ISBN: 9783540000105
LPAR
We define an extension of predicate logic, called Binding Logic, where variables can be bound in terms and in propositions. We introduce a notion of model for this logic and prove a soundness and completeness theorem for it. This theorem is obtained
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4a5188fc8644addb6ae628c41a56d898
Autor:
Wieczorek, Samuel
L'identification de molécules bio-actives est un problème majeur pour la recherche thérapeutique et la recherche en biologie. La découverte de ces molécules repose largement sur le criblage de très grandes collections de molécules mais qui res
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00406361
http://tel.archives-ouvertes.fr/docs/00/40/63/61/PDF/thesis_SW.pdf
http://tel.archives-ouvertes.fr/docs/00/40/63/61/PDF/thesis_SW.pdf
Autor:
Wieczorek, Samuel
Publikováno v:
Informatique [cs]. Université Joseph-Fourier-Grenoble I, 2009. Français
The identification of bioactive molecules is a major problem in biology and medicinal chemistry. The discovery of such molecules is mainly based on the screening of large chemical libraries, that are small regarding the size of the chemical space. In
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______212::b26fd5a60b05fc8801d223049989707f
https://tel.archives-ouvertes.fr/tel-00406361/file/thesis_SW.pdf
https://tel.archives-ouvertes.fr/tel-00406361/file/thesis_SW.pdf
Autor:
Vassiliev, Pavel
Dans cette thèse nous proposons un modèle temporel dans le cadre des machines à états abstraits (ASM). Une extension du langage de spécification ASM est développé qui correspond à ce modéle temporel pour le temps continu. L'extension du lang
Externí odkaz:
http://www.theses.fr/2008PEST0050/document
Autor:
Carloni, Olivier
Le travail de thèse présenté dans ce document porte sur la conception d'un service de validation et d'enrichissement d'annotations pour un outil industriel de gestion des connaissances basé sur le langage des Topic Maps (TM). Un tel service néce
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00387017
http://tel.archives-ouvertes.fr/docs/00/38/70/17/PDF/These-Olivier-Carloni.pdf
http://tel.archives-ouvertes.fr/docs/00/38/70/17/PDF/These-Olivier-Carloni.pdf
Autor:
Carloni, Olivier
Publikováno v:
Génie logiciel [cs.SE]. Université Montpellier II-Sciences et Techniques du Languedoc, 2008. Français
This thesis deals with the design of an annotation validation and enrichment service for an industrial knowledge management tool based on the Topic Maps language (TM). As such a service needs reasoning capabilities on knowledge, one part of the work
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______212::e99249e4f73b0f825b0795445f6ce300
https://tel.archives-ouvertes.fr/tel-00387017/document
https://tel.archives-ouvertes.fr/tel-00387017/document
Autor:
Meyer, Gautier
La formalisation du principe de rationalité dans la plupart des modèles d'agent permet rarement de spécifier complètement les réactions du système. C'est pourquoi nous considérons dans cette thèse l'introduction d'une phase de décision expli
Autor:
Meyer, Gautier
Publikováno v:
Interface homme-machine [cs.HC]. Université Paris Sud-Paris XI, 2006. Français
The formalisation of the rational principle in most agent models seldom allows specifying completely the system reactions. That is why, in this thesis we consider the introduction of an explicit decision phase in those models. More precisely, we prop
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______212::7d16505ceed0cc83d6e3e0d5c1000a70
https://tel.archives-ouvertes.fr/tel-00321676
https://tel.archives-ouvertes.fr/tel-00321676
Autor:
Chaumartin, François-Régis
Publikováno v:
Verbum ex machina-Actes de la 13e conférence sur le traitement automatique des langues naturelles
RECITAL
RECITAL, 2006, Leuven, Belgique. pp. 729-735
RECITAL
RECITAL, 2006, Leuven, Belgique. pp. 729-735
We describe here a manner to transform a syntactic structure (generated by a syntactic parser of English) into a semantic form (in the form of predicates). We then show that the construction of such an interface can be automated. Our approach is base
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d4ea6940ed25177393cbf5942f5fc0c1
https://hal.archives-ouvertes.fr/hal-00611239
https://hal.archives-ouvertes.fr/hal-00611239
Publikováno v:
Actes 4ème Conférence Francophone autour des Composants Logiciels, Le Croisic du 6 au 8 Avril 2005
4ème Conférence Francophone autour des Composants Logiciels, Le Croisic du 6 au 8 Avril 2005
4ème Conférence Francophone autour des Composants Logiciels, Le Croisic du 6 au 8 Avril 2005, Apr 2005, Le Croisic, France. pp.57-68
4ème Conférence Francophone autour des Composants Logiciels, Le Croisic du 6 au 8 Avril 2005
4ème Conférence Francophone autour des Composants Logiciels, Le Croisic du 6 au 8 Avril 2005, Apr 2005, Le Croisic, France. pp.57-68
International audience; Le développement constant des systèmes informatiques et réseaux ambiants rend leur construction de plus en plus complexe. La diversité des équipements utilisés concerne aussi bien les terminaux d'accès que les infrastru
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::60c4ba2dc3e876486783b449e25a4ed4
https://hal.archives-ouvertes.fr/hal-02062075
https://hal.archives-ouvertes.fr/hal-02062075