yusuke1997/dblp-id-title huggingface dataset:
Durable Breast Phantom with Geometric and Mechanical Properties approximating Human Tissue for Ultrasound Image and Robotic System Testing
Rigid 3D Registration of Pre-operative Information for Semi-Autonomous Surgery
Concept Development of Fixed Geometry Tactile Display using Granular Jamming
Using intermittent synchronization to compensate for rhythmic body motion during autonomous surgical cutting and debridement
Task space human-robot interaction using angular velocity Jacobian
Parallel PositionForce Control of Epicardial Wire Robot Based on Ellipsoid Geodesy
Characterization of a Screw-Based Bending Actuator for Continuum Robots
Design and development of an autonomous robotic wheelchair for medical mobility
Biomechanical and perceptual evaluation of the use of a servo-controlled power-assistance system in manual wheelchair mobility
Design of Transmission Tubes for Surgical Concentric Push-Pull Robots
Continuous Prediction of Leg Kinematics During Ambulation using Peripheral Sensing of Muscle Activity and Morphology
Markerless Suture Needle Tracking From A Robotic Endoscope Based On Deep Learning
Design and Evaluation of a Flexible Sensorized Robotic OCT Neuroendoscope
Feasibility Study of In Vivo Robotic Plasma Medicine Devices
An Intelligent Control Approach for Reduction of Gait Asymmetry in Transfemoral Amputees
Force-based Safe Vein Cannulation in Robot-assisted Retinal Surgery: A Preliminary Study
SPRK: A low-cost stewart platform for motion study in surgical robotics
Towards Autonomous Navigation of Neuroendovascular Tools for Timely Stroke Treatment via Contact-Aware Path Planning
Design and Analysis of a Dual-Stiffness Flexible Continuum for Endotracheal Intubation Robot
Towards Closed-loop Control of the Modified COAST Guidewire under Fluoroscopic Imaging for Endotracheal and Endovascular Interventions
User and Environmental Context Adaptive Knee Exoskeleton Assistance using Electromyography
Towards the Development of a Tendon-Actuated Galvanometer for Endoscopic Surgical Laser Scanning
Homography-based Visual Servoing with Remote Center of Motion for Semi-autonomous Robotic Endoscope Manipulation
Design and Bench Demonstration of a Robotic System for Cervical Spine Deformity Surgery
Deep Learning-Based Segmentation for Autonomous Robot-Assisted Tumor Localization using Ultrasound B-Mode and Strain Elastography Imaging
Study of robotized electromagnetic actuation system for magnetic microrobots devoted to minimally invasive ophthalmic surgery
Smartphone-enabled Trackers for Lower-body Monitoring
Multi-Body Simulation of a Dynamic Hand Orthosis based on a Prestressed Compliant Structure Incorporating the Human Hand
A Novel Task-Specific Upper-Extremity Rehabilitation System with Interactive Game-Based Interface for Stroke Patients
An Evaluation Platform for Catheter Ablation Navigation
Preliminary development of a skull-mounted lightweight parallel robot toward minimally invasive neurosurgery
Autonomous tissue retraction with a biomechanically informed logic based framework
Surgical gesture recognition with time delay neural network based on kinematic data
Middle Tube Rotation of the COAST Guidewire Robot: Design and Modeling
Statics Modeling of Discrete Joint Surgical Probes with Tendon-based Stiffening
Moving Past Principal Component Analysis: Nonlinear Dimensionality Reduction Towards Better Hand Pose Synthesis
Koopman Operator-based Extended Kalman Filter for Cosserat Rod Wrench Estimation
Preliminary Theoretical Considerations of a Hand Orthosis Based on a Prestressed, Compliant Structure
Design of a robotic instrument for minimally invasive waterjet surgery
Learning Soft-Tissue Simulation from Models and Observation
Da Vinci tool torque mapping over 50, 000 grasps and its implications on grip force estimation accuracy
Toward Robotically Automated Femoral Vascular Access
Concentric Tube Robot Optimization and Path Planning for Epilepsy Surgeries
Towards in-utero Navigational Assistance: A Multi Task Neural Network for Segmentation and Pose Estimation in Fetoscopy
Modeling Kinematic Uncertainty of Tendon-Driven Continuum Robots via Mixture Density Networks
An Augmented Reality Measurement Tool for the da Vinci Research Kit
Learning Based Estimation of 7 DOF Instrument and Grasping Forces on the da Vinci Research Kit
Development of a Surgeon and Patient-Friendly Orthopedic Surgical Robot
A highly compact fiberoptic rotation sensor for a neurosurgical robot
Robotic system for MRI-guided shoulder arthrography: Accuracy evaluation
LOKI: Laparoscopic Operational Kinematic Instrument
Towards Automated Performance Assessment using Velocity-based Motion Quality Metrics
Augmented Reality Application for Aiding Tumor Resection in Skull-Base Surgery
Deep Learning for Needle Detection in a Cannulation Simulator
Multi-walled Carbon Nanotube (MWCNT)/PDMS-based Flexible Sensor for Medical Applications
Squat Quality User Assessment Through Artificial Intelligence: A User-Specific Approach
Concentric Tube Robot-Based Intracerebral Hemorrhage Evacuation in ex vivo Sheep Head: A Comparative Study
An Everting Emergency Airway Device
Towards the development of a voice-controlled exoskeleton system for restoring hand function
Model-to-Image Registration via Deep Learning towards Image-Guided Endovascular Interventions
A surgical system for automatic registration, stiffness mapping and dynamic image overlay
Image-guided Breast Biopsy of MRI-visible Lesions with a Hand-mounted Motorised Needle Steering Tool
STITCH: Augmented Dexterity for Suture Throws Including Thread Coordination and Handoffs
Data-driven detection of adverse events in robotic needle steering
Reward Learning from Suboptimal Demonstrations with Applications in Surgical Electrocautery
Analytical Modeling and Experimental Validation of a Gelatin-based Shape Sensor for Soft Robots
A Pneumatic Optical Soft Sensor for Fingertip Force Sensing
Identifying Kinematic Markers Associated with Intraoperative Stress during Surgical Training Tasks
Grasp Taxonomy for Robot Assistants Inferred from Finger Pressure and Flexion
An Easy and User Independent Augmented Reality Based Navigation System for Radiation-Free Interventional Procedure
Towards Shape Estimation of Meso-Scale Continuum Robots Using Direct Laser Written Piezoresistive Strain Sensors
Suturing Tasks Automation Based on Skills Learned from Demonstrations: A Simulation Study
Learning Inverse Kinematics Multiplicity of Concentric Tube Robots Using Invertible Neural Networks
Deep Kernel and Image Quality Estimators for Optimizing Robotic Ultrasound Controller using Bayesian Optimization
Kinesthetic teaching of a therapist's behavior to a rehabilitation robot
Towards Biomechanics-Aware Design of a Steerable Drilling Robot for Spinal Fixation Procedures with Flexible Pedicle Screws
A Multirobots Teleoperated Platform for Artificial Intelligence Training Data Collection in Minimally Invasive Surgery
Plate-and-Cable (PAC) Haptic Device for Orthopaedic Training
Spotlight-based 3D Instrument Guidance for Retinal Surgery
Tumor Detection In Breast Histopathological Images Using Faster R-CNN
Quantitative Assessment of Calibration Motion Profiles in Robotic-assisted Ultrasound System
Towards Unified Shape and Biosensing: Multiplexing Tilted and Standard Fiber Bragg Gratings
Characterizing 3D Force Vectors to Improve the Assessment of Spasticity
Feasibility of Pointcloud-based Ultrasound-CT Registration towards Automated, Robot-Assisted Image-Guidance in Spine Surgery *
Autonomous Data-Driven Manipulation of an Unknown Deformable Tissue Within Constrained Environments: A Pilot Study
A Digital Twin for Telesurgery Under Intermittent Communication
Physiological Motion Compensation in Patch Clamping using Electrical Bio-impedance Sensing
Mixed Reality Based Teleoperation of Surgical Robotics
Reduction in The Metabolic Cost of Human Walking Gaits Using Quasi-Passive Upper Body Exoskeleton
MR Thermometry-Guided Robotic System for Precise Applicator Insertion in Interstitial Thermal Therapy
Planning Sensing Sequences for Subsurface 3D Tumor Mapping
Tendon Tapping Location Detection Through Impact Modeling
An FBG-based Stiffness Estimation Sensor for In-vivo Diagnostics
Automatic multi-trajectory planning solution for steerable catheters
Towards the Development of an Ultrasound-Guided Robotically Steerable Guidewire
Towards Reliable Colorectal Cancer Polyps Classification via Vision Based Tactile Sensing and Confidence-Calibrated Neural Networks
A Time-of-Flight Stereoscopic Endoscope for Anatomical 3D Reconstruction
An abdominal phantom with instrument tracking for laparoscopic training
Deep-learning-based Position Control of a Robotic Catheter under Environmental Contact
Modelisation of a Human-Exoskeleton Interaction for Cerebral Palsy
Collaborative Handheld Robots Near the Limits of Human Dexterity - A Pilot Study
MR-Guided Tissue Puncture with On-Line Imaging for High-Resolution Theranostics
Delta Robot Kinematic Calibration for Precise Robot-Assisted Retinal Surgery *
Development of Robot-assisted Ultrasound System for Fetoscopic Tracking in Twin to Twin Transfusion Syndrome Surgery
cHand: Open Source Hand Posture Visualization in CHAI3D
3D Visualization from Single-Chip Camera in Single Port Access Fetal Robotic Surgery
ROSurgical: An Open-Source Framework for Telesurgery
Enhancing Accuracy in Transendoscopic Concentric Tube Robots for Monocular Endoscope Guidance
Improving the realism of robotic surgery simulation through injection of learning-based estimated errors
A Compliant Robotic Wrist Orthosis Driven by Twisted String Actuators
3D Occupancy Reconstruction in Dynamic and Deforming Surgical Environments
Far-UVC Disinfection with Robotic Mobile Manipulator
Learning Planning Model for Semantic Process Compensation
Big Data Analytics Has Little to Do with Analytics
An RDR-Based Approach for Event Data Analysis
Semantic Textual Similarity as a Service
Blockchain in Supply Chain Management: Australian Manufacturer Case Study
Investigating Performance Metrics for Evaluation of Content Delivery Networks
Modeling Decision-Intensive Processes with Declarative Business Artifacts
Logistics and Supply Chain Management Investigation: A Case Study
Normative Requirements for Business Process Compliance
NERSE: Named Entity Recognition in Software Engineering as a Service
Information Systems as a Service (ISaaS): Consumer Co-creation of Value
Service Research and Innovation - Third Australian Symposium, ASSRI 2013, Sydney, NSW, Australia, November 27-29, 2013, Revised Selected Papers
Auction-Based Models for Composite Service Selection: A Design Framework
Can Current Conceptions of Strategy Support the Formulation, Analysis and Execution of Service Strategies?
Effective Governance During SOA Lifecycle - Theory and Practice
Accommodating Information Priority Model in Cloudlet Environment
A Six Cell Services Comparison Model for Healthcare
A Statistical Approach to Explore the Effects of Business Model Change on Growth for the Airline Industry
Predicting Issues for Resolving in the Next Release
Trust and Privacy Challenges in Social Participatory Networks
Understanding a Transformation Process from Product-Centric to Customer-Centric Services in a Financial Institution - A Work System Perspective
Smart CloudBench - Test Drive the Cloud Before You Buy
e-mentoring Activities in Online Programming Communities: An Empirical Study on Stack Overflow
Service Research and Innovation - 7th Australian Symposium, ASSRI 2018, Sydney, NSW, Australia, September 6, 2018, and Wollongong, NSW, Australia, December 14, 2018, Revised Selected Papers
Bit-Vector-Based Spatial Data Compression Scheme for Big Data
Decisions, Models and Opportunities in Cloud Computing Economics: A Review of Research on Pricing and Markets
Declarative Approaches for Compliance by Design
iRecruit: Towards Automating the Recruitment Process
Scalable Architecture for Personalized Healthcare Service Recommendation Using Big Data Lake
Blockchain and Services - Exploring the Links - Keynote Paper
Relating SOA Governance to IT Governance and EA Governance
Empowering Software Engineering with Artificial Intelligence
Service Research and Innovation - 5th and 6th Australasian Symposium, ASSRI 2015 and ASSRI 2017, Sydney, NSW, Australia, November 2-3, 2015, and October 19-20, 2017, Revised Selected Papers
Improving Airline Operations Efficiency via Flexible Business Process Management
A Game-Theoretic Approach to Quality Improvement in Crowdsourcing Tasks
Preference Feedback for Driving in an Unfamiliar Traffic Regulation
A Digital Interaction Framework for Managing Knowledge Intensive Business Processes
Toward Unified Cloud Service Discovery for Enhanced Service Identification
Indoor Positioning Knowledge Model for Privacy Preserving Context-Awareness
An Integrative Design Framework for New Service Development
Polynomial-Time Satisfiability Tests for Boolean Fragments of Set Theory
ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex
Property-Based Testing of the Meta-Theory of Abstract Machines: an Experience Report
Explicit Constructive Logic ECL: a New Representation of Construction and Selection of Logical Information by an Epistemic Agent
On Checking Domain Independence
A Mechanism for Reasoning over Defeasible Preferences in Arg2P
Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010
Towards Distributed Computation of Answer Sets
Timed Concurrent Language for Argumentation
Graph-Theoretical Arguments in Support of a Quantum Declarative Manifesto
Declarative Pattern Mining in Digital Forensics: Preliminary Results
Evaluating compliance: from LTL to abductive logic programming
Leveraging semantic web technologies for analysis of crime in social science
Controlling Polyvariance for Specialization-based Verification
Efficient Theorem Proving for Conditional Logics with Conditional Excluded Middle
Tautology Checkers in Isabelle and Haskell
ALIGHIERoo: Advanced Literary and Iconographic Graph for Hermeneutics of Interconnected Editions and Resources - Object Oriented
How Answer Set Programming can help in digital forensic investigation
TERENCE: An Adaptive Learning System for Reasoning about Stories with Poor Comprehenders and their Educators
Formalization and Automated reasoning about a Complex Signalling Network
Specification and Verification of Commitment-Regulated Data-Aware Multiagent Systems
A New Approach to Clausification for Intuitionistic Propositional Logic
A Platform for Managing Business Process Knowledge Bases via Logic Programming
Weighted Assumption Based Argumentation to reason about ethical principles and actions
Compilation-based Techniques for Evaluating Normal Logic Programs Under the Well-founded Semantics
ASP Based Generation of Information Terms for Constructive EL
Solving XCSP problems by using Gecode
A Labelling Semantics for Weighted Argumentation Frameworks
Verifying Compliance of Business Processes with Temporal Answer Sets
Exploiting Unexploited Computing Resources for Computational Logics
Convergence Verification of Declarative Distributed Systems
Parallel Instantiation in DLV
Cyclic pregroups and natural language: a computational algebraic analysis
Runtime Self-Checking via Temporal (Meta-)Axioms for Assurance of Logical Agent Systems
Abductive logic programming for Datalog +/- ontologies
Model Checking: The Interval Way
Set Graphs VI: Logic Programming and Bisimulation
Querying and Visualizing Digital Twins with ASP and ASP Chef: Preliminary Report
Verification of Prev-Free Communicating Datalog Programs
Reasoning in High Schools: Do it with ASP!
Coalitional Games with Priced-Resource Agents
Finding Partitions of Arguments with Dung's Properties via SCSPs
Rank-Based Simulation on Acyclic Graphs
Logic Programming library for Machine Learning: API design and prototype
Exploring ILASP Through Logic Puzzles Modelling
Proceedings of the 39th Italian Conference on Computational Logic, Rome, Italy, June 26-28, 2024
Team-building with Answer Set Programming in the Gioia-Tauro Seaport
Towards a tableau-based procedure for PLTL based on a multi-conclusion rule and logical optimizations
From Weighted Conditionals with Typicality to a Gradual Argumentation Semantics (Extended Abstract)
An authority degree-based evaluation strategy for abstract argumentation frameworks
Constraints among Commitments: Regulative Specification of Interaction Protocols
Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022
Proceedings of the 36th Italian Conference on Computational Logic, Parma, Italy, September 7-9, 2021
Abduction in (Probabilistic) Answer Set Programming
Logic, Leaves, and Labels: Visualizing SELinux Trees with ASP Chef
Computing Uniform Interpolants for EUF via (conditional) DAG-based Compact Representations
ALC + Texp: Beyond most likely Scenarios in Preferential Description Logics of Typicality
Epistemic Answer Set Programming: A New Perspective
Revising Description Logic Terminologies to Handle Exceptions: a First Step
A Formally Verified SMT Approach to True Concurrency
An ASP Translation for Non-Monotonic Reasoning on DL-Lite_R with Prototype Descriptions
Epistemic Logic Programs: an approach to Semantic Comparison
Cyclic Nurse Scheduling with ASP: Two Case Studies from Cosenza Hospitals
Towards Explainable Data-to-text Generation
An ASP-based System for Preference Handling and Planning
Logic-based Machine Learning for Transparent Ethical Agents
Explainable AI for Sperm Morphology: Integrating YOLO with FastLAS
An Ontology for Legacy Data on Ancient Ceramics of the Plain of Catania
An ASP-based Approach to UAM Strategic Deconfliction: preliminary results
Two Extensions of FOL Horn Clauses Comparison to Interpreted Predicates
The Representation of Boolean Algebras in the Spotlight of a Proof Checker
A Decision Procedure for a Two-sorted Extension of Multi-Level Syllogistic with the Cartesian Product and Some Map Constructs
Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps
KINS: Knowledge Injection via Network Structuring
Dual Tableau-based Decision Procedures for Some Relational Logics
A Four-State Labelling Semantics for Weighted Argumentation Frameworks
Optimizing Inference for Probabilistic Logic Programs Exploiting Independence and Exclusiveness
On the Decidability of the ∃*∀* Prefix Class in Set Theory
On Generalised Ackermann Encodings - The Basis Issue
A Framework for a Modular Multi-Concept Lexicographic Closure Semantics (an abridged report)
XAI-LAW Towards a Logic Programming Tool for Taking and Explaining Legal Decisions
SUNNY for algorithm selection: a preliminary study
Towards the Generation of the "Perfect" Log Using Abductive Logic Programming
Distributed Runtime Verification of JADE and Jason Multiagent Systems with Prolog
Games with additional winning strategies
On Model-Based Reasoning: Recent Trends and Current Developments
Encodings of Sets and Hypersets
On a Plausible Concept-wise Multipreference Semantics and its Relations with Self-organising Maps
From Blueprint Personas to Epistemic Agents: A Comparative Study of ASP-Based and L-DINF-Based Approaches to Medical Appointment Scheduling
Ensuring Trustworthy and Ethical Behavior in Intelligent Logical Agents
Ethical Monitoring and Evaluation of Dialogues with a MAS
Non-Well-Founded Set Based Multi-Agent Epistemic Action Language
On Modal Logic Formulae Minimization
Arg-tuProlog: a tuProlog-based Argumentation Framework
Modeling and Solving the Rush Hour puzzle
Reasoning on Information Term Semantics with ASP for Constructive ELꓕ
A Semantics-Aware Evaluation Order for Abstract Argumentation Frameworks
Towards a Declarative Approach to Object Comparison
Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013
Accountability, Responsibility and Robustness in Agent Organizations
A Natural Deduction Calculus for Gödel-Dummett Logic Internalizing Proof-search Control Mechanisms
Exploiting Prolog for Projecting Agent Interaction Protocols
Complex Events and Actions in Logical Agents
An Extended Semantics for Logic Programs with Annotated Disjunctions and its Efficient Implementation
A Study on Contradiction Detection Using a Neuro-Symbolic Approach
Answer Set Programming for Feature-Based Explanation of Malware Prediction
PEAR: a Tool for Reasoning About Scenarios and Probabilities in Description Logics of Typicality (short paper)
Towards Translating Natural Language Sentences into ASP
A Proof-checking Experiment on Representing Graphs as Membership Digraphs
Advancements in xASP, an XAI System for Answer Set Programming
Continued Hereditarily Finite Sets Approximations
Proceedings of the 40th Italian Conference on Computational Logic, Alghero, Italy, June 25-27, 2025
Temporal Probabilistic Argumentation Frameworks
An Ontology to Improve the First Aid Service Quality
Answer Set Programming and Large Language Models Interaction with YAML: Preliminary Report
Empowering ASPQ to Win in QBFEval 2018
Solver Fast Prototyping for Reduct-based ELP Semantics
Probabilistic Abductive Logic Programming using Possible Worlds
A Diophantine representation of Wolstenholme's pseudoprimality
DigForASP: A European Cooperation Network for Logic-based AI in Digital Forensics
Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023
On the Design of an Artificial Player for a Popular Word Game
CUD@ASP: Experimenting with GPGPUs in ASP solving
Explainable Answer Set Programming for Legal Decision Support
Structured Declarative Language
Computing Modular Paracoherent Answer Sets: Preliminary Result
Computational Argumentation - Formal Models and Complexity Results (invited talk)
Accountable Protocols in Abductive Logic Programming
Finding Commonalities in Linked Open Data
Optimized Encodings for Consistent Query Answering via ASP from Different Perspectives
A Transformation Strategy for Verifying Logic Programs on Infinite Lists
A Sequent Calculus for First-Order Logic Formalized in Isabelle/HOL
Set-Based Invariants over Polynomial Systems
A Description Logics Based Cognitively Inspired Tool for Knowledge Generation via Concept Combination
Timed Trace Expressions
Chemotherapy Treatment Scheduling via Answer Set Programming
A Semantics for Rational Closure: Preliminary Results
Runtime Addition of Integrity Constraints in SCIFF
Multi-Agent Epistemic Planning
A Modal Reconstruction of Rational Closure
Toward Executing Datalog on Big Data Platforms
MutantChick: Type-Preserving Mutation Analysis for Coq
An Algorithm for Verifying Approximate Pure Evolving Functional Dependencies
On the Extension of Argumentation Logic
An ASP-based Approach for Optimizing DLV Evaluation
Computational thinking for beginners: A successful experience using Prolog
Learning Answer Set Programming Rules For Ethical Machines
Nondeterministic Programming in Java with JSetL
A Ceteris Paribus Deontic Logic
A Brief History of Singlefold Diophantine Definitions
Strengthening the Rational Closure for Description Logics: An Overview
Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment
Dealing with Incompleteness and Vagueness in Inductive Logic Programming
Verification of Contact Tracing Protocols via SMT-based Model Checking and Counting Abstraction
Forward refutation for Gödel-Dummett Logics
Incrementally Predictive Runtime Verification
Extending ALC with the power-set construct
Probabilistic Compliance of Uncertain Traces in Declarative Process Mining
Towards Distributed Contextualized Knowledge Repositories for Analysis of Large-Scale Knowledge Graphs
A Framework to build Abductive-Deductive Chatbots, based on Natural Language Processing and First-Order Logic
Introduction to Probabilistic Ontologies (tutorial)
Many-valued Temporal Weighted Knowledge Bases with Typicality for Explainability
Semantic Web Services for Integrated Tourism in the Apulia Region
Diophantine Modeling of Provability in Algebraic Logic
Towards Humanized Ethical Intelligent Agents: the role of Reflection and Introspection
An Inductive Logic Programming Approach to Learning Inclusion Axioms in Fuzzy Description Logics
3coSoKu and its Logic Programming Modeling
Model Completeness, Covers and Superposition (Abridged Version)
Reversibility of Actions and Plans (invited talk)