Serveur d'exploration sur SGML - Exploration (Accueil)

Index « Titre (en) » - entrée « logic »
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.
locus < logic < logical  Facettes :

List of bibliographic references indexed by logic

Number of relevant bibliographic references: 15.
Ident.Authors (with country if any)Title
000091 (2011) Jesus M. Almendros-Jiménez [Espagne] ; Rafael Caballero [Espagne] ; Yolanda García-Ruiz [Espagne] ; Fernando Sáenz-Pérez [Espagne]XQuery in the Functional-Logic Language Toy
000249 (2009) Jesús M. Almendros-Jiménez [Espagne] ; Antonio Becerra-Ter N [Espagne] ; Francisco J. Enciso-Ba Os [Espagne]Integrating XQuery and Logic Programming
000258 (2009) Chris MungallExperiences Using Logic Programming in Bioinformatics
000501 (2007) Ernesto Damiani [Italie] ; Stefania Marrara [Italie] ; Gabriella Pasi [Italie]FuzzyXPath: Using Fuzzy Logic an IR Features to Approximately Query XML Documents
000558 (2006) Silvano Dal Zilio [France] ; Denis Lugiez [France]XML schema, tree logic and sheaves automata
000B37 (2003) Silvano Dal Zilio [France] ; Denis Lugiez [France]XML Schema, Tree Logic and Sheaves Automata
000D27 (2003) Frank Teuteberg [Allemagne]Intelligent Agents for Document Categorization and Adaptive Filtering Using a Neural Network Approach and Fuzzy Logic
000F30 (2003) David Dubin [États-Unis] ; Allen Renear [États-Unis] ; Michael Sperberg-McQueen [États-Unis] ; Claus Huitfeldt [Norvège]A Logic Programming Environment for Document Semantics and Inference
000F50 (2002-11) Silvano Dal Zilio [France] ; Denis LugiezXML Schema, Tree Logic and Sheaves Automata
001E32 (1999) D. Calvanese [Italie] ; G. De Giacomo [Italie] ; M. Lenzerini [Italie]Representing and reasoning on XML documents: a description logic approach
001F88 (1999) Ching-Long Yeh [Taïwan]A Logic Programming Approach to Supporting the Entries of XML Documents in an Object Database
002820 (1997) Peter R. King [Canada]A logic based formalism for temporal constraints in multimedia documents
002821 (1997) Patrick Lambrix [Suède] ; Lin Padgham [Australie]A description logic model for querying knowledge bases for structured documents
003155 (1995) Peter Becker [Allemagne]A temporal logic based approach for querying lists, trees, and dags in databases
003489 (1993) Brian R. Gaines [Canada]Representation, discourse, logic and truth: Situating knowledge technology

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Informatique/explor/SgmlV1/Data/Main/Exploration
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i -k "logic" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "logic" \
         | 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/Informatique
   |area=    SgmlV1
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Title.i
   |clé=    logic
}}

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jul 1 14:26:08 2019. Site generation: Wed Apr 28 21:40:44 2021