Sciweavers

    31387 search results - page 296 / 6278
    » Abstracting abstract machines
    Sort
    View
    116
    Voted
    AAAI
    2006
    111views Intelligent Agents» more  AAAI 2006»
    Abstract Branching for Quantified Formulas
    15 years 9 months ago
    Abstract Branching for Quantified Formulas
    Download  www.aaai.org
    Marco Benedetti
    claim paper
    Read More »
    AAAI
    2004
    111views Intelligent Agents» more  AAAI 2004»
    Logic Programs with Abstract Constraint Atoms
    15 years 9 months ago
    Logic Programs with Abstract Constraint Atoms
    Download  www.aaai.org
    We propose and study extensions of logic programming with constraints represented as generalized atoms of the form C(X), where X is a finite set of atoms and C is act constraint (...
    Victor W. Marek, Miroslaw Truszczynski
    claim paper
    Read More »
    149
    Voted
    AAAI
    2004
    108views Intelligent Agents» more  AAAI 2004»
    Advice Generation from Observed Execution: Abstract Markov Decision Process Learning
    15 years 9 months ago
    Advice Generation from Observed Execution: Abstract Markov Decision Process Learning
    Download  www.cs.cmu.edu
    Patrick Riley, Manuela M. Veloso
    claim paper
    Read More »
    175
    Voted
    AAAI
    2006
    132views Intelligent Agents» more  AAAI 2006»
    Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms
    15 years 9 months ago
    Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms
    Download  www.jair.org
    Tran Cao Son, Enrico Pontelli, Phan Huy Tu
    claim paper
    Read More »
    150
    Voted
    AAAI
    2006
    101views Intelligent Agents» more  AAAI 2006»
    On the Complexity of Linking Deductive and Abstract Argument Systems
    15 years 9 months ago
    On the Complexity of Linking Deductive and Abstract Argument Systems
    Download  www.aaai.org
    Michael Wooldridge, Paul E. Dunne, Simon Parsons
    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.