Group: ConcertRG - with tag forward-chaining [1 article]

Recent papers posted by members of the ConcertRG group with tag forward-chaining

Monadic concurrent linear logic programming

In PPDP '05: Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming (2005), pp. 35-46.

by Pablo López, Frank Pfenning, Jeff Polakow, Kevin Watkins

posted to rg-2006 modal-logic lollimon logical-frameworks logic-programming linear-logic forward-chaining backward-chaining by robertjohnsimmons to the group ConcertRG on 2009-08-17 20:01:45 read

along with 3 people hdeyoung darinm tautologico

Abstract Notes Copy My Attachments My Copy

Abstract

Lolli is a logic programming language based on the asynchronous propositions of intuitionistic linear logic. It uses a backward chaining, backtracking operational semantics. In this paper we extend Lolli with the remaining connectives of intuitionistic linear logic restricted to occur inside a monad, an idea taken from the concurrent logical framework (CLF). The resulting language, called LolliMon, has a natural forward chaining, committed choice operational semantics inside the monad, while retaining Lolli's semantics outside the monad. LolliMon thereby cleanly integrates both ...

Note (first note only)

Concert Reading Group: 08/08/2006

Note: You may cite this page as: http://www.citeulike.org/group/10995/tag/forward-chaining

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

RIS	Export as RIS which can be imported into most citation managers
BibTeX	Export as BibTeX which can be imported into most citation/bibliography managers
PDF	Export formatted citations as PDF
RTF	Export formatted citations as RTF which can be imported into most word processors
Delicious	Export in format suitable for direct import into delicious.com. (Setup a permanent sync to delicious)
Formatted Text	Export formatted citations as plain text

Group: ConcertRG - with tag forward-chaining [1 article]

Abstract

Note (first note only)

Always show this tags box

Related Tags