Sciweavers

    12981 search results - page 268 / 2597
    » Artificial Intelligence
    Sort
    View
    109
    Voted
    FLAIRS
    2008
    83views Artificial Intelligence» more  FLAIRS 2008»
    Automatic Retrieval of Definitions in Texts, in Accordance with a General Linguistic Ontology
    15 years 9 months ago
    Automatic Retrieval of Definitions in Texts, in Accordance with a General Linguistic Ontology
    Download  www.aaai.org
    Charles Teissèdre, Brahim Djioua, Jean-Pier...
    claim paper
    Read More »
    188
    Voted
    AISC
    2010
    Springer
    284views Artificial Intelligence» more  AISC 2010»
    Proviola: A Tool for Proof Re-animation
    15 years 9 months ago
    Proviola: A Tool for Proof Re-animation
    Download  www.cs.ru.nl
    Carst Tankink, Herman Geuvers, James McKinna, Free...
    claim paper
    Read More »
    128
    Voted
    AISC
    2008
    Springer
    69views Artificial Intelligence» more  AISC 2008»
    Herbrand Sequent Extraction
    15 years 9 months ago
    Herbrand Sequent Extraction
    Download  www.logic.at
    Stefan Hetzl, Alexander Leitsch, Daniel Weller, Br...
    claim paper
    Read More »
    131
    Voted
    AISC
    2008
    Springer
    68views Artificial Intelligence» more  AISC 2008»
    Specifying Strategies for Exercises
    15 years 9 months ago
    Specifying Strategies for Exercises
    Download  ideas.cs.uu.nl
    Bastiaan Heeren, Johan Jeuring, Arthur van Leeuwen...
    claim paper
    Read More »
    121
    Voted
    AUSAI
    2008
    Springer
    79views Artificial Intelligence» more  AUSAI 2008»
    Introspective Forgetting
    15 years 9 months ago
    Introspective Forgetting
    Download  ai.stanford.edu
    Hans P. van Ditmarsch, Andreas Herzig, Jér&...
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.