Sciweavers

    4617 search results - page 150 / 924
    » Automation of Diagrammatic Reasoning
    Sort
    View
    EUROCAST
    2005
    Springer
    84views Hardware» more  EUROCAST 2005»
    Extension of Ontologies Assisted by Automated Reasoning Systems
    16 years 14 days ago
    Extension of Ontologies Assisted by Automated Reasoning Systems
    Download  www.cs.us.es
    Joaquín Borrego-Díaz, Antonia M. Ch&...
    claim paper
    Read More »
    167
    Voted
    TABLEAUX
    2005
    Springer
    114views Artificial Intelligence» more  TABLEAUX 2005»
    Comparing Instance Generation Methods for Automated Reasoning
    16 years 13 days ago
    Comparing Instance Generation Methods for Automated Reasoning
    Download  lara.epfl.ch
    Abstract. The clause linking technique of Lee and Plaisted proves the unsatisfiability of a set of first-order clauses by generating a sufficiently large set of instances of thes...
    Swen Jacobs, Uwe Waldmann
    claim paper
    Read More »
    SIGMETRICS
    2004
    ACM
    91views Hardware» more  SIGMETRICS 2004»
    Using probabilistic reasoning to automate software tuning
    16 years 11 days ago
    Using probabilistic reasoning to automate software tuning
    Download  www.eecs.harvard.edu
    David G. Sullivan, Margo I. Seltzer, Avi Pfeffer
    claim paper
    Read More »
    AISC
    2004
    Springer
    99views Artificial Intelligence» more  AISC 2004»
    Four Approaches to Automated Reasoning with Differential Algebraic Structures
    15 years 10 months ago
    Four Approaches to Automated Reasoning with Differential Algebraic Structures
    Download  www4.in.tum.de
    While implementing a proof for the Basic Perturbation Lemma (a central result in Homological Algebra) in the theorem prover Isabelle one faces problems such as the implementation o...
    Jesús Aransay, Clemens Ballarin, Julio Rubi...
    claim paper
    Read More »
    EXACT
    2007
    71views Applied Computing» more  EXACT 2007»
    Generating Explanations using an Automated Planner and Modeling Reasoning Processes, Skills and Knowledge
    15 years 9 months ago
    Generating Explanations using an Automated Planner and Modeling Reasoning Processes, Skills and Knowledge
    Download  www.aaai.org
    Alan Wheeldon, Jim Reye
    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.