Planning Problems Uluc Saranl and Frank Pfenning  Home/Search
Context
Related
| cmu.edu/afs/cs/user/fp/www...cill06.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 From: cmu.edu/afs/cs/user/fp/www/pap... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Synthesis of robot behaviors towards nontrivial goals often requires reasoning about both discrete and continuous aspects of the underlying domain. Existing approaches in building automated tools for such synthesis problems attempt to augment methods from either discrete planning or continuous control with hybrid elements, but largely fail to ensure a uniform treatment of both aspects of the domain. In this paper, we present a new formalism, Constrained Intuitionistic Linear Logic (CILL),... (Update)
Active bibliography (related documents): More All
0.3: Composition of Local Potential Functions for - Global Robot Control (Correct)
0.3: Focusing the Inverse Method for Linear Logic - Chaudhuri, Pfenning (2005) (Correct)
0.3: Discrete Abstractions for Robot Motion Planning and.. - Belta, Isler, Pappas (2004) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ uluc-using,
author = "Planning Problems Uluc",
title = "Using Constrained Intuitionistic Linear Logic for Hybrid Robotic",
url = "citeseer.ist.psu.edu/766264.html" }
Citations (may not include all citations):891 STRIPS: A new approach to the application of theorem proving.. (context) - Fikes, Nilsson - 1971
828 Model Checking - Clarke, Grumberg et al. - 2000
663 Some philosophical problems from the standpoint of artificia.. (context) - McCarthy, Hayes - 1969
105 Exact robot navigation using artificial potential functions (context) - Rimon, Koditschek - 1992
91 Artificial Intelligence: A Modern Approach (context) - Russel, Norvig - 1995
88 Linear logic: its syntax and semantics - Girard - 1995
73 Untersuchungen uber das logische Schlieen (context) - Gentzen - 1935
70 the meanings of the logical constants and the justifications.. (context) - Lof - 1996
68 Discrete abstractions of hybrid systems - Alur, Henzinger et al. - 2000
42 Sequential composition of dynamically dexterous robot behavi.. (context) - Burridge, Rizzi et al. - 1999
34 Theoretical Computer Science (context) - Oppen, convexity et al. - 1980
29 Structural cut elimination in linear logic - Pfenning - 1994
18 Logics for hybrid systems - Davoren - 2000
14 Blocks world revisited (context) - Slaney, Thiebaux - 2001
10 The CLARAty architecture for robotic autonomy - Volpe, Nesnas et al. - 2001
9 A judgmental analysis of linear logic - Chang, Chaudhuri et al. - 2003
6 A Logic-Based Approach to Model Checking of Parameterized an.. (context) - Bozzano - 2002
4 A focusing inverse method theorem prover for first-order lin.. - Chaudhuri, Pfenning - 2005
3 Construction and automated deployment of local potential fun.. (context) - Conner, Rizzi et al. - 2003
3 Cambridge University Press (context) - LaValle - 2006
1 Temporal logic motion planning for mobile robots (context) - Fainekos, Kress-Gazit et al. - 2005
1 ILC: A foundation for automated reasoning about pointer prog.. (context) - Jia, Walker - 2006
1 Lecture notes on linear logic (context) - Pfenning - 2002
Documents on the same site (http://www.cs.cmu.edu/afs/cs/user/fp/www/papers/): More
Linear Higher-Order Pre-Unification - Cervesato, Pfenning (1997) (Correct)
System Description: Twelf - A Meta-Logical Framework for.. - Pfenning, Schürmann (1999) (Correct)
On Equivalence and Canonical Forms in the LF Type Theory.. - Harper, Pfenning (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