Sciweavers

    1966 search results - page 112 / 394
    » Description Logics and Planning
    Sort
    View
    KR
    2000
    Springer
    84views Automated Reasoning» more  KR 2000»
    Planning with sensing, concurrency, and exogenous events: logical framework and implementation
    15 years 10 months ago
    Planning with sensing, concurrency, and exogenous events: logical framework and implementation
    Download  www.dis.uniroma1.it
    Luca Iocchi, Daniele Nardi, Riccardo Rosati
    claim paper
    Read More »
    AGP
    1995
    IEEE
    107views Artificial Intelligence» more  AGP 1995»
    Side Effect Analysis for Logic-Based Planning
    15 years 10 months ago
    Side Effect Analysis for Logic-Based Planning
    Download  www.hpl.hp.com
    Kave Eshghi, M. Mowbray
    claim paper
    Read More »
    ICAART
    2010
    INSTICC
    137views Intelligent Agents» more  ICAART 2010»
    Combining Self-motivation with Logical Planning and Inference in a Reward-seeking Agent
    15 years 7 months ago
    Combining Self-motivation with Logical Planning and Inference in a Reward-seeking Agent
    Download  www.cs.rochester.edu
    Daphne Liu, Lenhart Schubert
    claim paper
    Read More »
    CORR
    2009
    Springer
    86views Education» more  CORR 2009»
    Rewriting Logic Semantics of a Plan Execution Language
    15 years 4 months ago
    Rewriting Logic Semantics of a Plan Execution Language
    Download  shemesh.larc.nasa.gov
    Gilles Dowek, César Muñoz, Camilo Ro...
    claim paper
    Read More »
    ATAL
    2011
    Springer
    186views Intelligent Agents» more  ATAL 2011»
    Agents that speak: modelling communicative plans and information sources in a logic of announcements
    14 years 6 months ago
    Agents that speak: modelling communicative plans and information sources in a logic of announcements
    Download  www.ifaamas.org
    Philippe Balbiani, Nadine Guiraud, Andreas Herzig,...
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.