Palopoli, Luigi

1. On the Tractability of Minimal Model Computation for Some CNF Theories
   2013/10/30 by Fabrizio Angiulli, Angiulli, Fabrizio, Rachel Ben‐Eliyahu‐Zohary +5 · 2 citations
   Computer Science · #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge
2. Real-Time scheduling: from hard to soft real-time systems
   2015/12/07 by Lipari, Giuseppe, Palopoli, Luigi · 1 citation
   #FOS: Computer and information sciences #Operating Systems (cs.OS)
3. A Passive Variable Impedance Control Strategy with Viscoelastic Parameters Estimation of Soft Tissues for Safe Ultrasonography
   2023/09/26 by Luca Beber, Edoardo Lamon, Beber, Luca +9 · 2 citations
   Engineering · Medicine · #FOS: Computer and information sciences #FOS: Electrical engineering #Prosthetics and Rehabilitation Robotics #Robotics (cs.RO) #Soft Robotics and Applications #Stroke Rehabilitation and Recovery #Systems and Control (eess.SY) #electronic engineering #information engineering
4. When Prolog meets generative models: a new approach for managing knowledge and planning in robotic applications
   2023/09/26 by Enrico Saccon, Ahmet Tikna, Saccon, Enrico +9 · 2 citations
   Computer Science · #Semantic Web and Ontologies #AI-based Problem Solving and Planning #Logic, Reasoning, and Knowledge
5. MeshDMP: Motion Planning on Discrete Manifolds using Dynamic Movement Primitives
   2024/10/19 by Vedove, Matteo Dalle, Abu-Dakka, Fares J., Palopoli, Luigi +2 · 2 citations
   #FOS: Computer and information sciences #Robotics (cs.RO)
6. An Anatomy-Aware Shared Control Approach for Assisted Teleoperation of Lung Ultrasound Examinations
   2024/09/25 by Nardi, Davide, Lamon, Edoardo, Beber, Luca +3 · 1 citation
   #FOS: Computer and information sciences #Robotics (cs.RO)