SWiK
» tagged pages
» logout

(Feed found, click Add Page to syndicate.) Error finding feed, please try again » Find feed title

A Blog Page allows you to add entries, for news or other time sensitive postings

A Bookmarks page is a really simple list of links - ordered by date.

(Login required to save to your tagged pages.)
(or Cancel)

Preview Formatting

Make further edits, (or Cancel)

(Login required to save to your tagged pages.)
(or Cancel)

(Editing anonymously: to be credited for your changes, login or register a new account)

Change Page Permissions? Changing these permissions will adjust who can modify this page.

Anonymous (change)
(change)
(or Cancel)
→ Upload an image from your computer:
→ or Copy an image from a URL:
→ or Erase the current icon:
Icon Preview:

or Cancel

Erase logic? The contents of logic page and all pages directly attached to logic will be erased.

or Cancel

(Editing anonymously: to be credited for your changes, login or register a new account)

other page actions:
logic

logic

sorted by: recent | see : popular
Content Tagged logic

The Curry-Howard Isomorphism, a Tiny Appetizer

Haskell: del.icio.us tag/haskell

Münster Curry Compiler

Haskell: del.icio.us tag/haskell

Pellet: The Open Source OWL DL Reasoner

Pellet is an open source, OWL DL reasoner in Java.

opensource: del.icio.us tag/opensource

Chaitin's construction

Haskell: del.icio.us tag/haskell

SWI-Prolog's Home

opensource: del.icio.us tag/opensource

Translations

Perspective that relates ways to interpret natural (Sound ← Syntax → Meaning) and programming (Form ← Expression → Meaning) langs. Representing an expression as a program that is parametrically polymorphic in types that are either form or meaning.

Haskell: del.icio.us tag/haskell

The Haskell Road

Haskell: del.icio.us tag/haskell

SAT4J

OSGi: del.icio.us/tag/OSGi

SAT4J

User:jeyrb: del.icio.us/subscriptions/jey

The Curry-Howard Correspondence in Haskell

Haskell: del.icio.us tag/haskell

Tutorial on OWL

XML: del.icio.us/tag/xml

The Suggested Upper Merged Ontology (SUMO) - Ontology Portal

open-source: del.icio.us tag/open-source

http://www.cs.chalmers.se/ ~emax/wired/documents/LP_HFL07 .pdf

Haskell: del.icio.us tag/haskell

Description Logic Programs: Combining Logic Programs with Description Logic

W3C: Del.icio.us W3C Tags

The Comonad.Reader

Haskell: del.icio.us tag/haskell

Zurg_JFP04.pdf (application/pdf Object)

Haskell: del.icio.us tag/haskell

Page 1 | Next >>
Username:
Password:
(or Cancel)