Sciweavers

    AAAI
    1998
    134views Intelligent Agents» more  AAAI 1998»
    TRIPS: An Integrated Intelligent Problem-Solving Assistant
    13 years 11 months ago
    TRIPS: An Integrated Intelligent Problem-Solving Assistant
    Download  www.cs.rochester.edu
    We discuss what constitutes an integrated system in AI, and why AI researchers should be interested in building and studying them. Taking integrated systems to be ones that integr...
    George Ferguson, James F. Allen
    claim paper
    Read More »
    AAAI
    1998
    97views Intelligent Agents» more  AAAI 1998»
    Toward Design as Collaboration
    13 years 11 months ago
    Toward Design as Collaboration
    Download  www.aaai.org
    In design, multiple disparate goals must be addressed simultaneously. It is the thesis of this work that problems in two-dimensional layout design can be solved by collaboration a...
    Susan L. Epstein
    claim paper
    Read More »
    AAAI
    2000
    136views Intelligent Agents» more  AAAI 2000»
    DATALOG with Constraints - An Answer-Set Programming System
    13 years 11 months ago
    DATALOG with Constraints - An Answer-Set Programming System
    Download  www.aaai.org
    Answer-set programming (ASP) has emerged recently as a viable programming paradigm well attuned to search problems in AI, constraint satisfaction and combinatorics. Propositional ...
    Deborah East, Miroslaw Truszczynski
    claim paper
    Read More »
    AAAI
    1998
    110views Intelligent Agents» more  AAAI 1998»
    Computing Intersections of Horn Theories for Reasoning with Models
    13 years 11 months ago
    Computing Intersections of Horn Theories for Reasoning with Models
    Download  www.aaai.org
    We consider computational issues in combining logical knowledge bases represented by their characteristic models; in particular, we study taking their logical intersection. We pre...
    Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino
    claim paper
    Read More »
    AAAI
    1998
    146views Intelligent Agents» more  AAAI 1998»
    The Branching Factor of Regular Search Spaces
    13 years 11 months ago
    The Branching Factor of Regular Search Spaces
    Download  www.aaai.org
    Manyproblems,such as the sliding-tile puzzles, generate searchtrees wheredifferent nodeshavedifferent numbersof children, in this case dependingon the position of the blank. Wesho...
    Stefan Edelkamp, Richard E. Korf
    claim paper
    Read More »
    AAAI
    2000
    89views Intelligent Agents» more  AAAI 2000»
    Performance Comparison of Landmark Recognition Systems for Navigating Mobile Robots
    13 years 11 months ago
    Performance Comparison of Landmark Recognition Systems for Navigating Mobile Robots
    Download  www.aaai.org
    Self-localisation is an essential competence for mobile robot navigation. Due to the fundamental unreliability of dead reckoning, a robot must depend on its perception of external...
    Tom Duckett, Ulrich Nehmzow
    claim paper
    Read More »
    AAAI
    2000
    82views Intelligent Agents» more  AAAI 2000»
    A Unified Bias-Variance Decomposition for Zero-One and Squared Loss
    13 years 11 months ago
    A Unified Bias-Variance Decomposition for Zero-One and Squared Loss
    Download  www.cs.washington.edu
    The bias-variance decomposition is a very useful and widely-used tool for understanding machine-learning algorithms. It was originally developed for squared loss. In recent years,...
    Pedro Domingos
    claim paper
    Read More »
    AAAI
    1998
    113views Intelligent Agents» more  AAAI 1998»
    A Formal Methodology for Verifying Situated Agents
    13 years 11 months ago
    A Formal Methodology for Verifying Situated Agents
    Download  www.aaai.org
    In this paper, we develop a formal methodology for verifying situated agents. The methodology consists of two elements, a specification language for specifying the agent capabilit...
    Phan Minh Dung
    claim paper
    Read More »
    AAAI
    2000
    135views Intelligent Agents» more  AAAI 2000»
    A Consistency-Based Model for Belief Change: Preliminary Report
    13 years 11 months ago
    A Consistency-Based Model for Belief Change: Preliminary Report
    Download  www.aaai.org
    We present a general, consistency-based framework for belief change. Informally, in revising K by , we begin with and incorporate as much of K as consistently possible. Formally, ...
    James P. Delgrande, Torsten Schaub
    claim paper
    Read More »
    AAAI
    1998
    111views Intelligent Agents» more  AAAI 1998»
    Logical Representation and Computation of Optimal Decisions in a Qualitative Setting
    13 years 11 months ago
    Logical Representation and Computation of Optimal Decisions in a Qualitative Setting
    Download  www.aaai.org
    This paper describes a logical machineryfor computing decisions based on an ATMSprocedure, wherethe available knowledgeon the state of the world is describedbya possibilistic prop...
    Didier Dubois, Daniel Le Berre, Henri Prade, R&eac...
    claim paper
    Read More »
    « first‹ previous…242243244245246247248249250…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.