Using Constrained Intuitionistic Linear Logic for Hybrid Robotic Planning Problems

Proceedings - IEEE International Conference on Robotics and Automation - Singapore
doi 10.1109/robot.2007.364046
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

Natural Deduction for Intuitionistic Linear Logic

Annals of Pure and Applied Logic
Logic
1995English

Logic Programming in a Fragment of Intuitionistic Linear Logic

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
1994English

Linear Temporal Logic-Based Mission Planning

International Journal of Interactive Multimedia and Artificial Intelligence
2016English

A Semantic Hierarchy for Intuitionistic Logic

Indagationes Mathematicae
Mathematics
2019English

Linear Time Approximation Algorithms for Degree Constrained Subgraph Problems

English

Suboptimality Bounds for Linear Quadratic Problems in Hybrid Linear Systems

2013English

Dynamic Guidance for Robotic Surgery Using Image-Constrained Biomechanical Models

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

A Heuristic Planning Algorithm for Highly Constrained Maximum on Ground Problems

2011English

A Novel Hybrid Genetic Differential Evolution Algorithm for Constrained Optimization Problems

International Journal of Advanced Research in Artificial Intelligence
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy