Sciweavers

    4595 search results - page 2 / 919
    » Reasoning about Plans
    Sort
    View
    AAAI
    1990
    190views Intelligent Agents» more  AAAI 1990»
    An Approach to Reasoning About Continuous Change for Applications in Planning
    13 years 7 months ago
    An Approach to Reasoning About Continuous Change for Applications in Planning
    Download  www.aaai.org
    There are many planning applications that require an agent to coordinate its activities with processes that change continuously over time. Several proposals have been made for com...
    Thomas Dean, Greg Siegle
    claim paper
    Read More »
    JAIR
    1998
    163views more  JAIR 1998»
    A Temporal Description Logic for Reasoning about Actions and Plans
    13 years 5 months ago
    A Temporal Description Logic for Reasoning about Actions and Plans
    Download  www.jair.org
    A class of interval-based temporal languages for uniformly representing and reasoning about actions and plans is presented. Actions are represented by describing what is true whil...
    Alessandro Artale, Enrico Franconi
    claim paper
    Read More »
    LOGCOM
    1998
    178views more  LOGCOM 1998»
    Applying the Mu-Calculus in Planning and Reasoning about Action
    13 years 5 months ago
    Applying the Mu-Calculus in Planning and Reasoning about Action
    Download  www.csc.ncsu.edu
    Planning algorithms have traditionally been geared toward achievement goals in single-agent environments. Such algorithms essentially produce plans to reach one of a specified se...
    Munindar P. Singh
    claim paper
    Read More »
    LANMR
    2004
    103views Logical Reasoning» more  LANMR 2004»
    Reasoning about Lava effusion: From Geographical Information Systems to Answer Set Programming
    13 years 7 months ago
    Reasoning about Lava effusion: From Geographical Information Systems to Answer Set Programming
    Download  sunsite.informatik.rwth-aachen.de
    Abstract. This article describes our implementation in Answer Set Programming of a reasoning system that models the flow of lava in volcanic eruptions. Our system can be employed i...
    Isabella Cattinelli, Maria Luisa Damiani, Andrea N...
    claim paper
    Read More »
    IJCAI
    1997
    73views Artificial Intelligence» more  IJCAI 1997»
    Reasoning about Plans
    13 years 7 months ago
    Reasoning about Plans
    Download  ias.in.tum.de
    Witold Lukaszewicz, Ewa Madalinska-Bugaj
    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-2024, USA.