Sciweavers

    AAAI
    1990
    142views Intelligent Agents» more  AAAI 1990»
    Integrating, Execution, Planning, and Learning in Soar for External Environments
    13 years 11 months 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
    13 years 11 months 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
    13 years 11 months 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
    1992
    119views Intelligent Agents» more  AAAI 1992»
    Concurrent Actions in the Situation Calculus
    13 years 11 months ago
    Concurrent Actions in the Situation Calculus
    Download  www.aaai.org
    We propose a representation of concurrent actions; rather than invent a new formalism, we model them within the standard situation calculus by introducing the notions of global ac...
    Fangzhen Lin, Yoav Shoham
    claim paper
    Read More »
    AAAI
    1990
    59views Intelligent Agents» more  AAAI 1990»
    Learning Abstraction Hierarchies for Problem Solving
    13 years 11 months 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
    13 years 11 months 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
    13 years 11 months ago
    A Theory of Plan Modification
    Download  rakaposhi.eas.asu.edu
    Subbarao Kambhampati
    claim paper
    Read More »
    AAAI
    1992
    128views Intelligent Agents» more  AAAI 1992»
    Automatic Programming of Robots Using Genetic Programming
    13 years 11 months ago
    Automatic Programming of Robots Using Genetic Programming
    Download  www.genetic-programming.com
    The goal in automatic programming is to get a computer to perform a task by telling it what needs to be done, rather than by explicitly programming it. This paper considers the ta...
    John R. Koza, James Rice
    claim paper
    Read More »
    AAAI
    1990
    53views Intelligent Agents» more  AAAI 1990»
    A Method of Calculating the Measure of Salience in Understanding Metaphors
    13 years 11 months 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
    13 years 11 months 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 »
    « first‹ previous…170171172173174175176177178…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.