Sciweavers

    IJCAI
    1989
    100views Artificial Intelligence» more  IJCAI 1989»
    Reducing the Derivation of Redundant Clauses in Reasoning Systems
    14 years 18 days ago
    Reducing the Derivation of Redundant Clauses in Reasoning Systems
    Download  ijcai.org
    This paper addresses two problems concerning the issue of redundant information in resolution based reasoning systems. The first one deals with the question, how the derivation of...
    Rolf Socher-Ambrosius
    claim paper
    Read More »
    IJCAI
    1989
    88views Artificial Intelligence» more  IJCAI 1989»
    Time for Action: On the Relation Between Time, Knowledge and Action
    14 years 18 days ago
    Time for Action: On the Relation Between Time, Knowledge and Action
    Download  dli.iiit.ac.in
    We consider the role played by the concept of action in AI. We first briefly summarize the advantages and limitations of past approaches to taking the concept as primitive, as emb...
    Yoav Shoham
    claim paper
    Read More »
    IJCAI
    1989
    82views Artificial Intelligence» more  IJCAI 1989»
    A Computational Structure for the Propositional Calculus
    14 years 18 days ago
    A Computational Structure for the Propositional Calculus
    Download  dli.iiit.ac.in
    M. J. Shensa
    claim paper
    Read More »
    IJCAI
    1989
    111views Artificial Intelligence» more  IJCAI 1989»
    Towards a General Framework for Composing Disjunctive and Iterative Macro-operators
    14 years 18 days ago
    Towards a General Framework for Composing Disjunctive and Iterative Macro-operators
    Download  dli.iiit.ac.in
    Inducing disjunctive and iterative macro-operators from empirical problem-solving traces provides a more powerful knowledge compilation method than simple linear macro-operators. ...
    Peter Shell, Jaime G. Carbonell
    claim paper
    Read More »
    IJCAI
    1989
    84views Artificial Intelligence» more  IJCAI 1989»
    Minimizing Response Times in Real Time Planning and Search
    14 years 18 days ago
    Minimizing Response Times in Real Time Planning and Search
    Download  ijcai.org
    Shashi Shekhar, Soumitra Dutta
    claim paper
    Read More »
    IJCAI
    1989
    111views Artificial Intelligence» more  IJCAI 1989»
    Acquiring Recursive Concepts with Explanation-Based Learning
    14 years 18 days ago
    Acquiring Recursive Concepts with Explanation-Based Learning
    Download  dli.iiit.ac.in
    Explanation-based generalization algorithms need to generalize the structure of their explanations. This is necessary in order to acquire concepts where a recursive or iterative p...
    Jude W. Shavlik
    claim paper
    Read More »
    IJCAI
    1989
    121views Artificial Intelligence» more  IJCAI 1989»
    Prediction is Deduction but Explanation is Abduction
    14 years 18 days ago
    Prediction is Deduction but Explanation is Abduction
    Download  www.doc.ic.ac.uk
    This paper presents an approach to temporal reasoning in which prediction is deduction but explanation is abduction. It is argued that all causal laws should be expressed in the n...
    Murray Shanahan
    claim paper
    Read More »
    IJCAI
    1989
    106views Artificial Intelligence» more  IJCAI 1989»
    Fast Recursive Formulations for Best-First Search That Allow Controlled Use of Memory
    14 years 18 days ago
    Fast Recursive Formulations for Best-First Search That Allow Controlled Use of Memory
    Download  ijcai.org
    Anup K. Sen, Amitava Bagchi
    claim paper
    Read More »
    IJCAI
    1989
    103views Artificial Intelligence» more  IJCAI 1989»
    Learning Novel Domains Through Curiosity and Conjecture
    14 years 18 days ago
    Learning Novel Domains Through Curiosity and Conjecture
    Download  ijcai.org
    This paper describes DIDO, a system we have developed to carry out exploratory learning of unfamiliar domains without assistance from an external teacher. The program incorporates...
    Paul D. Scott, Shaul Markovitch
    claim paper
    Read More »
    IJCAI
    1989
    93views Artificial Intelligence» more  IJCAI 1989»
    The Reason for the Benefits of Minimax Search
    14 years 18 days ago
    The Reason for the Benefits of Minimax Search
    Download  ijcai.org
    based on an abstract concept of quiescence. In the following we sketch this and a related model, describe the design of our experiments, and present the results of our simulation s...
    Anton Scheucher, Hermann Kaindl
    claim paper
    Read More »
    « first‹ previous123456789…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.