Sciweavers

    2272 search results - page 156 / 455
    » A Calculus for
    Sort
    View
    AAAI
    1996
    126views Intelligent Agents» more  AAAI 1996»
    Situation Calculus on a Dense Flow of Time
    15 years 5 months ago
    Situation Calculus on a Dense Flow of Time
    Download  www.aaai.org
    paper, we attempt to reconstruct the sitcalculus on a dense flow of time. The
    Akira Fusaoka
    claim paper
    Read More »
    COLING
    1994
    83views Computational Linguistics» more  COLING 1994»
    Discontinuity And The Lambek Calculus
    15 years 5 months ago
    Discontinuity And The Lambek Calculus
    Download  acl.ldc.upenn.edu
    Mark Hepple
    claim paper
    Read More »
    SLP
    1993
    91views more  SLP 1993»
    Unification in a Lambda-Calculus with Intersection Types
    15 years 5 months ago
    Unification in a Lambda-Calculus with Intersection Types
    Download  kwarc.info
    Michael Kohlhase, Frank Pfenning
    claim paper
    Read More »
    ACL
    1989
    82views Computational Linguistics» more  ACL 1989»
    A Calculus for Semantic Composition and Scoping
    15 years 5 months ago
    A Calculus for Semantic Composition and Scoping
    Download  www.aclweb.org
    Fernando C. N. Pereira
    claim paper
    Read More »
    AAAI
    1990
    102views Intelligent Agents» more  AAAI 1990»
    The Belief Calculus and Uncertain Reasoning
    15 years 5 months ago
    The Belief Calculus and Uncertain Reasoning
    Download  www.aaai.org
    Yen-Teh Hsia
    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.