Sciweavers

    DLOG
    1998
    166views Automated Reasoning» more  DLOG 1998»
    A Description Logic System for Learning in Complex Domains
    13 years 11 months ago
    A Description Logic System for Learning in Complex Domains
    Download  www.inf.unibz.it
    This paper introduces YAYA1, a Description Logic system focused towards learning complex interrelations among objects. YAYA Concept Language (YCL) is quite restricted; although it...
    Jordi Alvarez
    claim paper
    Read More »
    IJCAI
    2003
    101views Artificial Intelligence» more  IJCAI 2003»
    A Logic Prover for Text Processing
    13 years 11 months ago
    A Logic Prover for Text Processing
    Download  dli.iiit.ac.in
    This paper demonstrates the applicability of automated reasoning to text processing, specifically to Question Answering. It is shown that the approach is feasible, effective, and ...
    Dan I. Moldovan, Christine Clark
    claim paper
    Read More »
    DLOG
    2003
    99views Automated Reasoning» more  DLOG 2003»
    DL Reasoner vs. First-Order Prover
    13 years 11 months ago
    DL Reasoner vs. First-Order Prover
    Download  www.cs.man.ac.uk
    We compare the performance of a DL reasoner with a FO prover on reasoning problems encountered during the classification of realistic knowledge bases.
    Dmitry Tsarkov, Ian Horrocks
    claim paper
    Read More »
    DLOG
    2003
    128views Automated Reasoning» more  DLOG 2003»
    Detecting Inconsistencies between UML Models Using Description Logic
    13 years 11 months ago
    Detecting Inconsistencies between UML Models Using Description Logic
    Download  sunsite.informatik.rwth-aachen.de
    An object-oriented software design is often modelled as a collection of UML diagrams. There is an inherent need to preserve the consistency between these diagrams. Moreover, throu...
    Ragnhild Van Der Straeten, Jocelyn Simmonds, Tom M...
    claim paper
    Read More »
    DLOG
    2003
    118views Automated Reasoning» more  DLOG 2003»
    Distributed Search in the Semantic Web
    13 years 11 months ago
    Distributed Search in the Semantic Web
    Download  sunsite.informatik.rwth-aachen.de
    Umberto Straccia
    claim paper
    Read More »
    DLOG
    2003
    81views Automated Reasoning» more  DLOG 2003»
    Index Selection for Embedded Control Applications using Description Logics
    13 years 11 months ago
    Index Selection for Embedded Control Applications using Description Logics
    Download  sunsite.informatik.rwth-aachen.de
    We consider the problem of automated index selection for embedded control programs (ECPs). Such systems have the property that the transaction types, which can consist of queries ...
    Lubomir Stanchev, Grant E. Weddell
    claim paper
    Read More »
    DLOG
    2003
    106views Automated Reasoning» more  DLOG 2003»
    Explanation of Terminological Reasoning: A Preliminary Report
    13 years 11 months ago
    Explanation of Terminological Reasoning: A Preliminary Report
    Download  sunsite.informatik.rwth-aachen.de
    This paper describes our current activities to supply extended reasoning support to knowledge engineers who are building terminologies using Description Logics (DL) reasoners. The...
    Stefan Schlobach, Ronald Cornet
    claim paper
    Read More »
    DLOG
    2003
    125views Automated Reasoning» more  DLOG 2003»
    Relationships with other Formalisms
    13 years 11 months ago
    Relationships with other Formalisms
    Download  teacode.com
    In this chapter, we are concerned with the relationship between Description Logics and other formalisms, regardless of whether they were designed for knowledge representation issu...
    Ulrike Sattler, Diego Calvanese, Ralf Molitor
    claim paper
    Read More »
    DLOG
    2003
    98views Automated Reasoning» more  DLOG 2003»
    Medical Informatics
    13 years 11 months ago
    Medical Informatics
    Download  www.aafp.org
    Alan L. Rector
    claim paper
    Read More »
    DLOG
    2003
    81views Automated Reasoning» more  DLOG 2003»
    Query Evaluation over Networks of Logic-based Mediators (Position Paper)
    13 years 11 months ago
    Query Evaluation over Networks of Logic-based Mediators (Position Paper)
    Download  sunsite.informatik.rwth-aachen.de
    Carlo Meghini, Yannis Tzitzikas
    claim paper
    Read More »
    « first‹ previous…686970717273747576…next ›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.