Paolo Felli

1. Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested\n Belief
   2021/10/05 by Christian Muise, Vaishak Belle, Muise, Christian +11 · 1 citation
   Computer Science · #68T42 #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #I.2 #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies
2. A Semantic Approach to Decidability in Epistemic Planning (Extended Version)
   2023/07/28 by Alessandro Burigana, Burigana, Alessandro, Paolo Felli +5 · 1 citation
   Computer Science · #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies
3. Conformance Checking of Fuzzy Logs against Declarative Temporal Specifications
   2024/06/17 by Ivan Donadello, Donadello, Ivan, Paolo Felli +7 · 2 citations
   Computer Science · #03B44 (Secondary) #68T27 (Primary) 68T27 #68T30 #68T37 #Artificial Intelligence (cs.AI) #Data Management and Algorithms #F.4.1 #FOS: Computer and information sciences #Formal Methods in Verification #Fuzzy Logic and Control Systems #I.2.4 #Logic in Computer Science (cs.LO)
4. CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version)
   2021/03/18 by Paolo Felli, Felli, Paolo, Alessandro Gianola +7 · 1 citation
   Business, Management and Accounting · Computer Science · #Artificial Intelligence (cs.AI) #Business Process Modeling and Analysis #FOS: Computer and information sciences #Model-Driven Software Engineering Techniques #Service-Oriented Architecture and Web Services