Sciweavers

    283 search results - page 6 / 57
    » Incremental Deterministic Planning
    Sort
    View
    AAAI
    1998
    119views Intelligent Agents» more  AAAI 1998»
    Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains
    14 years 10 months ago
    Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains
    Download  www.aaai.org
    Alessandro Cimatti, Marco Roveri, Paolo Traverso
    claim paper
    Read More »
    AIPS
    2000
    89views Artificial Intelligence» more  AIPS 2000»
    OBDD-Based Universal Planning for Multiple Synchronized Agents in Non-Deterministic Domains
    14 years 10 months ago
    OBDD-Based Universal Planning for Multiple Synchronized Agents in Non-Deterministic Domains
    Download  www.aaai.org
    Rune M. Jensen, Manuela M. Veloso
    claim paper
    Read More »
    53
    Voted
    AIPS
    1998
    81views Artificial Intelligence» more  AIPS 1998»
    Strong Planning in Non-Deterministic Domains Via Model Checking
    14 years 10 months ago
    Strong Planning in Non-Deterministic Domains Via Model Checking
    Download  www.cs.cmu.edu
    Alessandro Cimatti, Marco Roveri, Paolo Traverso
    claim paper
    Read More »
    69
    Voted
    DBPL
    1999
    Springer
    101views Database» more  DBPL 1999»
    On the Power of Incremental Evaluation in SQL-Like Languages
    15 years 1 months ago
    On the Power of Incremental Evaluation in SQL-Like Languages
    Download  homepages.inf.ed.ac.uk
    We consider IES(SQL), the incremental evaluation system over an SQL-like language with grouping, arithmetics, and aggregation. We show that every second order query is in IES(SQL) ...
    Leonid Libkin, Limsoon Wong
    claim paper
    Read More »
    ADBIS
    1997
    Springer
    103views Database» more  ADBIS 1997»
    Admissible Record-Oriented Evaluation Plans for Declarative Updates
    15 years 1 months ago
    Admissible Record-Oriented Evaluation Plans for Declarative Updates
    Download  lsirpeople.epfl.ch
    Efficient evaluation strategies for declarative updates have rarely been investigated. Due to possible dependencies between the resulting database state and the order in which re...
    Gisela Fischer, Karl Aberer
    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.