Find Academic Supervisors

Nicola LeoneView profile

Professor

• Knowledge representation and reasoning
• Deductive databases
• Semantic web
• +5 more

Nicola Leone is a Full Professor of Computer Science at the University of Calabria , Italy, within the Department of Mathematics and Computer Science . Since 2000, he has held key academic and administrative roles, including Head of Department, Coordinator of the PhD Program in Mathematics and Informatics, Member of the Academic Senate, and Director of the PhD School in Systems Engineering, Informatics, Mathematics, and Operation Research. His research spans foundational and applied areas in Artificial Intelligence and Database Systems , with a focus on knowledge representation and reasoning , deductive databases , semantic web , answer set programming , and ontologies . He has been instrumental in advancing the theoretical and practical aspects of these fields, contributing to both academic discourse and real-world applications. Leone has been recognized with numerous prestigious awards, including the EurAI Fellowship , the ACM-PODS Alberto O. Mendelzon Test-of-Time Award , and multiple civic honors for scientific excellence. He has served on over 100 program committees and held editorial roles in top-tier journals. He has supervised 25 PhD dissertations and over 200 master’s theses , with many of his former students now holding professorships and contributing significantly to AI research. His leadership in education and research has shaped a generation of scholars in computer science and AI.

• Knowledge Representation and Reasoning
• Data Engineering
• Database Theory
• +4 more

Eleonora Laurenza is a PostDoc Researcher at the Department of Databases and Artificial Intelligence, Vienna University of Technology (TU Wien). Her research focuses on the intersection of deductive logic-based and inductive methods in Artificial Intelligence, with a special emphasis on Knowledge Graphs, Data Engineering, and Reasoning Systems. She contributes to projects like KnowledgeGraph (2020–2028), DeConquer (2023–2027), and SustainGraph (2023–2025). Her work spans topics such as scalable reasoning in knowledge graphs, probabilistic reasoning frameworks, and applications in distributed ledger technology. Recent publications address FATEful smart contracts and model-independent knowledge graph design. She teaches courses like 'Knowledge Graphs' and 'Research and Career Planning for Doctoral Students.' Laurenza collaborates on interdisciplinary projects involving blockchain ethics, regulatory compliance systems, and uncertainty modeling in data systems. Her research bridges foundational theory with practical applications in AI-driven data management.

• Knowledge Representation
• Description Logics
• Ontology Engineering
• +4 more

Sanja Lukumbuzya is a PostDoc Researcher at the Knowledge-Based Systems group (E192-03) of Vienna University of Technology. Her work bridges formal logic and practical data systems, focusing on ontology-mediated data management, description logics, and business process challenges. Research Interests Ontology-Based Data Access (OBDA) Description Logics and Datalog Rewriting Process Mining and Workflow Analysis Hybrid Reasoning Systems Incomplete Data Handling Computational Complexity in Knowledge Bases Affiliations Vienna University of Technology, Austria Researcher in projects KtoAPP (2018–2025) and OMEGA (2017–2022) Publications Trends Her recent work addresses algorithmic complexity in expressive logics (2024), coNP expressiveness in ontology queries (2023), and practical BPM challenges (2023). Earlier studies focused on bounded predicates (2021), hybrid ASP-ontology frameworks (2020), and dishonesty modeling (2018).

• Logic Programming
• Computational Complexity
• Nonmonotonic Reasoning
• +4 more

Mantas Simkus is an Assistant Professor at TU Wien's Institute of Logic and Computation, affiliated with the Database and Artificial Intelligence Group. He previously held an Associate Professor position at Umeå University (Sweden) within the Wallenberg AI, Autonomous Systems and Software Program (WASP). He leads the FWF-funded project 'KtoAPP: Compiling Knowledge into Applications' and contributes to the Cluster of Excellence 'Bilateral Artificial Intelligence'. His research focuses on logic-based data management, knowledge representation, and nonmonotonic reasoning, with applications in semantic web technologies and ontology engineering. Education: Bachelor's in Computer Science from Vilnius University. Research interests include logic programming, computational complexity, description logics, and their integration with databases. He explores techniques for efficient query answering, schema validation (e.g., SHACL), and reasoning under incomplete information. His work bridges theoretical foundations (e.g., complexity analysis, formal semantics) with practical systems (e.g., ontology-mediated query processing). Key projects include 'KtoAPP' (2018–2025), investigating automated knowledge compilation, and contributions to the 'SemDat' and 'OMEGA' initiatives. He teaches courses on deductive databases and semi-structured data at TU Wien. He actively participates in academic service: co-chair of RuleML+RR 2024, editorial board member of the Artificial Intelligence journal, and former co-chair of DL 2019. His research group collaborates on topics like graph databases, answer set programming, and hybrid knowledge representation systems.

• Computational Logic
• Multi-Agent Reasoning
• Nonmonotonic Reasoning
• +3 more

Dr. Jürgen Dix is affiliated with the Department of Knowledge-Based Systems at TU Wien. His research focuses on advanced computational logic, multi-agent systems, nonmonotonic reasoning, and knowledge representation. He holds a doctorate (Dr.) and is recognized as a university lecturer (Univ.Doz.). Role: Researcher Affiliation: TU Wien, Department of Knowledge-Based Systems His work bridges theoretical foundations of logic programming with practical applications in deductive databases and agent-based reasoning systems. Contact: juergen.dix@tuwien.ac.at