Search results for "Logic in computer science"

showing 10 items of 129 documents

Extraction de la Valeur des données du Big Data par classification multi-label hiérarchique sémantique

2015

International audience; Cet article présente une solution centrée sur les ontologies pour la classification multi-label automatique d’information nécessaire à un système de recommandation d’informations économiques.

[INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI][ INFO.INFO-IR ] Computer Science [cs]/Information Retrieval [cs.IR][ INFO.INFO-TT ] Computer Science [cs]/Document and Text Processingsystème de recommandation[INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO][INFO.INFO-WB] Computer Science [cs]/Web[INFO.INFO-WB]Computer Science [cs]/Web[ INFO.INFO-WB ] Computer Science [cs]/Web[INFO.INFO-TT] Computer Science [cs]/Document and Text ProcessingOntologie[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO][INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI][INFO.INFO-TT]Computer Science [cs]/Document and Text Processing[INFO.INFO-IR]Computer Science [cs]/Information Retrieval [cs.IR][ INFO.INFO-LO ] Computer Science [cs]/Logic in Computer Science [cs.LO][INFO.INFO-IR] Computer Science [cs]/Information Retrieval [cs.IR][ INFO.INFO-AI ] Computer Science [cs]/Artificial Intelligence [cs.AI]
researchProduct

Semantic and Multi-scale BIM/CIM/LIM

2019

Compliance checking for building models, cities and territories involve formalizing a set of model schema knowledge and constraint. The objective of our study is to propose: an information model to federate heterogeneous data sources describing an urban area (building and building environment) along with a method for formally specifying of urban rules. The overall goal we pursue is to be able to query and to verify data against different regulations and/or requirements. The purpose of this article is to describe our approach for interoperability among different data sources (e.g. IFC, CityGML) thus creating a consistent description of an urban area.

[INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI][INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO]FédérationSemantic interoperabilityCityGML[INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS]GISSIGInteropérabilité sémantique[INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL][SPI.GCIV] Engineering Sciences [physics]/Civil EngineeringBIMIFCCIMFederation BIM
researchProduct

An Essay on Denotational Mathematics

2019

Denotational mathematics is a new rigorous discipline of theoretical computer science that springs out from the attempt to provide a suitable mathematical framework in which laid out new algebraic structures formalizing certain formal patterns coming from computational and natural intelligence, software science, cognitive informatics, neuronal networks, and artificial intelligence. In this chapter, a very brief but rigorous exposition of the main formal structures of denotational mathematics is outlined within naive set theory.

[INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI][INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO][INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]02 engineering and technology[INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM][MATH.MATH-CT] Mathematics [math]/Category Theory [math.CT][INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI][INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM]020204 information systems0202 electrical engineering electronic engineering information engineeringMathematics education020201 artificial intelligence & image processing[INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC][INFO.INFO-HC] Computer Science [cs]/Human-Computer Interaction [cs.HC]ComputingMilieux_MISCELLANEOUS[MATH.MATH-CT]Mathematics [math]/Category Theory [math.CT]Mathematics
researchProduct

Approche sémantique pour la recommandation de documents textuels dans un contexte Big Data appliquée à la veille économique

2015

11H30-13H00 Conférencier invité Christophe Cruz (Le2i, Université de Bourgogne) : « Approche sémantique pour la recommandation de documents textuels dans un contexte Big Data appliquée à la veille économique » (Présidence de session : Eric Kergosien)

[INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI][INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO][INFO.INFO-WB] Computer Science [cs]/WebOntologie[INFO.INFO-TT] Computer Science [cs]/Document and Text Processing[INFO.INFO-IR] Computer Science [cs]/Information Retrieval [cs.IR]inférencedonnées massivestexte
researchProduct

From Text to Knowledge and Knowledge to Text.

2015

[INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI][INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO][INFO.INFO-WB] Computer Science [cs]/WebOntology[INFO.INFO-TT] Computer Science [cs]/Document and Text Processing[INFO.INFO-IR] Computer Science [cs]/Information Retrieval [cs.IR]GIS
researchProduct

Système de recommandation sémantique de news économiques pour la veille

2014

[INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI][INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO][INFO.INFO-WB] Computer Science [cs]/Web[INFO.INFO-TT] Computer Science [cs]/Document and Text Processing[INFO.INFO-IR] Computer Science [cs]/Information Retrieval [cs.IR]
researchProduct

Approche ontologique pour l'analyse de données spatiales, Journée Scientifique Pluridisciplinaire, Traitements Statistiques des Données Spatiales

2014

[INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI][INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO][INFO.INFO-WB] Computer Science [cs]/Web[INFO.INFO-TT] Computer Science [cs]/Document and Text Processing[INFO.INFO-IR] Computer Science [cs]/Information Retrieval [cs.IR]
researchProduct

HIGEOMES : bilan et perspectives

2014

[INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI][INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO][INFO.INFO-WB] Computer Science [cs]/Web[INFO.INFO-TT] Computer Science [cs]/Document and Text Processing[INFO.INFO-IR] Computer Science [cs]/Information Retrieval [cs.IR]
researchProduct

Usage de la sémantique : des services de catalogue à l’analyse des phénomènes dynamiques

2014

[INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI][INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO][INFO.INFO-WB] Computer Science [cs]/Web[INFO.INFO-TT] Computer Science [cs]/Document and Text Processing[INFO.INFO-IR] Computer Science [cs]/Information Retrieval [cs.IR]
researchProduct

Proceedings of the 8th Linked Data in Architecture and Construction Workshop (LDAC2020)

2020

International audience

[INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI][SPI.GCIV]Engineering Sciences [physics]/Civil Engineering[INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO][INFO.INFO-CE]Computer Science [cs]/Computational Engineering Finance and Science [cs.CE][INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO][SPI.GCIV] Engineering Sciences [physics]/Civil Engineering[INFO.INFO-CE] Computer Science [cs]/Computational Engineering Finance and Science [cs.CE]ComputingMilieux_MISCELLANEOUS[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
researchProduct