Sciweavers

    413 search results - page 9 / 83
    » Decidable Reasoning in Terminological Knowledge Representati...
    Sort
    View
    LOGCOM
    2008
    133views more  LOGCOM 2008»
    Linking Semantic and Knowledge Representations in a Multi-Domain Dialogue System
    14 years 9 months ago
    Linking Semantic and Knowledge Representations in a Multi-Domain Dialogue System
    Download  homepages.inf.ed.ac.uk
    We describe a two-layer architecture for supporting semantic interpretation and domain reasoning in dialogue systems. Building systems that support both semantic interpretation an...
    Myroslava Dzikovska, James F. Allen, Mary D. Swift
    claim paper
    Read More »
    AUSAI
    2004
    Springer
    103views Artificial Intelligence» more  AUSAI 2004»
    Embedding Memoization to the Semantic Tree Search for Deciding QBFs
    15 years 3 months ago
    Embedding Memoization to the Semantic Tree Search for Deciding QBFs
    Download  www.hpi.uni-potsdam.de
    Abstract. Quantified Boolean formulas (QBFs) play an important role in artificial intelligence subjects, specially in planning, knowledge representation and reasoning [20]. In th...
    Mohammad GhasemZadeh, Volker Klotz, Christoph Mein...
    claim paper
    Read More »
    ATAL
    2004
    Springer
    131views Intelligent Agents» more  ATAL 2004»
    A Complete and Decidable Logic for Resource-Bounded Agents
    15 years 3 months ago
    A Complete and Decidable Logic for Resource-Bounded Agents
    Download  www.cs.nott.ac.uk
    We propose a context-logic style formalism, Timed Reasoning Logics (TRL), to describe resource-bounded reasoners who take time to derive consequences of their knowledge. The seman...
    Natasha Alechina, Brian Logan, Mark Whitsey
    claim paper
    Read More »
    FLAIRS
    2006
    131views Artificial Intelligence» more  FLAIRS 2006»
    Reasoning about Knowledge and Continuity
    14 years 11 months ago
    Reasoning about Knowledge and Continuity
    Download  www.aaai.org
    The aim of this paper is to extend the modal logic of knowledge due to Moss and Parikh by state transformers arising, eg, from actions of agents. The peculiarity of Moss and Parik...
    Bernhard Heinemann
    claim paper
    Read More »
    FLAIRS
    2006
    121views Artificial Intelligence» more  FLAIRS 2006»
    Representation and Reasoning for Deeper Natural Language Understanding in a Physics Tutoring System
    14 years 11 months ago
    Representation and Reasoning for Deeper Natural Language Understanding in a Physics Tutoring System
    Download  www.cs.cmu.edu
    Students' natural language (NL) explanations in the domain of qualitative mechanics lie in-between unrestricted NL and the constrained NL of "proper" domain stateme...
    Maxim Makatchev, Kurt VanLehn, Pamela W. Jordan, U...
    claim paper
    Read More »
    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-2025, USA.