Sciweavers

    JAR
    2007
    72views more  JAR 2007»
    Inferring Phylogenetic Trees Using Answer Set Programming
    14 years 10 days ago
    Inferring Phylogenetic Trees Using Answer Set Programming
    Download  people.sabanciuniv.edu
    We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to u...
    Daniel R. Brooks, Esra Erdem, Selim T. Erdogan, Ja...
    claim paper
    Read More »
    JAR
    2007
    80views more  JAR 2007»
    Integrating Searching and Authoring in Mizar
    14 years 10 days ago
    Integrating Searching and Authoring in Mizar
    Download  www-users.cs.york.ac.uk
    The vision of a computerised assistant to mathematicians has existed since the inception of theorem proving systems. The Alcor system has been designed to investigate and explore h...
    Paul A. Cairns, Jeremy Gow
    claim paper
    Read More »
    JAR
    2007
    67views more  JAR 2007»
    Optimizing Terminological Reasoning for Expressive Description Logics
    14 years 10 days ago
    Optimizing Terminological Reasoning for Expressive Description Logics
    Download  www.image.ece.ntua.gr
    Dmitry Tsarkov, Ian Horrocks, Peter F. Patel-Schne...
    claim paper
    Read More »
    JAR
    2007
    104views more  JAR 2007»
    Student Proof Exercises Using MathsTiles and Isabelle/HOL in an Intelligent Book
    14 years 10 days ago
    Student Proof Exercises Using MathsTiles and Isabelle/HOL in an Intelligent Book
    Download  www.cl.cam.ac.uk
    The Intelligent Book project aims to improve online education by designing materials that can model the subject matter they teach, in the manner of a Reactive Learning Environment...
    William Billingsley, Peter Robinson
    claim paper
    Read More »
    JAR
    2007
    132views more  JAR 2007»
    Visualizing SAT Instances and Runs of the DPLL Algorithm
    14 years 10 days ago
    Visualizing SAT Instances and Runs of the DPLL Algorithm
    Download  www.carstensinz.de
    SAT-solvers have turned into essential tools in many areas of applied logic like, for example, hardware verification or satisfiability checking modulo theories (SMT). And althoug...
    Carsten Sinz
    claim paper
    Read More »
    JAR
    2007
    90views more  JAR 2007»
    A Tableau Decision Procedure for SHOIQ
    14 years 10 days ago
    A Tableau Decision Procedure for SHOIQ
    Download  www.comlab.ox.ac.uk
    Abstract. OWL DL, a new W3C ontology language recommendation, is based on the expressive description logic SHOIN. Although the ontology consistency problem for SHOIN is known to be...
    Ian Horrocks, Ulrike Sattler
    claim paper
    Read More »
    JAR
    2007
    97views more  JAR 2007»
    Debugging Incoherent Terminologies
    14 years 10 days ago
    Debugging Incoherent Terminologies
    Download  www.few.vu.nl
    Abstract. In this paper we study the diagnosis and repair of incoherent terminologies. We define a number of new non-standard reasoning services to explain incoherence through pin...
    Stefan Schlobach, Zhisheng Huang, Ronald Cornet, F...
    claim paper
    Read More »
    JAR
    2007
    142views more  JAR 2007»
    Reasoning in Description Logics by a Reduction to Disjunctive Datalog
    14 years 10 days ago
    Reasoning in Description Logics by a Reduction to Disjunctive Datalog
    Download  www.comlab.ox.ac.uk
    As applications of description logics proliferate, efficient reasoning with knowledge bases containing many assertions becomes ever more important. For such cases, we developed a n...
    Ullrich Hustadt, Boris Motik, Ulrike Sattler
    claim paper
    Read More »
    JAR
    2007
    123views more  JAR 2007»
    Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts
    14 years 10 days ago
    Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts
    Download  users.dimi.uniud.it
    Abstract. We illustrate a methodology for formalizing and reasoning about Abadi and Cardelli’s object-based calculi, in (co)inductive type theory, such as the Calculus of (Co)Ind...
    Alberto Ciaffaglione, Luigi Liquori, Marino Micula...
    claim paper
    Read More »
    JAR
    2007
    57views more  JAR 2007»
    Special Issue on User Interfaces in Theorem Proving: Preface
    14 years 10 days ago
    Special Issue on User Interfaces in Theorem Proving: Preface
    Download  www.informatik.uni-bremen.de
    David Aspinall, Christoph Lüth
    claim paper
    Read More »
    12next ›last »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.