Sciweavers

    AAAI
    1990
    121views Intelligent Agents» more  AAAI 1990»
    A Circumscriptive Theory for Causal and Evidential Support
    14 years 21 days ago
    A Circumscriptive Theory for Causal and Evidential Support
    Download  www.aaai.org
    Reasoning about causality is an interesting application area of formal nonmonotonic theories. Here we focus our attention on a certain aspect of causal reasoning, namely causaZ as...
    Eunok Paek
    claim paper
    Read More »
    AAAI
    1990
    77views Intelligent Agents» more  AAAI 1990»
    Understanding Natural Language with Diagrams
    14 years 21 days ago
    Understanding Natural Language with Diagrams
    Download  www.aaai.org
    We describe a program, BEATRIX, that can understand textbook physics problems specified by a combination of English text and a diagram. The result of the understanding process is ...
    Gordon S. Novak, William C. Bulko
    claim paper
    Read More »
    AAAI
    1990
    115views Intelligent Agents» more  AAAI 1990»
    Pointing: A Way Toward Explanation Dialogue
    14 years 21 days ago
    Pointing: A Way Toward Explanation Dialogue
    Download  www.aaai.org
    Explanation requires a dialogue. Users must be allowed to ask questions about previously given explanations. However, building an interface that allows users to ask follow-up ques...
    Johanna D. Moore, William R. Swartout
    claim paper
    Read More »
    AAAI
    1990
    70views Intelligent Agents» more  AAAI 1990»
    Tree Decomposition with Applications to Constraint Processing
    14 years 21 days ago
    Tree Decomposition with Applications to Constraint Processing
    Download  www.aaai.org
    This paper concerns the task of removing redundant information from a given knowledge base, and restructuring it in the form of a tree, so as to admit efficient problem solving ro...
    Itay Meiri, Judea Pearl, Rina Dechter
    claim paper
    Read More »
    AAAI
    1990
    185views Intelligent Agents» more  AAAI 1990»
    The Intelligent Database Interface: Integrating AI and Database Systems
    14 years 21 days ago
    The Intelligent Database Interface: Integrating AI and Database Systems
    Download  www.cs.umbc.edu
    The Intelligent Database Interface (IDI) is a cache-based interface that is designed to provide Artificial Intelligence systems with efficient access to one or more databases on o...
    Donald P. McKay, Timothy W. Finin, Anthony B. O'Ha...
    claim paper
    Read More »
    AAAI
    1990
    128views Intelligent Agents» more  AAAI 1990»
    Becoming Increasingly Reactive
    14 years 21 days ago
    Becoming Increasingly Reactive
    Download  www.aaai.org
    We describe a robot control architecture which combines a stimulus-response subsystem for rapid reaction, with a search-based planner for handling unanticipated situations. The ro...
    Tom M. Mitchell
    claim paper
    Read More »
    AAAI
    1990
    76views Intelligent Agents» more  AAAI 1990»
    On the Performance of Lazy Matching in Production Systems
    14 years 21 days ago
    On the Performance of Lazy Matching in Production Systems
    Download  www.aaai.org
    Daniel P. Miranker, David A. Brant, Bernie J. Lofa...
    claim paper
    Read More »
    AAAI
    1990
    113views Intelligent Agents» more  AAAI 1990»
    LOGnets: A Hybrid Graph Spatial Representation for Robot Navigation
    14 years 21 days ago
    LOGnets: A Hybrid Graph Spatial Representation for Robot Navigation
    Download  www.aaai.org
    In this article we present a novel, hybrid graph spatial representation for robot navigation. This representation enables our mobile robot to build a model of its surroundings whi...
    Peter K. Malkin, Sanjaya Addanki
    claim paper
    Read More »
    AAAI
    1990
    120views Intelligent Agents» more  AAAI 1990»
    Skolem Functions and Equality in Automated Deduction
    14 years 21 days ago
    Skolem Functions and Equality in Automated Deduction
    Download  www.aaai.org
    We present a strategy for restricting the application of the inference rule paramodulation. The strategy applies to problems in first-order logic with equality and is designed to ...
    William McCune
    claim paper
    Read More »
    AAAI
    1990
    103views Intelligent Agents» more  AAAI 1990»
    On the Role of Coherence in Abductive Explanation
    14 years 21 days ago
    On the Role of Coherence in Abductive Explanation
    Download  www.cs.utexas.edu
    Abduction is an important inference process underlying much of human intelligent activities, including text understanding, plan recognition, disease diagnosis, and physical device...
    Hwee Tou Ng, Raymond J. Mooney
    claim paper
    Read More »
    « first‹ previous12345678next ›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.