Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:(Logique de description). Showing records 1 – 8 of 8 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters

1. Rantsoudis, Christos. Bases de connaissance et actions de mise à jour préférées : à la recherche de consistance au travers des programmes de la logique dynamique : Knowledge Bases and Preferred Update Actions : Searching for Consistency through Dynamic Logic Programs.

Degree: Docteur es, Informatique et Télécommunications, 2018, Université Toulouse III – Paul Sabatier

Dans la littérature sur les bases de données, il a été proposé d'utiliser des contraintes d'intégrité actives afin de restaurer l'intégrité de la base. Ces… (more)

Subjects/Keywords: Contraintes d'intégrité active; Logique dynamique; Logique de description; Gestion de l'inconsistance; Réparation de bases de données; Active Integrity Constraints; Dynamic Logic; Description Logic; Inconsistency Management; Database Repairing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Rantsoudis, C. (2018). Bases de connaissance et actions de mise à jour préférées : à la recherche de consistance au travers des programmes de la logique dynamique : Knowledge Bases and Preferred Update Actions : Searching for Consistency through Dynamic Logic Programs. (Doctoral Dissertation). Université Toulouse III – Paul Sabatier. Retrieved from http://www.theses.fr/2018TOU30286

Chicago Manual of Style (16th Edition):

Rantsoudis, Christos. “Bases de connaissance et actions de mise à jour préférées : à la recherche de consistance au travers des programmes de la logique dynamique : Knowledge Bases and Preferred Update Actions : Searching for Consistency through Dynamic Logic Programs.” 2018. Doctoral Dissertation, Université Toulouse III – Paul Sabatier. Accessed August 11, 2020. http://www.theses.fr/2018TOU30286.

MLA Handbook (7th Edition):

Rantsoudis, Christos. “Bases de connaissance et actions de mise à jour préférées : à la recherche de consistance au travers des programmes de la logique dynamique : Knowledge Bases and Preferred Update Actions : Searching for Consistency through Dynamic Logic Programs.” 2018. Web. 11 Aug 2020.

Vancouver:

Rantsoudis C. Bases de connaissance et actions de mise à jour préférées : à la recherche de consistance au travers des programmes de la logique dynamique : Knowledge Bases and Preferred Update Actions : Searching for Consistency through Dynamic Logic Programs. [Internet] [Doctoral dissertation]. Université Toulouse III – Paul Sabatier; 2018. [cited 2020 Aug 11]. Available from: http://www.theses.fr/2018TOU30286.

Council of Science Editors:

Rantsoudis C. Bases de connaissance et actions de mise à jour préférées : à la recherche de consistance au travers des programmes de la logique dynamique : Knowledge Bases and Preferred Update Actions : Searching for Consistency through Dynamic Logic Programs. [Doctoral Dissertation]. Université Toulouse III – Paul Sabatier; 2018. Available from: http://www.theses.fr/2018TOU30286

2. Chen, Jieying. Knowledge Extraction from Description Logic Terminologies : Extraction de connaissances à partir de terminologies en logique de description.

Degree: Docteur es, Informatique, 2018, Université Paris-Saclay (ComUE)

Un nombre croissant d'ontologies de grandes tailles ont été développées et mises à disposition dans des référentiels tels que le NCBO Bioportal. L'accès aux connaissances… (more)

Subjects/Keywords: Modularité d'ontologies; Logique de description; Représentation et raisonnement des connaissances; Web sémantique; Différence logique; Ontology modularity; Description logics; Knowledge representation and reasoning; Semantic web; Logical difference

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Chen, J. (2018). Knowledge Extraction from Description Logic Terminologies : Extraction de connaissances à partir de terminologies en logique de description. (Doctoral Dissertation). Université Paris-Saclay (ComUE). Retrieved from http://www.theses.fr/2018SACLS531

Chicago Manual of Style (16th Edition):

Chen, Jieying. “Knowledge Extraction from Description Logic Terminologies : Extraction de connaissances à partir de terminologies en logique de description.” 2018. Doctoral Dissertation, Université Paris-Saclay (ComUE). Accessed August 11, 2020. http://www.theses.fr/2018SACLS531.

MLA Handbook (7th Edition):

Chen, Jieying. “Knowledge Extraction from Description Logic Terminologies : Extraction de connaissances à partir de terminologies en logique de description.” 2018. Web. 11 Aug 2020.

Vancouver:

Chen J. Knowledge Extraction from Description Logic Terminologies : Extraction de connaissances à partir de terminologies en logique de description. [Internet] [Doctoral dissertation]. Université Paris-Saclay (ComUE); 2018. [cited 2020 Aug 11]. Available from: http://www.theses.fr/2018SACLS531.

Council of Science Editors:

Chen J. Knowledge Extraction from Description Logic Terminologies : Extraction de connaissances à partir de terminologies en logique de description. [Doctoral Dissertation]. Université Paris-Saclay (ComUE); 2018. Available from: http://www.theses.fr/2018SACLS531

3. Yahi-mechouche, Safa. Raisonnement en présence d'incohérence : de la compilation de bases de croyances stratifiées à l'inférence à partir de bases de croyances partiellement pré-ordonnées : Reasoning under inconsistency : from the compilation of stratified belief bases to reasoningfrom partially preordered belief bases.

Degree: Docteur es, Informatique, 2009, Artois; Ecole nationale supérieure d'informatique

Nous nous intéressons dans cette thèse aux approches basées sur la restauration de la cohérence à partir de bases de croyances stratifiées ainsi qu'à partir… (more)

Subjects/Keywords: Raisonnement en présence d'incohérence; Compilation; Logiques de description; Détection d'intrusions; Logique possibiliste; Inférence lexicographique; Inférence linéaire; Complexité; Prudence; Propriétés logiques

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Yahi-mechouche, S. (2009). Raisonnement en présence d'incohérence : de la compilation de bases de croyances stratifiées à l'inférence à partir de bases de croyances partiellement pré-ordonnées : Reasoning under inconsistency : from the compilation of stratified belief bases to reasoningfrom partially preordered belief bases. (Doctoral Dissertation). Artois; Ecole nationale supérieure d'informatique. Retrieved from http://www.theses.fr/2009ARTO0409

Chicago Manual of Style (16th Edition):

Yahi-mechouche, Safa. “Raisonnement en présence d'incohérence : de la compilation de bases de croyances stratifiées à l'inférence à partir de bases de croyances partiellement pré-ordonnées : Reasoning under inconsistency : from the compilation of stratified belief bases to reasoningfrom partially preordered belief bases.” 2009. Doctoral Dissertation, Artois; Ecole nationale supérieure d'informatique. Accessed August 11, 2020. http://www.theses.fr/2009ARTO0409.

MLA Handbook (7th Edition):

Yahi-mechouche, Safa. “Raisonnement en présence d'incohérence : de la compilation de bases de croyances stratifiées à l'inférence à partir de bases de croyances partiellement pré-ordonnées : Reasoning under inconsistency : from the compilation of stratified belief bases to reasoningfrom partially preordered belief bases.” 2009. Web. 11 Aug 2020.

Vancouver:

Yahi-mechouche S. Raisonnement en présence d'incohérence : de la compilation de bases de croyances stratifiées à l'inférence à partir de bases de croyances partiellement pré-ordonnées : Reasoning under inconsistency : from the compilation of stratified belief bases to reasoningfrom partially preordered belief bases. [Internet] [Doctoral dissertation]. Artois; Ecole nationale supérieure d'informatique; 2009. [cited 2020 Aug 11]. Available from: http://www.theses.fr/2009ARTO0409.

Council of Science Editors:

Yahi-mechouche S. Raisonnement en présence d'incohérence : de la compilation de bases de croyances stratifiées à l'inférence à partir de bases de croyances partiellement pré-ordonnées : Reasoning under inconsistency : from the compilation of stratified belief bases to reasoningfrom partially preordered belief bases. [Doctoral Dissertation]. Artois; Ecole nationale supérieure d'informatique; 2009. Available from: http://www.theses.fr/2009ARTO0409

4. Hendi, Hayder. Ontologies et web sémantique pour une construction évolutive d'applications dédiées à la logistique : Ontologies and semantic web for an evolutive development of logistic applications.

Degree: Docteur es, Informatique. Web sémantique, 2017, Littoral

Le domaine de la logistique implique souvent la résolution de problèmes combinatoires complexes. Ces derniers font également implicitement référence à des processus, acteurs, activités et… (more)

Subjects/Keywords: Web sémantique; Ontologie; Logistique; Optimisation; Web services; Owl; Description logique; Problème d'acheminement de véhicule; Problème de train de passagers; Problème de terminal de container; Semantic web; Ontology; Logistic; Optimization; Web services; Owl; Logic description; Vehicle routing problem; Passenger train problem; Container terminal problem

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Hendi, H. (2017). Ontologies et web sémantique pour une construction évolutive d'applications dédiées à la logistique : Ontologies and semantic web for an evolutive development of logistic applications. (Doctoral Dissertation). Littoral. Retrieved from http://www.theses.fr/2017DUNK0462

Chicago Manual of Style (16th Edition):

Hendi, Hayder. “Ontologies et web sémantique pour une construction évolutive d'applications dédiées à la logistique : Ontologies and semantic web for an evolutive development of logistic applications.” 2017. Doctoral Dissertation, Littoral. Accessed August 11, 2020. http://www.theses.fr/2017DUNK0462.

MLA Handbook (7th Edition):

Hendi, Hayder. “Ontologies et web sémantique pour une construction évolutive d'applications dédiées à la logistique : Ontologies and semantic web for an evolutive development of logistic applications.” 2017. Web. 11 Aug 2020.

Vancouver:

Hendi H. Ontologies et web sémantique pour une construction évolutive d'applications dédiées à la logistique : Ontologies and semantic web for an evolutive development of logistic applications. [Internet] [Doctoral dissertation]. Littoral; 2017. [cited 2020 Aug 11]. Available from: http://www.theses.fr/2017DUNK0462.

Council of Science Editors:

Hendi H. Ontologies et web sémantique pour une construction évolutive d'applications dédiées à la logistique : Ontologies and semantic web for an evolutive development of logistic applications. [Doctoral Dissertation]. Littoral; 2017. Available from: http://www.theses.fr/2017DUNK0462

5. Ferrere, Thomas. Assertions and measurements for mixed-signal simulation : Assertions et mesures pour la simulation en signaux mixtes.

Degree: Docteur es, Mathématiques et Informatique, 2016, Université Grenoble Alpes (ComUE)

Cette thèse porte sur le monitorage des simulations de circuits en signaux mixtes. Dans le domaine de la vérification de matériel, l'utilisation de formalismes déclaratifs… (more)

Subjects/Keywords: Assertions; Hybride; Conception electronique assistée par ordinateur; Logique temporelle; Langages de spécification matériel; Simulation numerique; Assertions; Mixed signals; Electronic design automation; Temporal logic; Hardware description languages; Numerical simulation; 004; 629

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ferrere, T. (2016). Assertions and measurements for mixed-signal simulation : Assertions et mesures pour la simulation en signaux mixtes. (Doctoral Dissertation). Université Grenoble Alpes (ComUE). Retrieved from http://www.theses.fr/2016GREAM050

Chicago Manual of Style (16th Edition):

Ferrere, Thomas. “Assertions and measurements for mixed-signal simulation : Assertions et mesures pour la simulation en signaux mixtes.” 2016. Doctoral Dissertation, Université Grenoble Alpes (ComUE). Accessed August 11, 2020. http://www.theses.fr/2016GREAM050.

MLA Handbook (7th Edition):

Ferrere, Thomas. “Assertions and measurements for mixed-signal simulation : Assertions et mesures pour la simulation en signaux mixtes.” 2016. Web. 11 Aug 2020.

Vancouver:

Ferrere T. Assertions and measurements for mixed-signal simulation : Assertions et mesures pour la simulation en signaux mixtes. [Internet] [Doctoral dissertation]. Université Grenoble Alpes (ComUE); 2016. [cited 2020 Aug 11]. Available from: http://www.theses.fr/2016GREAM050.

Council of Science Editors:

Ferrere T. Assertions and measurements for mixed-signal simulation : Assertions et mesures pour la simulation en signaux mixtes. [Doctoral Dissertation]. Université Grenoble Alpes (ComUE); 2016. Available from: http://www.theses.fr/2016GREAM050

6. Tran, Duc Minh. Découverte de règles d'association multi-relationnelles à partir de bases de connaissances ontologiques pour l'enrichissement d'ontologies : Discovering multi-relational association rules from ontological knowledge bases to enrich ontologies.

Degree: Docteur es, Informatique, 2018, Université Côte d'Azur (ComUE); Université de Danang (Vietnam)

Dans le contexte du Web sémantique, les ontologies OWL représentent des connaissances explicites sur un domaine sur la base d'une conceptualisation des domaines d'intérêt, tandis… (more)

Subjects/Keywords: Web sémantique; Ontologie; OWL; SWRL; RDF; Exploration de données; Algorithmes évolutionnaires; Logique de description; Découverte de modèle; Semantic web; Ontology; OWL; SWRL; RDF; Data mining; Evolutionary algorithms; Description logics; Pattern discovery

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Tran, D. M. (2018). Découverte de règles d'association multi-relationnelles à partir de bases de connaissances ontologiques pour l'enrichissement d'ontologies : Discovering multi-relational association rules from ontological knowledge bases to enrich ontologies. (Doctoral Dissertation). Université Côte d'Azur (ComUE); Université de Danang (Vietnam). Retrieved from http://www.theses.fr/2018AZUR4041

Chicago Manual of Style (16th Edition):

Tran, Duc Minh. “Découverte de règles d'association multi-relationnelles à partir de bases de connaissances ontologiques pour l'enrichissement d'ontologies : Discovering multi-relational association rules from ontological knowledge bases to enrich ontologies.” 2018. Doctoral Dissertation, Université Côte d'Azur (ComUE); Université de Danang (Vietnam). Accessed August 11, 2020. http://www.theses.fr/2018AZUR4041.

MLA Handbook (7th Edition):

Tran, Duc Minh. “Découverte de règles d'association multi-relationnelles à partir de bases de connaissances ontologiques pour l'enrichissement d'ontologies : Discovering multi-relational association rules from ontological knowledge bases to enrich ontologies.” 2018. Web. 11 Aug 2020.

Vancouver:

Tran DM. Découverte de règles d'association multi-relationnelles à partir de bases de connaissances ontologiques pour l'enrichissement d'ontologies : Discovering multi-relational association rules from ontological knowledge bases to enrich ontologies. [Internet] [Doctoral dissertation]. Université Côte d'Azur (ComUE); Université de Danang (Vietnam); 2018. [cited 2020 Aug 11]. Available from: http://www.theses.fr/2018AZUR4041.

Council of Science Editors:

Tran DM. Découverte de règles d'association multi-relationnelles à partir de bases de connaissances ontologiques pour l'enrichissement d'ontologies : Discovering multi-relational association rules from ontological knowledge bases to enrich ontologies. [Doctoral Dissertation]. Université Côte d'Azur (ComUE); Université de Danang (Vietnam); 2018. Available from: http://www.theses.fr/2018AZUR4041

7. Bouyahia, Tarek. Metrics for security activities assisted by argumentative logic : Métriques pour le déclenchement des évènements de sécurité assistées par la logique argumentative.

Degree: Docteur es, Informatique, 2017, Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire

L'accroissement et la diversification des services offerts par les systèmes informatiques modernes rendent la tâche de sécuriser ces systèmes encore plus complexe. D'une part, l'évolution… (more)

Subjects/Keywords: Logique argumentative; Réponses à l'intrusion; Sélection des contre-Mesures; Multi-Criteria Decision Making; Systèmes véhiculaire; Airs; Langage de Description d'Attaque; Anti-Corrélation; Argumentative logic; Intrusion response; Countermeasures selection; Multi-Criteria Decision Making; Automotive system; Airs; Attack description language; Anti-Correlation.; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bouyahia, T. (2017). Metrics for security activities assisted by argumentative logic : Métriques pour le déclenchement des évènements de sécurité assistées par la logique argumentative. (Doctoral Dissertation). Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire. Retrieved from http://www.theses.fr/2017IMTA0013

Chicago Manual of Style (16th Edition):

Bouyahia, Tarek. “Metrics for security activities assisted by argumentative logic : Métriques pour le déclenchement des évènements de sécurité assistées par la logique argumentative.” 2017. Doctoral Dissertation, Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire. Accessed August 11, 2020. http://www.theses.fr/2017IMTA0013.

MLA Handbook (7th Edition):

Bouyahia, Tarek. “Metrics for security activities assisted by argumentative logic : Métriques pour le déclenchement des évènements de sécurité assistées par la logique argumentative.” 2017. Web. 11 Aug 2020.

Vancouver:

Bouyahia T. Metrics for security activities assisted by argumentative logic : Métriques pour le déclenchement des évènements de sécurité assistées par la logique argumentative. [Internet] [Doctoral dissertation]. Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire; 2017. [cited 2020 Aug 11]. Available from: http://www.theses.fr/2017IMTA0013.

Council of Science Editors:

Bouyahia T. Metrics for security activities assisted by argumentative logic : Métriques pour le déclenchement des évènements de sécurité assistées par la logique argumentative. [Doctoral Dissertation]. Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire; 2017. Available from: http://www.theses.fr/2017IMTA0013

8. Niang, Cheikh Ahmed Tidiane. Vers plus d'automatisation dans la construction de systèmes mediateurs pour le web semantique : une application des logiques de description : Towards more automation in building mediator systems in the semantic web context : a description logic application.

Degree: Docteur es, Informatique, 2013, Tours; Université de Saint-Louis (Sénégal)

Les travaux que nous présentons dans cette thèse concernent l’automatisation de la construction de systèmes médiateurs pour le web sémantique. L’intégration de données de manière… (more)

Subjects/Keywords: Web sémantique; Ontologies; Ontologies de référence; Intégration de données; Systèmes de médiation; Ontology-Based Data Access (OBDA); Schéma global; Logique de description; Automatisation; Construction incrémentale; Semantic web; Ontologies; Domain-reference ontologies; Data integration; Semantic mediator systems; Ontology-Based Data Access (OBDA); Global schema; Description Logic; Automation; Incremental building process

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Niang, C. A. T. (2013). Vers plus d'automatisation dans la construction de systèmes mediateurs pour le web semantique : une application des logiques de description : Towards more automation in building mediator systems in the semantic web context : a description logic application. (Doctoral Dissertation). Tours; Université de Saint-Louis (Sénégal). Retrieved from http://www.theses.fr/2013TOUR4020

Chicago Manual of Style (16th Edition):

Niang, Cheikh Ahmed Tidiane. “Vers plus d'automatisation dans la construction de systèmes mediateurs pour le web semantique : une application des logiques de description : Towards more automation in building mediator systems in the semantic web context : a description logic application.” 2013. Doctoral Dissertation, Tours; Université de Saint-Louis (Sénégal). Accessed August 11, 2020. http://www.theses.fr/2013TOUR4020.

MLA Handbook (7th Edition):

Niang, Cheikh Ahmed Tidiane. “Vers plus d'automatisation dans la construction de systèmes mediateurs pour le web semantique : une application des logiques de description : Towards more automation in building mediator systems in the semantic web context : a description logic application.” 2013. Web. 11 Aug 2020.

Vancouver:

Niang CAT. Vers plus d'automatisation dans la construction de systèmes mediateurs pour le web semantique : une application des logiques de description : Towards more automation in building mediator systems in the semantic web context : a description logic application. [Internet] [Doctoral dissertation]. Tours; Université de Saint-Louis (Sénégal); 2013. [cited 2020 Aug 11]. Available from: http://www.theses.fr/2013TOUR4020.

Council of Science Editors:

Niang CAT. Vers plus d'automatisation dans la construction de systèmes mediateurs pour le web semantique : une application des logiques de description : Towards more automation in building mediator systems in the semantic web context : a description logic application. [Doctoral Dissertation]. Tours; Université de Saint-Louis (Sénégal); 2013. Available from: http://www.theses.fr/2013TOUR4020

.