Sciweavers

    LOGCOM
    2007
    89views more  LOGCOM 2007»
    Algorithmic Randomness of Closed Sets
    13 years 11 months ago
    Algorithmic Randomness of Closed Sets
    Download  barmpalias.net
    We investigate notions of randomness in the space C[2N ] of nonempty closed subsets of {0, 1}N . A probability measure is given and a version of the Martin-L¨of test for randomne...
    George Barmpalias, Paul Brodhead, Douglas Cenzer, ...
    claim paper
    Read More »
    LOGCOM
    2007
    84views more  LOGCOM 2007»
    A Sharp Phase Transition Threshold for Elementary Descent Recursive Functions
    13 years 11 months ago
    A Sharp Phase Transition Threshold for Elementary Descent Recursive Functions
    Download  cage.ugent.be
    Harvey Friedman introduced natural independence results for the Peano axioms via certain schemes of combinatorial well-foundedness. We consider here parameterized versions of this...
    Arnoud den Boer, Andreas Weiermann
    claim paper
    Read More »
    LOGCOM
    2007
    92views more  LOGCOM 2007»
    Third-Order Computation and Bounded Arithmetic
    13 years 11 months ago
    Third-Order Computation and Bounded Arithmetic
    Download  www.cs.toronto.edu
    Abstract. We describe a natural generalization of ordinary computation to a third-order setting and give a function calculus with nice properties and recursion-theoretic characteri...
    Alan Skelley
    claim paper
    Read More »
    LOGCOM
    2007
    79views more  LOGCOM 2007»
    Goal Change in the Situation Calculus
    13 years 11 months ago
    Goal Change in the Situation Calculus
    Download  ijcai.org
    Shapiro et al. [2005; 2006], presented a framework for representing goal change in the situation calculus. In that framework, agents adopt a goal when requested to do so (by some ...
    Steven Shapiro, Yves Lespérance, Hector J. ...
    claim paper
    Read More »
    LOGCOM
    2007
    72views more  LOGCOM 2007»
    Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5
    13 years 11 months ago
    Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5
    Download  users.cecs.anu.edu.au
    We begin by showing how to faithfully encode the Classical Modal Display Logic (CMDL) of Wansing into the Calculus of Structures (CoS) of Guglielmi. Since every CMDL calculus enjo...
    Rajeev Goré, Alwen Tiu
    claim paper
    Read More »
    LOGCOM
    2007
    126views more  LOGCOM 2007»
    A Structural Proof of the Soundness of Rely/guarantee Rules
    13 years 11 months ago
    A Structural Proof of the Soundness of Rely/guarantee Rules
    Download  homepages.cs.ncl.ac.uk
    Various forms of rely/guarantee conditions have been used to record and reason about interference in ways that provide compositional development methods for concurrent programs. Th...
    Joey W. Coleman, Cliff B. Jones
    claim paper
    Read More »
    LOGCOM
    2007
    97views more  LOGCOM 2007»
    A General Framework for Expressing Preferences in Causal Reasoning and Planning
    13 years 11 months ago
    A General Framework for Expressing Preferences in Causal Reasoning and Planning
    Download  www.iccl.tu-dresden.de
    We consider the problem of incorporating arbitrary preferences in planning systems. A preference may be seen as a goal or constraint that is desirable, but not necessary, to satis...
    James P. Delgrande, Torsten Schaub, Hans Tompits
    claim paper
    Read More »
    LOGCOM
    2007
    180views more  LOGCOM 2007»
    A Causal Theory of Abduction
    13 years 11 months ago
    A Causal Theory of Abduction
    Download  www.iccl.tu-dresden.de
    The paper provides a uniform representation of abductive reasoning in the logical framework of causal inference relations. The representation covers in a single framework not only...
    Alexander Bochman
    claim paper
    Read More »
    LOGCOM
    2007
    126views more  LOGCOM 2007»
    Causality and Counterfactuals in the Situation Calculus
    13 years 11 months ago
    Causality and Counterfactuals in the Situation Calculus
    Download  www.ling.uni-potsdam.de
    Structural causal models offer a popular framework for exploring causal concepts. However, due to their limited expressiveness, structural models have difficulties coping with su...
    Mark Hopkins, Judea Pearl
    claim paper
    Read More »
    LOGCOM
    2007
    141views more  LOGCOM 2007»
    Conciliation through Iterated Belief Merging
    13 years 11 months ago
    Conciliation through Iterated Belief Merging
    Download  www.cril.univ-artois.fr
    Two families of conciliation processes for intelligent agents based on an iterated merge-then-revise change function for belief profiles are introduced and studied. The processes ...
    Olivier Gauwin, Sébastien Konieczny, Pierre...
    claim paper
    Read More »
    123next ›last »
    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.