Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications in Artificial Intelligence
A Goal-Directed Decision Procedure for Hybrid PDL
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Erratum To: Conflict Resolution: A First-Order Resolution Calculus With Decision Literals and Conflict-Driven Clause Learning
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
McBlare: A Robotic Bagpipe Player
Springer Tracts in Advanced Robotics
Electronic Engineering
Electrical
Artificial Intelligence
Socially-Mediated Negotiation for Obstacle Avoidance in Collective Transport
Springer Tracts in Advanced Robotics
Electronic Engineering
Electrical
Artificial Intelligence
A Parameterized Geometric Magnetic Field Calibration Method for Vehicles With Moving Masses With Applications to Underwater Gliders
Springer Tracts in Advanced Robotics
Electronic Engineering
Electrical
Artificial Intelligence
Addressing Robustness in Time-Critical, Distributed, Task Allocation Algorithms
Applied Intelligence
Artificial Intelligence
Optimizing for Transfers in a Multi-Vehicle Collection and Delivery Problem
Springer Tracts in Advanced Robotics
Electronic Engineering
Electrical
Artificial Intelligence
Model and Algorithm of Quantum-Inspired Neural Network With Sequence Input Based on Controlled Rotation Gates
Applied Intelligence
Artificial Intelligence
Admittance Control for Robotic Loading: Underground Field Trials With an LHD
Springer Tracts in Advanced Robotics
Electronic Engineering
Electrical
Artificial Intelligence
‹
164
165
166
167
168
169
170
›
