Sciweavers

    63 search results - page 1 / 13
    » Vivid Knowledge and Tractable Reasoning
    Sort
    View
    IJCAI
    1989
    67views Artificial Intelligence» more  IJCAI 1989»
    Vivid Knowledge and Tractable Reasoning
    13 years 6 months ago
    Vivid Knowledge and Tractable Reasoning
    Download  dli.iiit.ac.in
    David W. Etherington, Alexander Borgida, Ronald J....
    claim paper
    Read More »
    IJCAI
    2003
    138views Artificial Intelligence» more  IJCAI 2003»
    A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases
    13 years 6 months ago
    A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases
    Download  www.cs.toronto.edu
    In previous work, Levesque proposed an extension to classical databases that would allow for a certain form of incomplete first-order knowledge. Since this extension was suffici...
    Yongmei Liu, Hector J. Levesque
    claim paper
    Read More »
    AAAI
    2006
    157views Intelligent Agents» more  AAAI 2006»
    Bounded Treewidth as a Key to Tractability of Knowledge Representation and Reasoning
    13 years 6 months ago
    Bounded Treewidth as a Key to Tractability of Knowledge Representation and Reasoning
    Download  www.dbai.tuwien.ac.at
    Several forms of reasoning in AI
    Georg Gottlob, Reinhard Pichler, Fang Wei
    claim paper
    Read More »
    IJCAI
    1993
    90views Artificial Intelligence» more  IJCAI 1993»
    A Computational Model of Tractable Reasoning - Taking Inspiration from Cognition
    13 years 6 months ago
    A Computational Model of Tractable Reasoning - Taking Inspiration from Cognition
    Download  www.icsi.berkeley.edu
    Polynomial time complexity is the usual ‘threshold’ for distinguishing the tractable from the intractable and it may seem reasonable to adopt this notion of tractability in th...
    Lokendra Shastri
    claim paper
    Read More »
    AAAI
    2012
    248views Intelligent Agents» more  AAAI 2012»
    A Tractable First-Order Probabilistic Logic
    11 years 7 months ago
    A Tractable First-Order Probabilistic Logic
    Download  homes.cs.washington.edu
    Tractable subsets of first-order logic are a central topic in AI research. Several of these formalisms have been used as the basis for first-order probabilistic languages. Howev...
    Pedro Domingos, William Austin Webb
    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.