Sciweavers

    1316 search results - page 187 / 264
    » Intelligent Agents: Issues and Logics
    Sort
    View
    AAAI
    2008
    156views Intelligent Agents» more  AAAI 2008»
    Credulous Resolution for Answer Set Programming
    15 years 7 days ago
    Credulous Resolution for Answer Set Programming
    Download  www.aaai.org
    The paper presents a calculus based on resolution for credulous reasoning in Answer Set Programming. The new approach allows a top-down and goal directed resolution, in the same s...
    Piero A. Bonatti, Enrico Pontelli, Tran Cao Son
    claim paper
    Read More »
    AAAI
    2008
    132views Intelligent Agents» more  AAAI 2008»
    Fusing Procedural and Declarative Planning Goals for Nondeterministic Domains
    15 years 7 days ago
    Fusing Procedural and Declarative Planning Goals for Nondeterministic Domains
    Download  www.aaai.org
    While in most planning approaches goals and plans are different objects, it is often useful to specify goals that combine declarative conditions with procedural plans. In this pap...
    Dmitry Shaparau, Marco Pistore, Paolo Traverso
    claim paper
    Read More »
    AAAI
    2008
    153views Intelligent Agents» more  AAAI 2008»
    Efficiently Exploiting Dependencies in Local Search for SAT
    15 years 7 days ago
    Efficiently Exploiting Dependencies in Local Search for SAT
    Download  nicta.com.au
    We propose a new local search platform that splits a CNF formula into three sub-components: i) a minimal dependency lattice (representing the core connections between logic gates)...
    Duc Nghia Pham, John Thornton, Abdul Sattar
    claim paper
    Read More »
    AAAI
    2008
    106views Intelligent Agents» more  AAAI 2008»
    A First-Order Theory of Stanislavskian Scene Analysis
    15 years 7 days ago
    A First-Order Theory of Stanislavskian Scene Analysis
    Download  www-formal.stanford.edu
    At the turn of the last century, Constantin Stanislavski developed a new system of acting, replacing the mannered gestures and forced emotion then popular with a more natural styl...
    Leora Morgenstern
    claim paper
    Read More »
    AAAI
    2008
    159views Intelligent Agents» more  AAAI 2008»
    A Formalization of Program Debugging in the Situation Calculus
    15 years 7 days ago
    A Formalization of Program Debugging in the Situation Calculus
    Download  www.aaai.org
    Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...
    Yongmei Liu
    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.