Zum Inhalt springen

Ali, Moonis [Herausgeber:in]; Dapoigny, Richard [Sonstige Person, Familie und Körperschaft] ; International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems 19 2006 Annecy

Advances in applied artificial intelligence : 19th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2006, Annecy, France, June 27 - 30, 2006 ; proceedings

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2006

Erschienen in: Lecture notes in computer science ; 4031
Brézillon, Patrick [Verfasser:in] ; Blackburn, Patrick [Herausgeber:in]; Dapoigny, Richard [Herausgeber:in]

Modeling and Using Context : 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013, Proceedings

Online ansehen
Schließen

Zugang

... zum E-Book via DOI (Volltext)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer, 2013

Erschienen in: Lecture notes in computer science ; 8175
Ali, Moonis [Sonstige Person, Familie und Körperschaft]; Dapoigny, Richard [Sonstige Person, Familie und Körperschaft]

Advances in Applied Artificial Intelligence : 19th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2006, Annecy, France, June 27-30, 2006, Proceedings

Online ansehen
Schließen

Zugang

... zum E-Book via DOI (Volltext)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2006

Erschienen in: Lecture notes in computer science ; 4031
Hafsi, Meriem [Verfasser:in] ; Université Grenoble Alpes (ComUE) [Mitwirkende:r]; Bolon, Philippe [Mitwirkende:r]; Dapoigny, Richard [Mitwirkende:r]

Géo-détection des réseaux enterrés par fusion de données multimodales et raisonnement spatial ; Geodetection of underground networks by means of multimodal data fusion and spatial reasoning

Online ansehen
Schließen

Links

... zur Hochschulschrift

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

theses.fr, 2018-12-18
Barlatier, Patrick; Dapoigny, Richard

A Monadic Second-Order Version of Tarski’s Geometry of Solids

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Uniwersytet Mikolaja Kopernika/Nicolaus Copernicus University, 2023

Erschienen in: Logic and Logical Philosophy (2023), Seite 1-45
Dapoigny, Richard; Barlatier, Patrick

Spatial Information Theory: A Coq-Based Axiomatization of Tarski’s Mereogeometry

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2015

Erschienen in: Spatial Information Theory (2015), Seite 108-129
Dapoigny, Richard; Barlatier, Patrick

Graph-Based Representation and Reasoning: Specifying Well-Formed Part-Whole Relations in Coq

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2014

Erschienen in: Graph-Based Representation and Reasoning (2014), Seite 159-173
Dapoigny, Richard; Barlatier, Patrick

Conceptual Structures for STEM Research and Education: Modeling Ontological Structures with Type Classes in Coq

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2013

Erschienen in: Conceptual Structures for STEM Research and Education (2013), Seite 135-152
Dapoigny, Richard; Barlatier, Patrick

Modeling and Using Context: A Typed Approach for Contextualizing the Part-Whole Relation

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2013

Erschienen in: Modeling and Using Context (2013), Seite 1-14
Dapoigny, Richard; Barlatier, Patrick

Knowledge Science, Engineering and Management: Using a Dependently-Typed Language for Expressing Ontologies

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2011

Erschienen in: Knowledge Science, Engineering and Management (2011), Seite 257-268
Dapoigny, Richard; Barlatier, Patrick

Conceptual Modeling - ER 2009: Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2009

Erschienen in: Conceptual Modeling - ER 2009 (2009), Seite 145-158
Dapoigny, Richard; Barlatier, Patrick

Lecture Notes in Computer Science: Reasoning about Relations with Dependent Types: Application to Context-Aware Applications

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2009

Erschienen in: Lecture Notes in Computer Science (2009), Seite 171-180
Dapoigny, Richard; Barlatier, Patrick

Modeling Contexts with Dependent Types

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

IOS Press, 2010

Erschienen in: Fundamenta Informaticae, 104 (2010) 4, Seite 293-327
Hafsi, Meriem; Bolon, Philippe; Dapoigny, Richard

Detection and localization of underground networks by fusion of electromagnetic signal and GPR images

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

SPIE, 2017

Erschienen in: SPIE Proceedings (2017)
Hafsi, Meriem; Dapoigny, Richard; Bolon, Philippe

Knowledge Science, Engineering and Management: Toward a Type-Theoretical Approach for an Ontologically-Based Detection of Underground Networks

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2015

Erschienen in: Knowledge Science, Engineering and Management (2015), Seite 90-101
Dapoigny, Richard; Benoit, Eric; Foulloy, Laurent

Lecture Notes in Computer Science: Functional Ontology for Intelligent Instruments

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2003

Erschienen in: Lecture Notes in Computer Science (2003), Seite 88-92
Mellal, Nacima; Dapoigny, Richard; Barlatier, Patrick; Foulloy, Laurent

Advances in Applied Artificial Intelligence: Modeling and Multi-agent Specification of IF-Based Distributed Goal Ontologies

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2006

Erschienen in: Advances in Applied Artificial Intelligence (2006), Seite 14-23
Dapoigny, Richard; Barlatier, Patrick; Foulloy, Laurent; Benoit, Eric

Innovations in Applied Artificial Intelligence: Formal Goal Generation for Intelligent Control Systems

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2005

Erschienen in: Innovations in Applied Artificial Intelligence (2005), Seite 712-721
Richard, Maïlys; Pons‐Branchu, Edwige; Valladas, Hélène; Toffolo, Michael B.; Dubernet, Stéphan; Dapoigny, Arnaud; Dumoulin, Jean‐Pascal; Beauvais, Pierre‐Antoine; Monney, Julien

Chronology of Upper Paleolithic human activities recorded in a stalagmite at Points Cave (Aiguèze, Gard, France)

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Wiley, 2024

Erschienen in: Geoarchaeology (2024)

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr