Browse by Subject "logic"

  • Renear, Allen H.; Wickett, Karen M.; Urban, Richard J.; Dubin, David; Shreeves, Sarah L. (Dublin Core Metadata Initiative, 2008-09-24)
    Contemporary retrieval systems, which search across collections, usually ignore collection-level metadata. Alternative approaches, exploiting collection-level information, will require an understanding of the various kinds ...

    application/msword

    application/mswordMicrosoft Word (118Kb)
  • Rosu, Grigore; Ellison, Chucky M.; Schulte, Wolfram (2009-07-25)
    Rewriting logic semantics (RLS) is a definitional framework in which a programming language is defined as a rewrite theory: the algebraic signature defines the program configurations, the equations define structural ...

    application/pdf

    application/pdfPDF (395Kb)
  • Rosu, Grigore; Schulte, Wolfram (2009-01)
    Hoare logics rely on the fact that logic formulae can encode, or specify, program states, including environments, stacks, heaps, path conditions, data constraints, and so on. Such formula encodings tend to lose the structure ...

    application/pdf

    application/pdfPDF (477Kb)
  • Renear, Allen H.; Wickett, Karen M.; Urban, Richard J.; Dubin, David (ACM, 2008-06-17)
    Formalizing collection-level/item-level metadata relationships encounters the problem of trivial satisfaction. We offer a solution related to current work in IR and ontology evaluation.

    application/pdf

    application/pdfPDF (241Kb)
  • Popescu, Andrei; Rosu, Grigore (2009-01)
    Term-generic logic (TGL) is a first-order logic parameterized with terms defined axiomatically (rather than constructively), by requiring them to only provide generic notions of free variable and substitution satisfying ...

    application/pdf

    application/pdfPDF (666Kb)