Výsledky vyhľadávania - "Linear logic programming"

A Linear Logic Programming Language for Concurrent Programming over Graph Structures Autor CRUZ, FLAVIO, ROCHA, RICARDO, GOLDSTEIN, SETH COPEN, PFENNING, FRANK

“…We have designed a new logic programming language called LM (Linear Meld) for programming graph-based algorithms in a declarative fashion. Our language is…”
Získať plný text

Distributed concurrent linear logic programming Autor Kobayashi, Naoki, Shimizu, Toshihiro, Yonezawa, Akinori

“…We propose a framework of distributed concurrent linear logic programming, which can elegantly capture the essential features of distributed computation…”
Získať plný text

Static analysis of Linear Logic programming Autor Andreoli, Jean -Marc, Pareschi, Remo, Castagnetti, Tiziana

“…Linear Logic is gaining momentum in computer science because it offers a unified framework and a common vocabulary for studying and analyzing different aspects…”
Získať plný text

A Linear Logic Programming Language for Concurrent Programming over Graph Structures Autor Cruz, Flavio, Rocha, Ricardo, Goldstein, Seth Copen, Pfenning, Frank

“…We have designed a new logic programming language called LM (Linear Meld) for programming graph-based algorithms in a declarative fashion. Our language is…”
Získať plný text

On the Relations between Disjunctive and Linear Logic Programming Autor Bozzano, Marco, Delzanno, Giorgio, Martelli, Maurizio

“…In this paper we investigate the relationship between Disjunctive Logic Programming as defined in [13] and a subset of Linear Logic, namely the fragment of…”
Získať plný text

A Static Analysis Method for a Classical Linear Logic Programming Language Autor Kang, Kyoung-Sim, Tamura, Naoyuki

“…In this paper, we propose a new static analysis method which is applicable for a classical linear logic programming language. Andreoli et al…”
Získať plný text

Translating a Linear Logic Programming Language into Java Autor Banbara, Mutsunori, Tamura, Naoyuki

“… In this paper, we describe the Prolog Café 1 system which translates a linear logic programming language called LLP to Java via the LLPAM [12] [5…”
Získať plný text

Translating a Linear Logic Programming Language into Java Autor Naoyuki Tamura, Mutsunori Banbara

Získať plný text

Higher-order Linear Logic Programming of Categorial Deduction Autor Morrill, Glyn

“…We show how categorial deduction can be implemented in higher-order (linear) logic programming, thereby realising parsing as deduction for the associative and non-associative Lambek calculi…”
Získať plný text

A formal framework for specifying sequent calculus proof systems Autor Miller, Dale, Pimentel, Elaine

“…) logic programming search on the specified rules. We also present two simple and decidable conditions that guarantee that the cut rule and non-atomic initial rules…”
Získať plný text

Advanced planning and scheduling technology Autor Steger-Jensen, Kenn, Hvolby, Hans-Henrik, Nielsen, Peter, Nielsen, Izabela

“… Mixed linear logic programming (MLLP). In this article an integrated approach is presented…”
Získať plný text

Model checking linear logic specifications Autor BOZZANO, MARCO, DELZANNO, GIORGIO, MARTELLI, MAURIZIO

“… The fragment of linear logic we consider in this paper is based on the linear logic programming language called LO…”
Získať plný text

Efficient resource management for linear logic proof search Autor Cervesato, Iliano, Hodas, Joshua S., Pfenning, Frank

Získať plný text

Towards Substructural Property-Based Testing Autor Mantovani, Marco, Momigliano, Alberto

“… We take the first step by implementing a property-based testing system for specifications written in the linear logic programming language Lolli…”
Získať plný text

Linear planning logic: An efficient language and theorem prover for robotic task planning Autor Kortik, Sitar, Saranli, Uluc

“…), whose careful design allows the minimization of nondeterminism in proof search, providing a sufficient basis for the design of linear logic programming languages such as Lolli…”
Získať plný text

Towards Interactive Logic Programming Autor Kwon, Keehang, Mi-Young, Park

“…Linear logic programming uses provability as the basis for computation. In the operational semantics based on provability, executing the additive-conjunctive goal \(G_1 \& G_2\) from a program \(P…”
Získať plný text

On a uniform logical framework for diagrammatic reasoning Autor Bottoni, P., Meyer, B., Parisi-Presicce, F.

“…We present a formalization of diagrammatic systems and transformations in a linear logic framework. We start by showing how to embed Constraint Multiset…”
Získať plný text

Forward and Backward Chaining in Linear Logic (Extended Abstract) Autor Harland, James A., Pym, David J., Winikoff, Michael

“… which execute within a dynamic environment. Most linear logic programming languages are implemented using standard resolution or backward chaining techniques…”
Získať plný text

Model Checking Linear Logic Specifications Autor Bozzano, M, Delzanno, G, Martelli, M

“… The fragment of linear logic we consider in this paper is based on the linear logic programming language called LO enriched with universally quantified goal formulas…”
Získať plný text