Mapping natural language procedures descriptions to linear temporal logic templates: an application in the surgical robotic domain
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
Mapping natural language procedures descriptions to linear temporal logic templates: an application in the surgical robotic domain ; volume:53 ; number:22 ; day:22 ; month:8 ; year:2023 ; pages:26351-26363 ; date:11.2023
Applied intelligence ; 53, Heft 22 (22.8.2023), 26351-26363, 11.2023
- Creator
-
Bombieri, Marco
Meli, Daniele
Dall’Alba, Diego
Rospocher, Marco
Fiorini, Paolo
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10489-023-04882-0
- URN
-
urn:nbn:de:101:1-2024011510454432182483
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:38 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Bombieri, Marco
- Meli, Daniele
- Dall’Alba, Diego
- Rospocher, Marco
- Fiorini, Paolo
- SpringerLink (Online service)
Other Objects (12)
Logic programming for deliberative robotic task planning
Ferroelectric domain-wall logic units
Effectiveness of bedside staplers in bariatric robotic procedures
Ultrasound-guided robotic surgical procedures: a systematic review
Most common robotic bariatric procedures: review and technical aspects
Surgical Audio Guidance: Feasibility Check for Robotic Surgery Procedures
Joomla!-Templates
Joomla!-templates
Chemical templates
Color atlas of thyroid surgery : open, endoscopic and robotic procedures
Objective evaluation of expert performance during human robotic surgical procedures
Comparative verification of control methodology for robotic interventional neuroradiology procedures
Logic programming for deliberative robotic task planning
Ferroelectric domain-wall logic units
Effectiveness of bedside staplers in bariatric robotic procedures
Ultrasound-guided robotic surgical procedures: a systematic review
Most common robotic bariatric procedures: review and technical aspects
Surgical Audio Guidance: Feasibility Check for Robotic Surgery Procedures
Joomla!-Templates
Joomla!-templates
Chemical templates
Color atlas of thyroid surgery : open, endoscopic and robotic procedures
Objective evaluation of expert performance during human robotic surgical procedures
Comparative verification of control methodology for robotic interventional neuroradiology procedures
Logic programming for deliberative robotic task planning
Ferroelectric domain-wall logic units
Effectiveness of bedside staplers in bariatric robotic procedures
Ultrasound-guided robotic surgical procedures: a systematic review
Most common robotic bariatric procedures: review and technical aspects
Surgical Audio Guidance: Feasibility Check for Robotic Surgery Procedures
Joomla!-Templates
Joomla!-templates
Chemical templates
Color atlas of thyroid surgery : open, endoscopic and robotic procedures
Objective evaluation of expert performance during human robotic surgical procedures