Sciweavers

    895 search results - page 3 / 179
    » A Spectrum of Applications of Automated Reasoning
    Sort
    View
    CADE
    2008
    Springer
    127views Logical Reasoning» more  CADE 2008»
    Collaborative Programming: Applications of Logic and Automated Reasoning
    14 years 4 months ago
    Collaborative Programming: Applications of Logic and Automated Reasoning
    Download  sunsite.informatik.rwth-aachen.de
    Collaborative Programming is characterized by groups of people issuing instructions to computer systems. Collaborative Programming languages differ from traditional programming lan...
    Timothy L. Hinrichs
    claim paper
    Read More »
    AICOM
    2010
    102views more  AICOM 2010»
    An application of automated reasoning in natural language question answering
    13 years 3 months ago
    An application of automated reasoning in natural language question answering
    Download  www.uni-koblenz.de
    Ulrich Furbach, Ingo Glöckner, Björn Pel...
    claim paper
    Read More »
    DLOG
    2004
    105views Automated Reasoning» more  DLOG 2004»
    The Instance Store: DL Reasoning with Large Numbers of Individuals
    13 years 5 months ago
    The Instance Store: DL Reasoning with Large Numbers of Individuals
    Download  www.comlab.ox.ac.uk
    We present an application
    Ian Horrocks, Lei Li, Daniele Turi, Sean Bechhofer
    claim paper
    Read More »
    ECSQARU
    2007
    Springer
    67views Automated Reasoning» more  ECSQARU 2007»
    Language Invariance and Spectrum Exchangeability in Inductive Logic
    13 years 10 months ago
    Language Invariance and Spectrum Exchangeability in Inductive Logic
    Download  www.maths.manchester.ac.uk
    A sufficient condition is given for a probability function in Inductive Logic (with relations of all arities) satisfying spectrum exchangeability to additionally satisfy Language ...
    Jürgen Landes, Jeff B. Paris, Alena Vencovsk&...
    claim paper
    Read More »
    ICLP
    2007
    Springer
    96views Automated Reasoning» more  ICLP 2007»
    Prosper: A Framework for Extending Prolog Applications with a Web Interface
    13 years 10 months ago
    Prosper: A Framework for Extending Prolog Applications with a Web Interface
    Download  prospear.sourceforge.net
    Levente Hunyadi
    claim paper
    Read More »
    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.