Sciweavers

    3319 search results - page 9 / 664
    » Subshifts, Languages and Logic
    Sort
    View
    POPL
    2012
    ACM
    253views Programming Languages» more  POPL 2012»
    Syntactic control of interference for separation logic
    12 years 3 months ago
    Syntactic control of interference for separation logic
    Download  www.cs.bham.ac.uk
    Separation Logic has witnessed tremendous success in recent years in reasoning about programs that deal with heap storage. Its success owes to the fundamental principle that one s...
    Uday S. Reddy, John C. Reynolds
    claim paper
    Read More »
    JAIR
    2012
    211views Hardware» more  JAIR 2012»
    Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming
    11 years 10 months ago
    Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming
    Download  reasoning.eas.asu.edu
    Circumscription and logic programs under the stable model semantics are two wellknown nonmonotonic formalisms. The former has served as a basis of classical logic based action for...
    Joohyung Lee, Ravi Palla
    claim paper
    Read More »
    LACL
    2011
    Springer
    240views Automated Reasoning» more  LACL 2011»
    Using Logic in the Generation of Referring Expressions
    12 years 10 months ago
    Using Logic in the Generation of Referring Expressions
    Download  www.glyc.dc.uba.ar
    The problem of generating referring expressions (GRE) is an important task in natural language generation. In this paper, we advocate for the use of logical languages in the output...
    Carlos Areces, Santiago Figueira, Daniel Gor&iacut...
    claim paper
    Read More »
    IJCAI
    2007
    152views Artificial Intelligence» more  IJCAI 2007»
    Using the Probabilistic Logic Programming Language P-log for Causal and Counterfactual Reasoning and Non-Naive Conditioning
    13 years 9 months ago
    Using the Probabilistic Logic Programming Language P-log for Causal and Counterfactual Reasoning and Non-Naive Conditioning
    Download  www.ijcai.org
    P-log is a probabilistic logic programming language, which combines both logic programming style knowledge representation and probabilistic reasoning. In earlier papers various ad...
    Chitta Baral, Matt Hunsaker
    claim paper
    Read More »
    LOGCOM
    2006
    58views more  LOGCOM 2006»
    Proof Theory for Casari's Comparative Logics
    13 years 7 months ago
    Proof Theory for Casari's Comparative Logics
    Download  sitemason.vanderbilt.edu
    Comparative logics were introduced by Casari in the 1980s to treat aspects of comparative reasoning occurring in natural language. In this paper Gentzen systems are defined for the...
    George Metcalfe
    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-2024, USA.