Luigi Palopoli

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 Giuseppe Lipari, Luigi Palopoli, Lipari, Giuseppe +1 · 1 citation
   Computer Science · #Embedded Systems Design Techniques #FOS: Computer and information sciences #Operating Systems (cs.OS) #Petri Nets in System Modeling #Real-Time Systems Scheduling
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