Sciweavers

    AAAI
    1998
    171views Intelligent Agents» more  AAAI 1998»
    Generating Coordinated Natural Language and 3D Animations for Complex Spatial Explanations
    14 years 26 days ago
    Generating Coordinated Natural Language and 3D Animations for Complex Spatial Explanations
    Download  research.csc.ncsu.edu
    Dynamically providing students with clear explanations of complex spatial concepts is critical for a broad range of knowledge-based educational and training systems. This calls fo...
    Stuart G. Towns, Charles B. Callaway, James C. Les...
    claim paper
    Read More »
    AAAI
    1998
    167views Intelligent Agents» more  AAAI 1998»
    The Temporal Analysis of Chisholm's Paradox
    14 years 26 days ago
    The Temporal Analysis of Chisholm's Paradox
    Download  www.aaai.org
    Deonticlogic, the logic of obligations andpermissions, is plagued by several paradoxes that have to be understood before deontic logic can be used as a knowledge representation la...
    Leendert W. N. van der Torre, Yao-Hua Tan
    claim paper
    Read More »
    AAAI
    1998
    163views Intelligent Agents» more  AAAI 1998»
    Integrating Topological and Metric Maps for Mobile Robot Navigation: A Statistical Approach
    14 years 26 days ago
    Integrating Topological and Metric Maps for Mobile Robot Navigation: A Statistical Approach
    Download  www.cs.cmu.edu
    The problem of concurrent mapping and localization has received considerable attention in the mobile robotics community. Existing approachescan largely be grouped into two distinc...
    Sebastian Thrun, Jens-Steffen Gutmann, Dieter Fox,...
    claim paper
    Read More »
    AAAI
    1998
    105views Intelligent Agents» more  AAAI 1998»
    Using Arc Weights to Improve Iterative Repair
    14 years 26 days ago
    Using Arc Weights to Improve Iterative Repair
    Download  www.aaai.org
    One of the surprising findings from the study of CNF satisfiability in the 1990's has been the success of iterative repair techniques, and in particular of weighted iterative...
    John Thornton, Abdul Sattar
    claim paper
    Read More »
    AAAI
    1998
    150views Intelligent Agents» more  AAAI 1998»
    Handling Inconsistency for Multi-Source Integration
    14 years 26 days ago
    Handling Inconsistency for Multi-Source Integration
    Download  www.aaai.org
    The overwhelming amount of information sources now available through the internet has increased the need to combine or integrate the data retrieved from these sources in an intell...
    Sheila Tejada, Craig A. Knoblock, Steven Minton
    claim paper
    Read More »
    AAAI
    1998
    126views Intelligent Agents» more  AAAI 1998»
    A Script-Based Approach to Modifying Knowledge-Based Systems
    14 years 26 days ago
    A Script-Based Approach to Modifying Knowledge-Based Systems
    Download  www.isi.edu
    Modifyingknowledge-based systems is a complexactivity. One of its di culties is that several related portions of the system might have to be changed in order to maintain the coher...
    Marcelo Tallis
    claim paper
    Read More »
    AAAI
    1998
    181views Intelligent Agents» more  AAAI 1998»
    A Fuzzy Description Logic
    14 years 26 days ago
    A Fuzzy Description Logic
    Download  gaia.isti.cnr.it
    In this paper we present a fuzzy version of SHOIN(D), the corresponding Description Logic of the ontology description language OWL DL. We show that the representation and reasonin...
    Umberto Straccia
    claim paper
    Read More »
    AAAI
    1998
    136views Intelligent Agents» more  AAAI 1998»
    Abductive Planning with Sensing
    14 years 26 days ago
    Abductive Planning with Sensing
    Download  www.cs.rutgers.edu
    In abductive planning, plans are constructed as reasons for an agent to act: plans are demonstrations in logical theory of action that a goal will result assuming that given actio...
    Matthew Stone
    claim paper
    Read More »
    AAAI
    1998
    138views Intelligent Agents» more  AAAI 1998»
    Multimodal Reasoning for Automatic Model Construction
    14 years 26 days ago
    Multimodal Reasoning for Automatic Model Construction
    Download  www.aaai.org
    This paper describes a program called Pret that automates system identification, the process of finding a dynamical model of a black-box system. Pret performs both structural iden...
    Reinhard Stolle, Elizabeth Bradley
    claim paper
    Read More »
    AAAI
    1998
    106views Intelligent Agents» more  AAAI 1998»
    Backtracking Algorithms for Disjunctions of Temporal Constraints
    14 years 26 days ago
    Backtracking Algorithms for Disjunctions of Temporal Constraints
    Download  www.aaai.org
    Weextendthe frameworkof simple temporalproblems studied originally by Dechter,MeiriandPearl to consider constraints of the formxl - yl < rl V... v xn yn <_rn, wherexl ... xn...
    Kostas Stergiou, Manolis Koubarakis
    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.