Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Uluc. Saranli
Using Constrained Intuitionistic Linear Logic for Hybrid Robotic Planning Problems
Proceedings - IEEE International Conference on Robotics and Automation
Control
Systems Engineering
Electronic Engineering
Electrical
Artificial Intelligence
Software
Related publications
Natural Deduction for Intuitionistic Linear Logic
Annals of Pure and Applied Logic
Logic
Logic Programming in a Fragment of Intuitionistic Linear Logic
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Linear Temporal Logic-Based Mission Planning
International Journal of Interactive Multimedia and Artificial Intelligence
A Semantic Hierarchy for Intuitionistic Logic
Indagationes Mathematicae
Mathematics
Linear Time Approximation Algorithms for Degree Constrained Subgraph Problems
Suboptimality Bounds for Linear Quadratic Problems in Hybrid Linear Systems
Dynamic Guidance for Robotic Surgery Using Image-Constrained Biomechanical Models
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Heuristic Planning Algorithm for Highly Constrained Maximum on Ground Problems
A Novel Hybrid Genetic Differential Evolution Algorithm for Constrained Optimization Problems
International Journal of Advanced Research in Artificial Intelligence
