AbsEn.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « AbsEn.i » - entrée « reasoning »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
reasoners < reasoning < reasonings  Facettes :

List of bibliographic references indexed by reasoning

Number of relevant bibliographic references: 626.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000049 (2016-04) Andrés Aristizábal [Colombie] ; Dariusz Biernacki [Pologne] ; Sergueï Lenglet [France] ; Piotr Polesiuk [Pologne]Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation
000096 (2016-01) Rémi Imbach [France] ; Pascal Mathis [France] ; Pascal Schreck [France]A Robust and Efficient Method for Solving Point Distance Problems by Homotopy
000154 (2016) Raymond Vanholder [Belgique] ; Denis Fouque [France] ; Griet Glorieux [Belgique] ; Gunnar H. Heine [Allemagne] ; Mehmet Kanbay [Turquie] ; Francesca Mallamaci [Italie] ; Ziad A. Massy [France] ; Alberto Ortiz [Espagne] ; Patrick Rossignol [France] ; Andrzej Wiecek [Pologne] ; Carmine Zoccali [Italie] ; Gérard Michel London [France]Clinical management of the uraemic syndrome in chronic kidney disease.
000182 (2015-12-17) Dominique Méry [France] ; Mike Poppleton [Royaume-Uni]Towards An Integrated Formal Method for Verification of Liveness Properties in Distributed Systems
000222 (2015-11-24) Hoang Nam Ho [France] ; Mourad Rabah [France] ; Samuel Nowakowski [France] ; Pascal Estraillier [France]Application of Trace-Based Subjective Logic to User Preferences Modeling
000247 (2015-11-04) Amedeo Napoli [France]Concept Lattices for Knowledge Discovery and Knowledge Engineering
000308 (2015-09-28) Emmanuelle Gaillard [France] ; Jean Lieber [France] ; Emmanuel Nauer [France]Improving Case Retrieval Using Typicality
000346 (2015-09-04) Victor Codocedo-Henriquez [France]Contributions to indexing and retrieval using Formal Concept Analysis
000347 (2015-09-03) Emmanuelle Gaillard [France] ; Jean Lieber [France] ; Emmanuel Nauer [France]How Managing the Knowledge Reliability Improves the Results of a Reasoning Process
000349 (2015-09-02) Aicha-Baya Goumeidane [Algérie] ; Abdessalem Bouzaieni [France] ; Nafaa Nacereddine [Algérie] ; Salvatore Tabbone [France]Bayesian Networks-Based Defects Classes Discrimination in Weld Radiographic Images
000355 (2015-09) Christoph Weidenbach [France]Automated Reasoning Building Blocks
000414 (2015-08-03) Andrew Reynolds [Suisse] ; Jasmin Christian Blanchette [France]A Decision Procedure for (Co)datatypes in SMT Solvers
000423 (2015-08) Paolo Ballarini [Italie] ; Benoît Barbot [France] ; Marie Duflot [France] ; Serge Haddad [France] ; Nihal Pekergin [France]HASL: A new approach for performance evaluation and model checking from concepts to experimentation
000424 (2015-08) Peter Baumgartner [Australie] ; Joshua Bax [Australie] ; Uwe Waldmann [Allemagne]Beagle – A Hierarchic Superposition Prover
000426 (2015-08) Laura Kallmeyer [Allemagne] ; Timm Lichte [Allemagne] ; Rainer Osswald [Allemagne] ; Sylvain Pogodalla [France] ; Christian Wurm [Allemagne]Quantification in Frame Semantics with Hybrid Logic
000434 (2015-07-25) Sergei O. Kuznetsov [Russie] ; Amedeo Napoli [France] ; Sebastian Rudolph [Allemagne]Workshop NotesInternational Workshop ``What can FCA do for Artificial Intelligence?'' (FCA4AI 2015)
000436 (2015-07-25) Martín Barrère [Royaume-Uni] ; Gustavo Betarte [Uruguay] ; Victor Codocedo [France] ; Marcelo Rodríguez [Uruguay] ; Hernán Astudillo [Chili] ; Marcelo Aliquintuy [Chili] ; Javier Baliosian [Uruguay] ; Rémi Badonnel [France] ; Olivier Festor [France] ; Carlos Raniery Paula Dos Santos [Brésil] ; Jéferson Campos Nobre [Brésil] ; Lisandro Zambenedetti Granville [Brésil] ; Amedeo Napoli [France]Machine-assisted Cyber Threat Analysis using Conceptual Knowledge Discovery
000513 (2015-06-01) Amedeo Napoli [France]Exploring Complex and Large Data with Formal Concept Analysis
000550 (2015-05-05) Laurent Ciarletta [France] ; Thomas Gurriet [France]Towards a generic model of adaptative geofencing focused on operationnal issues
000582 (2015-04-14) Jasmin Christian Blanchette [France] ; Andrei Popescu [Royaume-Uni] ; Dmitriy Traytel [Allemagne]Witnessing (Co)datatypes
000861 (2014-12) Dominique Méry [France] ; Neeraj Kumar Singh [Canada]Formal Evaluation of Landing Gear System

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AbsEn.i -k "reasoning" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AbsEn.i  \
                -Sk "reasoning" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    AbsEn.i
   |clé=    reasoning
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022