Sciweavers

    AAAI
    1990
    142views Intelligent Agents» more  AAAI 1990»
    Integrating, Execution, Planning, and Learning in Soar for External Environments
    14 years 21 days ago
    Integrating, Execution, Planning, and Learning in Soar for External Environments
    Download  www.aaai.org
    Three key components of an autonomous intelligent system are planning, execution, and learning. This paper describes how the Soar architecture supports planning, execution, and le...
    John E. Laird, Paul S. Rosenbloom
    claim paper
    Read More »
    AAAI
    1990
    68views Intelligent Agents» more  AAAI 1990»
    Solving Geometric Constraint Systems
    14 years 21 days ago
    Solving Geometric Constraint Systems
    Download  www.cs.wichita.edu
    Glenn A. Kramer
    claim paper
    Read More »
    AAAI
    1990
    102views Intelligent Agents» more  AAAI 1990»
    Mechanizing Inductive Reasoning
    14 years 21 days ago
    Mechanizing Inductive Reasoning
    Download  www.aaai.org
    Automating proofs by induction is important in many computer science and artificial intelligence applications, in particular in program verification and specification systems. We ...
    Emmanuel Kounalis, Michaël Rusinowitch
    claim paper
    Read More »
    AAAI
    1990
    59views Intelligent Agents» more  AAAI 1990»
    Learning Abstraction Hierarchies for Problem Solving
    14 years 21 days ago
    Learning Abstraction Hierarchies for Problem Solving
    Download  www.isi.edu
    Craig A. Knoblock
    claim paper
    Read More »
    AAAI
    1990
    126views Intelligent Agents» more  AAAI 1990»
    Exploiting Locality in a TMS
    14 years 21 days ago
    Exploiting Locality in a TMS
    Download  www2.parc.com
    This paper presents a new approach for exploiting Truth Maintenance Systems(TMSs) which makes them simpler to use without necessarily incurring a substantial performance penalty. ...
    Johan de Kleer
    claim paper
    Read More »
    AAAI
    1990
    86views Intelligent Agents» more  AAAI 1990»
    A Theory of Plan Modification
    14 years 21 days ago
    A Theory of Plan Modification
    Download  rakaposhi.eas.asu.edu
    Subbarao Kambhampati
    claim paper
    Read More »
    AAAI
    1990
    53views Intelligent Agents» more  AAAI 1990»
    A Method of Calculating the Measure of Salience in Understanding Metaphors
    14 years 21 days ago
    A Method of Calculating the Measure of Salience in Understanding Metaphors
    Download  www.aaai.org
    Makoto Iwayama, Takenobu Tokunaga, Hozumi Tanaka
    claim paper
    Read More »
    AAAI
    1990
    122views Intelligent Agents» more  AAAI 1990»
    An Organizational Approach to Adaptive Production Systems
    14 years 21 days ago
    An Organizational Approach to Adaptive Production Systems
    Download  www.aaai.org
    Recently-developed techniques have improved the performance of production systems several times over. However, these techniques are not yet adequate for continuous problem solving...
    Toru Ishida, Makoto Yokoo, Les Gasser
    claim paper
    Read More »
    AAAI
    1990
    102views Intelligent Agents» more  AAAI 1990»
    The Belief Calculus and Uncertain Reasoning
    14 years 21 days ago
    The Belief Calculus and Uncertain Reasoning
    Download  www.aaai.org
    Yen-Teh Hsia
    claim paper
    Read More »
    AAAI
    1990
    140views Intelligent Agents» more  AAAI 1990»
    Accent and Discourse Context: Assigning Pitch Accent in Synthetic Speech
    14 years 21 days ago
    Accent and Discourse Context: Assigning Pitch Accent in Synthetic Speech
    Download  www.aaai.org
    Identifying the regularities underlying speaker decisions to emphasize or de-emphasize an item intonationally has long been the subject of speculation and controversy. This paper ...
    Julia Hirschberg
    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.