Nicola Leone
- Hypertree Decompositions and Tractable Queries
1998/12/28 by G. Gottlob, Georg Gottlob, Nicola Leone +3 · 34 citations
Computer Science · #Advanced Graph Theory Research #Complexity and Algorithms in Graphs #Data Management and Algorithms #cs.AI #cs.DB
- The complexity of acyclic conjunctive queries
2001/05/01 by Georg Gottlob, Nicola Leone, Francesco Scarcello · 3 citations
Computer Science · #Advanced Database Systems and Queries #Advanced Graph Theory Research #Data Management and Algorithms
- Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels
2023/05/17 by Vito Barbara, Massimo Guarascio, Barbara, Vito +11 · 3 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Multi-Agent Systems and Negotiation #Natural Language Processing Techniques #Topic Modeling
- Team-building with Answer Set Programming in the Gioia-Tauro Seaport
2011/01/24 by Francesco Ricca, Ricca, Francesco, Giovanni Grasso +11 · 1 citation
Computer Science · #68T27 #FOS: Computer and information sciences #I.2.1 #Logic in Computer Science (cs.LO) #acm:68T27 #cs.LO #msc:68T27
- A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification
2020/08/06 by Roberta Costabile, Costabile, Roberta, Gelsomina Catalano +9 · 1 citation
Computer Science · Medicine · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Migraine and Headache Studies #cs.AI #cs.LO
- Manipulation of Articulated Objects using Dual-arm Robots via Answer Set Programming
2020/10/02 by Riccardo Bertolucci, Alessio Capitanelli, Bertolucci, Riccardo +11 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Robotics (cs.RO) #cs.AI #cs.LO #cs.RO