Descripteur
Termes IGN > informatique > génie logiciel > programmation informatique > programmation en logique
programmation en logiqueVoir aussi |
Documents disponibles dans cette catégorie (8)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Tris disponibles](./images/orderby_az.gif)
Etendre la recherche sur niveau(x) vers le bas
Panorama de l'intelligence artificielle, ses bases méthodologiques, ses développements, 2. Algorithmes pour l'intelligence artificielle / Pierre Marquis (2014)
Titre de série : Panorama de l'intelligence artificielle, ses bases méthodologiques, ses développements, 2 Titre : Algorithmes pour l'intelligence artificielle Type de document : Guide/Manuel Auteurs : Pierre Marquis, Éditeur scientifique ; Odile Papini, Éditeur scientifique ; Henri Prade, Éditeur scientifique ; Alain Colmerauer, Préfacier, etc. Editeur : Toulouse : Cépaduès Année de publication : 2014 Importance : 362 p. Format : 17 x 24 cm ISBN/ISSN/EAN : 978-2-36493-042-1 Langues : Français (fre) Descripteur : [Vedettes matières IGN] Intelligence artificielle
[Termes IGN] algorithme d'apprentissage
[Termes IGN] exploration de données
[Termes IGN] graphe
[Termes IGN] programmation en logiqueIndex. décimale : 26.40 Intelligence artificielle Résumé : Cet ouvrage, organisé en 3 volumes, est issu de la communauté française des chercheurs en intelligence artificielle (IA). Il a pour objectif de dresser un panorama des recherches effectuées en IA allant de travaux fondamentaux aux applications et aux frontières, en mettant l’accent tout autant sur les résultats obtenus que sur les problématiques actuelles. Il s’adresse à un public d’étudiants de master et de doctorat, mais aussi de chercheurs et d’ingénieurs intéressés par ce domaine. Le deuxième volume offre une vue de l’IA, en onze chapitres, sous l’angle des algorithmes. Note de contenu : 1 Recherche heuristiquement ordonnée dans les graphes d’états
2 Jeux et recherche heuristique
3 Déduction automatique
4 Programmation logique
5 Logique propositionnelle et algorithmes autour de SAT
6 Raisonnement par contraintes
7 Réseaux de contraintes valués
8 Modèles graphiques pour l’incertitude : inférence et apprentissage
9 Planification en intelligence artificielle
10 Algorithmique de l’apprentissage et de la fouille de données
11 Méta-heuristiques et intelligence artificielleNuméro de notice : 15822B Affiliation des auteurs : non IGN Thématique : INFORMATIQUE Nature : Manuel Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=74877 Voir aussi
- Panorama de l'intelligence artificielle, ses bases méthodologiques, ses développements, 1. Représentation des connaissances et formalisation des raisonnements / Pierre Marquis (2014)
- Panorama de l'intelligence artificielle, ses bases méthodologiques, ses développements, 3. L'intelligence artificielle : frontières et applications / Pierre Marquis (2014)
Functional description of geoprocessing services as conjunctive datalog queries / D. Fitzner in Geoinformatica, vol 15 n° 1 (January 2011)
![]()
[article]
Titre : Functional description of geoprocessing services as conjunctive datalog queries Type de document : Article/Communication Auteurs : D. Fitzner, Auteur ; J. Hoffmann, Auteur ; E. Klien, Auteur Année de publication : 2011 Article en page(s) : pp 191 - 221 Note générale : Bibliographie Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Géomatique web
[Termes IGN] appariement de données localisées
[Termes IGN] découverte de connaissances
[Termes IGN] programmation en logique
[Termes IGN] requête spatiale
[Termes IGN] service web géographique
[Termes IGN] Web Processing Service
[Termes IGN] web sémantiqueRésumé : (Auteur) Discovery of suitable web services is a crucial task in Spatial Data Infrastructures (SDI). In this work, we develop a novel approach to the discovery of geoprocessing services (WPS). Discovery requests and Web Processing Services are annotated as conjunctive queries in a logic programming (LP) language and the discovery process is based on Logic Programming query containment checking between these descriptions. Besides the types of input and output, we explicitly formalise the relation between them and hence are able to capture the functionality of a WPS more precisely. The use of Logic Programming query containment allows for effective reasoning during discovery. Furthermore, the relative simplicity of the semantic descriptions is advantageous for their creation by non-logics experts. The developed approach is applicable in the Web Service Modeling Framework (WSMF), a state-of-the-art semantic web service framework. Numéro de notice : A2011-033 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE Nature : Article DOI : 10.1007/s10707-009-0093-4 Date de publication en ligne : 09/10/2009 En ligne : https://doi.org/10.1007/s10707-009-0093-4 Format de la ressource électronique : URL article Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=30814
in Geoinformatica > vol 15 n° 1 (January 2011) . - pp 191 - 221[article]Exemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 057-2011011 RAB Revue Centre de documentation En réserve L003 Disponible Reconciliation of temporal heterogeneity in evolving information systems / H. Zhu in Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI, vol 14 n° 6 (novembre - décembre 2009)
[article]
Titre : Reconciliation of temporal heterogeneity in evolving information systems Type de document : Article/Communication Auteurs : H. Zhu, Auteur ; S. Madnick, Auteur Année de publication : 2009 Article en page(s) : pp 59 - 74 Note générale : Bibliographie Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Systèmes d'information
[Termes IGN] hétérogénéité sémantique
[Termes IGN] ontologie
[Termes IGN] prise en compte du contexte
[Termes IGN] programmation en logique
[Termes IGN] SIG temporelRésumé : (Auteur) The change in meaning of data over time poses significant challenges for the use of that data. These challenges exist in the use of an individual data source and are further compounded with the integration of multiple sources. In this paper, we identify three types of temporal semantic heterogeneity. We propose a solution based on extensions to the Context Interchange framework, which has mechanisms for capturing semantics using ontology and temporal context. It also provides a mediation service that automatically reconciles semantic conflicts. We show the feasibility of this approach with a prototype that implements a subset of the proposed extensions. Numéro de notice : A2009-466 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE/INFORMATIQUE/SOCIETE NUMERIQUE Nature : Article DOI : sans Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=74871
in Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI > vol 14 n° 6 (novembre - décembre 2009) . - pp 59 - 74[article]Exemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 093-09061 SL Revue Centre de documentation Revues en salle Disponible Integrating knowledge representation and reasoning in geographical information systems / P. Mancarella in International journal of geographical information science IJGIS, vol 18 n° 4 (june 2004)
![]()
[article]
Titre : Integrating knowledge representation and reasoning in geographical information systems Type de document : Article/Communication Auteurs : P. Mancarella, Auteur ; A. Raffaeta, Auteur ; C. Renso, Auteur ; F. Turini, Auteur Année de publication : 2004 Article en page(s) : pp 417 - 446 Note générale : Bibliographie Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Systèmes d'information géographique
[Termes IGN] analyse spatio-temporelle
[Termes IGN] langage de programmation
[Termes IGN] moteur d'inférence
[Termes IGN] MUTACLP+
[Termes IGN] programmation en logique
[Termes IGN] programmation par contraintes
[Termes IGN] raisonnement spatiotemporel
[Termes IGN] représentation des connaissancesRésumé : (Auteur) We propose a formalism and a programming environment in which sophisticated spatio-temporal reasoning can be performed, while keeping the capabilities of manipulating and presenting large amounts of geographical data, typical of commercial Geographical Information Systems (GISs). The spatiotemporal knowledge representation language, named MuTACLP+, is based on constraint logic programming and is integrated via a middleware of commands and translation features with a commercial GIS. The paper presents the language, the architecture of the environment, and a few examples of its use in the field of event planning. Numéro de notice : A2004-210 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE/INFORMATIQUE Nature : Article DOI : 10.1080/13658810410001672908 En ligne : https://doi.org/10.1080/13658810410001672908 Format de la ressource électronique : URL article Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=26737
in International journal of geographical information science IJGIS > vol 18 n° 4 (june 2004) . - pp 417 - 446[article]Exemplaires(2)
Code-barres Cote Support Localisation Section Disponibilité 079-04041 RAB Revue Centre de documentation En réserve L003 Disponible 079-04042 RAB Revue Centre de documentation En réserve L003 Disponible AFCET 93 Versailles, 1er Congrès Biennal de l'Association Française des Sciences et Technologies de l'Information et des Systèmes, 9. Vol 9, Langages de programmation et Génie logiciel / Association française pour la cybernétique économique et technique (1993)
Exemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 61528-01I CG.93 Livre Centre de documentation Congrès Disponible IJCAI-93, proceedings of the 13th International Joint Conference on Artificial Intelligence, Chambéry, Savoie, France, 28 August - 3 September 1993, 2. Proceedings / Ruzena Bajcsy (1993)
PermalinkPermalinkProceedings of the Second International Workshop on Database Programming languages, 4-8 June, 1989, Salishan Lodge, Gleneden Beach, Oregon / Richard Hull (1990)
Permalink