registrieren | anmelden | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

thaus library [57 articles]

Neue Artikel in thaus Bibliothek.
  • A Tableau Algorithm for Description Logics with Concrete Domains and GCIs
    Automated Reasoning with Analytic Tableaux and Related Methods (2005), pp. 201-216.
    by Carsten Lutz, Maja Miličić
    posted to description-logic rcc by thau on 2007-10-05 19:09:24 as **
  • Repairing Inconsistent Databases: A Model-Theoretic Approach
    by O Arieli, M Denecker, B Van Nuffelen, M Bruynooghe
    posted to database inconsistency by thau on 2007-10-05 19:01:58 as **
  • Solving Database Satisfiability Problems
    (1999), pp. 122-126.
    by Francois Bry, Sunna Torge
    posted to constraints database inconsistency by thau on 2007-10-05 19:00:48 as **
  • An Extensible Framework for Repairing Constraint Violations
    (1996), pp. 41-56.
    by Michael Gertz
    posted to constraints database inconsistency by thau on 2007-10-05 18:59:18 as **
  • Ontology Learning and Reasoning - Dealing with Uncertainty and Inconsistency
    by Peter Haase, Johanna Völker
    posted to inconsistency ontology by thau on 2007-10-05 17:39:46 as **
  • A Framework for Handling Inconsistency in
    by Changing O Peter
    posted to inconsistency ontology by thau on 2007-10-05 17:19:26 as **
  • SMART: Automated Support for Ontology Merging and Alignment
    (1999)
    by N Noy, M Musen
    posted to merging ontology by thau on 2007-10-04 20:38:18 as **
  • A Graph-Oriented Model for Articulation of Ontology Interdependencies
    Lecture Notes in Computer Science, Vol. 1777 (2000)
    by Prasenjit Mitra, Gio Wiederhold, Martin Kersten
    posted to mapping ontology by thau on 2007-10-04 20:35:04 as **
  • Ontology mapping: the state of the art
    (2003)
    by Y Kalfoglou, M Schorlemmer
    posted to mapping ontology by thau on 2007-10-04 20:33:22 as ** along with 5 people pchampin dickstar suizan firefly_cmc MaBe
  • The information flow foundation for conceptual knowledge organization
    (2000)
    by R Kent
    posted to information-flow by thau on 2007-10-04 20:32:11 as **
  • Information-Flow-Based Ontology Mapping
    (2002), pp. 1132-1151.
    by Yannis Kalfoglou, Marco W Schorlemmer
    posted to information-flow mapping ontology by thau on 2007-10-04 20:29:16 as ** along with 1 person scis0000001
  • The Concept of "Potential Taxa" in Databases
    Taxon, Vol. 44, No. 2. (1995), pp. 207-212.
    by Walter G Berendsohn
    posted to database taxonomy by thau on 2007-10-04 20:26:22 as **
  • Ontology Merging for Federated Ontologies on the Semantic Web
    (2001)
    by G Stumme, A Maedche
    posted to merging ontology semantic-web by thau on 2007-10-04 20:24:26 as **
  • A Taxonomic Search Engine: federating taxonomic databases using web services.
    BMC Bioinformatics, Vol. 6 (2005)
    by RD Page
    posted to database taxonomy web-services by thau on 2007-10-04 20:21:16 as ** along with 2 people and 1 group orovellotti ipora Eco informatics
  • Mathematical Logic
    (1994)
    by HD Ebbinghaus, J Flum, W Thomas
    posted to logic by thau on 2007-10-04 20:19:22 as **
  • A Complete Classification of Tractability in RCC-5
    Journal of Artificial Intelligence Research, Vol. 6 (1997), pp. 211-221.
    by Peter Jonsson, Thomas Drakengren
    posted to rcc by thau on 2007-10-04 20:16:33 as ** along with 1 person ludaesch
  • Taxonomic triage and the poverty of phylogeny.
    Philos Trans R Soc Lond B Biol Sci, Vol. 359, No. 1444. (29 April 2004), pp. 571-583.
    by QD Wheeler
    posted to phylogeny taxonomy by thau on 2007-10-04 20:14:46 as **
  • Concurrency and Computation: Practice & Experience, Special Issue: Workflow in Grid Systems
    Vol. 18, No. 10. (2006)
    edited by Geoffrey C Fox, Dennis Gannon
    posted to grid workflow by thau on 2007-10-04 20:11:01 as **
  • Automated Reasoning
    (2006)
    by Stanford
    posted to logic reasoning by thau on 2007-10-04 20:07:59 as **
  • Scientific Workflow Management and the Kepler System
    Concurrency and Computation: Practice & Experience, Vol. 18, No. 10. (2006), pp. 1039-1065.
    by Bertram Ludäscher, Ilkay Altintas, Chad Berkley, Dan Higgins, Efrat Jaeger, Matthew Jones, Edward A Lee, Jing Tao, Yang Zhao
    edited by Geoffrey C Fox, Dennis Gannon
    posted to kepler workflows by thau on 2007-10-04 20:02:41 as **
  • PROMPT: Algorithm and Tool for Automated Ontology Merging and Alignment
    (2000), pp. 450-455.
    by Natalya F Noy, Mark A Musen
    posted to merging ontology by thau on 2007-10-04 19:40:01 as **
  • Hierarchic Taxonomic Databases
    (1993), pp. 241-256.
    by JH Beach, S Pramanik, JH Beaman
    edited by R Fortuner
    posted to database taxonomy by thau on 2007-10-04 19:16:47 as **
  • Set Constraints are the Monadic Class
    (1993), pp. 75-83.
    by Leo Bachmair, Harald Ganzinger, Uwe Waldmann
    posted to constraints logic monadic by thau on 2007-10-04 19:03:22 as **
  • Morphisms in Logic, Topology, and Formal Concept Analysis
    by Markus Krötzsch
    posted to fca logic morphism by thau on 2007-10-04 17:52:30 as ** along with 1 person scis0000001
  • Against Fantology
    (2005), pp. 153-170.
    by Barry Smith
    edited by ME Reciher
    posted to ontology philosophy by thau on 2007-10-01 20:23:29 as ***
  • Logical properties of foundational relations in bio-ontologies.
    Artif Intell Med, Vol. 39, No. 3. (March 2007), pp. 197-216.
    by T Bittner, M Donnelly
    posted to biomedical logic ontology by thau on 2007-10-01 20:13:27 as **
  • Beyond the data deluge: Data integration and bio-ontologies
    Journal of Biomedical Informatics, Vol. 39, No. 3. (June 2006), pp. 314-320.
    by Judith A Blake, Carol J Bult
    posted to biomedical ontology by thau on 2007-10-01 20:10:03 as ** along with 5 people jyuh dullhunk MrData Simplicity dansullivanblk
  • Relations in biomedical ontologies.
    Genome Biol, Vol. 6, No. 5. (2005)
    by B Smith, W Ceusters, B Klagges, J Köhler, A Kumar, J Lomax, C Mungall, F Neuhaus, AL Rector, C Rosse
    posted to obo ontology relations by thau on 2007-10-01 20:06:50 as read along with 13 people and 4 groups irenas setar gorlitsky yas dullhunk onca JeremyZucker helliontroy leechuck PunkRock RockHI lenov Mechouche dbk-lab T_lab biomedical-nlp MetabolicModeling
  • Ontology-Based Error Detection in SNOMED-CT
    Proceedings of MedInfo (2004), pp. 482-486.
    by Werner Ceusters, Barry Smith, Anand Kumar, Christoffel Dhaen
    posted to data-cleaning ontology by thau on 2007-09-28 22:59:49 as ** along with 1 person hoganwr
  • Individuals, Universals, Collections: On the Foundational Relations of Ontology
    Proceedings of FOIS (2004)
    by Thomas Bittner, Maureen Donnelly, Barry Smith
    edited by A Varzi, L Vieu
    posted to no-tag by thau on 2007-09-28 22:58:37 as ** along with 2 people hoganwr topher
  • The Unified Medical Language System and the Gene Ontology: Some Critical Reflections
    (2003), pp. 135-148.
    by Anand Kumar, Barry Smith
    edited by A Günter, R Kruse, B Neumann
    posted to go ontology umls by thau on 2007-09-28 22:48:16 as **
  • The Cornucopia of Formal-Ontological Relations
    dialectica, Vol. 58, No. 3. (2004), pp. 279-296.
    by Barry Smith, Pierre Grenon
    posted to ontology relations by thau on 2007-09-28 22:34:53 as **
  • The Ontology of the Gene Ontology
    (2003)
    by B Smith, J Williams, Schulze S Kremer
    posted to obo ontology by thau on 2007-09-28 22:29:28 as ** along with 3 people and 2 groups A_Olympia hoganwr leechuck Philosophy_of_Information Blog_and_Wiki_Research
  • A Framework for Protein Classification
    by Anand Kumar, Barry Smith
    posted to classification obo ontology by thau on 2007-09-28 22:28:52 as ** along with 1 person hoganwr
  • Untitled
    posted to bibtex-import by thau on 2007-09-27 21:41:00 as **
  • \urlhttp://www.sp2000.org
    (2006)
    by species 2000
    posted to bibtex-import by thau on 2007-09-27 21:41:00 as **
  • \urlhttp://www.tdwg.org
    (2006)
    by taxonomic
    posted to bibtex-import by thau on 2007-09-27 21:41:00 as **
  • \urlhttp://www.tdwg.org/subgroups/tnc/tcs-schema-repository/
    (2006)
    by taxonomic C Schema
    posted to bibtex-import by thau on 2007-09-27 21:41:00 as **
  • Untitled
    posted to bibtex-import by thau on 2007-09-27 21:41:00 as **
  • Synthesis of North American Flora
    (2004)
    by John T Kartesz
    posted to bibtex-import by thau on 2007-09-27 21:41:00 as **
  • A Treatise on the North American Ranunculi
    American Midland Naturalist, Vol. 40 (1948), pp. 1-261.
    by LD Benson
    posted to bibtex-import by thau on 2007-09-27 21:41:00 as **
  • General logics
    (1989)
    by J Meseguer
    edited by HD Ebbinghaus, Fernández J Prida, M Garrido, D Lascar, Rodrguez M Artalejo
    posted to bibtex-import by thau on 2007-09-27 21:41:00 as **
  • Scientific Names are Ambiguous as Identifiers for Biological Taxa: Their Context and Definition Are Required for Accurate Data Integration
    (July 2005), pp. 80-95.
    by J Kennedy, R Kukla, T Paterson
    posted to bibtex-import by thau on 2007-09-27 21:41:00 as **
  • Ranunculus dataset
    (June 2005)
    by Robert K Peet
    posted to bibtex-import by thau on 2007-09-27 21:41:00 as **
  • ConceptMapper: a new tool for establishing links between multiple taxonomic classifications
    (December 2006)
    by Xianhua Liu, Robert K Peet, Nico M Franz, Laura L Downey
    posted to bibtex-import by thau on 2007-09-27 21:41:00 as **
  • On the Use of Taxonomic Concepts in Support of Biodiversity Research and Taxonomy
    (2006)
    by Nico M Franz, Robert K Peet, Alan S Weakley
    posted to bibtex-import by thau on 2007-09-27 21:41:00 as **
  • Birds of the World: A Checklist
    (1991)
    by James F Clement
    posted to bibtex-import by thau on 2007-09-27 21:41:00 as **
  • Birds of the World: A Checklist
    (2001)
    by James F Clement
    posted to bibtex-import by thau on 2007-09-27 21:41:00 as **
  • Untitled
    (January 2007)
    by Stan Blum
    posted to bibtex-import by thau on 2007-09-27 21:41:00 as **
  • Flora of the Carolinas, Virginia, Georgia, and Surrounding Areas
    (August 2006)
    by AS Weakley
    posted to bibtex-import by thau on 2007-09-27 21:40:59 as **
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/user/thau

    Result page: 1 2 Next RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.