Ozan Kahramanogullari  Home/Search
Context
Related
| informatik.unileipzi...les_tec_rep.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF Problem Downloading? From: alessio.guglielmi.name/re...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Labelled event structures is a model of concurrency, where causality between actions is expressed by a partial order and the nondeterminism is expressed by a conflict relation on actions. We present a new approach to linear logic planning where computation is performed as cutfree proof search. We provide a labelled event structure semantics for the planning problems, and establish an explicit correspondence between the cut-free proofs of the planning problems and partial order plans that... (Update)
Active bibliography (related documents): More All
0.7: Deep Inference and the Calculus of Structures - Guglielmi (2006) (Correct)
0.3: Linear Logic and Noncommutativity in the Calculus of Structures - Straßburger (2003) (Correct)
0.3: Reducing the Nondeterminism in the Calculus of Structures - Kahramanogullari (2005) (Correct)
Similar documents based on text: More All
0.5: A New Logical Notion of Partial Order Planning - Kahramanogullar (Correct)
0.5: System BV without the Equalities for Unit - Kahramanogullari (2004) (Correct)
0.5: Reducing Nondeterminism in the Calculus of Structures - Kahramanogullari (2005) (Correct)
BibTeX entry: (Update)
@misc{ kahramanogullari-labelled,
author = "Ozan Kahramanogullari",
title = "Labelled Event Structure Semantics of Linear Logic Planning",
url = "citeseer.ist.psu.edu/727000.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987 ACM
90 Theoretical Computer Science (context) - Straburger, the et al. - 2003 ACM
69 calculus as a theory in linear logic: Preliminary results (context) - Miller - 1992
66 Generating plans in linear logic (context) - Masseron, Tollu et al. - 1990 ACM DBLP
43 A purely logical account of sequentiality in proof search - Bruscoli - 2002 ACM DBLP
38 A non-commutative extension of MELL - Guglielmi, Straburger - 2002 ACM DBLP
26 Completeness results for linear logic on Petri nets - Engberg, Winskel - 1993 ACM DBLP
23 Technical Report WV (context) - Guglielmi, of et al. - 2002
20 Mart-Oliet (context) - Clavel, Duran et al. - 2003
17 Models for concurrency: Towards a classification - Sassone, Nielsen et al. - 1996 DBLP
14 Linear deductive planning (context) - Groe, Holldobler et al. - 1996 DBLP
11 Implementing system BV of the calculus of structures in maud.. - Kahramanogullar - 2004
11 Abstract Logic Programming in Linear Logic Independence and .. (context) - Guglielmi - 1996
8 System BV without the equalities for unit - Kahramanogullar - 2004
4 The classical AI planning problems in the mirror of horn lin.. (context) - Kanovich, Vauzeilles - 2001
2 Towards planning as concurrency - Kahramanogullar - 2005
Documents on the same site (http://alessio.guglielmi.name/res/cos/index.html): More
MELL in the Calculus of Structures - Straßburger (2003) (Correct)
Implementing Deep Inference in TOM - Kahramanogullari, Moreau, Reilles (2005) (Correct)
What is a Logic, and What is a Proof? - Straßburger (2005) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC