جستجوی استاد راهنمای دانشگاهی

• Artificial Intelligence
• Nonmonotonic Reasoning
• Argumentation Frameworks
• +۴ مورد دیگر

Stefan Woltran is a Full Professor in the Databases and Artificial Intelligence department at TU Wien. He serves as Vice Dean of Academic Affairs for the Informatics Master program and leads the Research Unit for Databases and Artificial Intelligence. His research focuses on logic-based AI, including Propositional Logic, Nonmonotonic Reasoning, Argumentation frameworks, Knowledge Representation, and Logic Programming. He coordinates the Double-Degree Program Logic and Computation. His research projects include analyzing formal properties of logic-based AI approaches, complexity analysis, and developing algorithms via logic and dynamic programming. Notable projects include the HYPAR and REVEAL-AI initiatives exploring abstract argumentation and AI problem-solving. He has contributed to over 150 publications since 2001, focusing on argumentation frameworks, computational complexity, and formal methods. Woltran teaches courses such as Abstract Argumentation, Formal Methods in Computer Science, and Theoretical Computer Science. His work integrates theoretical advancements with practical solver development, such as the ASPARTIX system for argumentation tasks. He actively participates in international conferences and competitions in computational argumentation, emphasizing the application of formal methods to real-world problems.

• Computational Logic
• Declarative Logic Programming
• Answer-Set Programming
• +۵ مورد دیگر

Hans Tompits is an Associate Professor in the Department of Knowledge-Based Systems at Technische Universität Wien (Vienna University of Technology). His research focuses on computational logic, declarative logic programming, and formal methods, with a particular emphasis on Answer-Set Programming (ASP). He coordinates the Master's program in Logic and Computation and leads projects in areas such as formal methods for optimization, fault-tolerant autonomous systems, and algorithmic composition. His work bridges theoretical advancements with practical applications, including tools like SeaLion (an ASP IDE with debugging support) and dlvhex (an ASP-based semantic web reasoner). He has contributed to foundational topics like program equivalence, debugging techniques, and integration of ASP with external systems. His recent projects address challenges in autonomous vehicle architectures, music composition algorithms, and safety-critical system design. Tompits has published extensively on topics ranging from nonmonotonic reasoning and modal logics to the development of declarative programming tools. His interdisciplinary approach spans computer science, mathematics, and AI, with applications in both academic and industrial contexts.

Riccardo Rosatiمشاهده پروفایل

استاد

• Knowledge Representation
• Description Logics
• Semantic Web
• +۷ مورد دیگر

Riccardo Rosati is a Full Professor at the Department of Computer, Control, and Management Engineering, Sapienza University of Rome, affiliated with the Faculty of Information Engineering, Computer Science and Statistics. He obtained his PhD in Computer Science from Sapienza University of Rome in 1997. His research focuses on Knowledge Representation, Description Logics, Semantic Web, Ontologies, Information Integration, Databases, and Artificial Intelligence. Specifically, he has made significant contributions to the integration of description logics and logic programming, and is one of the creators of the DL-Lite family of description logics, which became a standard in the Semantic Web (OWL 2 QL). His recent publications center around controlled query evaluation, ontology-based data access, and applying knowledge representation in healthcare informatics. The trend shows strong emphasis on both theoretical foundations and practical applications. Scientific awards and recognitions include: Distinguished Paper Award at IJCAI 2024 AAAI 2021 Classic Paper Award He has advised numerous students and been involved in research projects including OPTIQUE (Scalable End-user Access to Big Data), ACSI (Artifact-Centric Service Interoperation), TONES (Thinking Ontologies), INFOMIX (boosting information integration), QuOnto (Querying Ontologies), and HYPER (How Your Peers Exchange Resources). He leads the Artificial Intelligence and Knowledge Representation research group and collaborates with the Data Management and Service-Oriented Computing group at DIAG.

Mario Alvianoمشاهده پروفایل

استاد

• Artificial Intelligence
• Knowledge Representation and Reasoning
• Combinatorial Search and Optimization
• +۵ مورد دیگر

Mario Alviano is a Full Professor in Computer Science (INF/01) at the University of Calabria, Department of Mathematics and Computer Science. He leads the LAIA lab (Laboratorio di Applicazioni dell'Intelligenza Artificiale) and serves as co-PI in the PRIN project PRODE ('Probabilistic Declarative Process Mining'). Current projects: FAIR ('Future AI Research'), Tech4You ('Technologies for climate change adaptation'), SERICS ('SEcurity and RIghts in the CyberSpace'), CAL.HUB.RIA , RADIOAMICA , and STROKE 5.0 His research focuses on Answer Set Programming (ASP), particularly in optimization, nonmonotonic reasoning, and applications to logistics, healthcare, and cybersecurity. He has authored over 120 publications in top venues like AIJ, AAAI, and IJCAI. Recent academic contributions includes work on: Temporal Many-valued Conditional Logics Weighted Knowledge Bases with Typicality Explainable AI via xASP and ASP Chef Defeasible Reasoning Scalability Notable awards: Artificial Intelligence Award 'Marco Somalvico' (2017) ICLP Best Paper Awards (2015, 2016) LPNMR Best Paper Award (2022) CILC Best Paper Award (2023)

• Computational Logic
• Artificial Intelligence
• Knowledge Representation
• +۵ مورد دیگر

Roles and Affiliations: Professor of Computational Logic at the Department of Computing, Imperial College London. Part of the Faculty of Engineering. Active in research, teaching, and publication in computational logic, artificial intelligence, and formal systems. Research Interests: Focuses on computational logic with applications to knowledge representation, action and agency theories, temporal reasoning, normative systems, legal reasoning, and formal organization models. Recent work also intersects with bioinformatics and proteomics analysis. Publications: Over 50 publications since 1986, including foundational work on the Event Calculus, normative systems, and formal methods in multi-agent systems. Notable contributions span deontic logic, agent coordination, and applications in legal reasoning and bioinformatics. Recent work emphasizes logic-based approaches to activity recognition and proteomic profiling. Teaching: Taught advanced courses on modal and temporal logic (2008–2009) and knowledge representation (2017–2018). Course materials emphasize formal semantics, nonmonotonic reasoning, and logic programming. Labs/Teams: Involved in interdisciplinary projects on computational systems, including collaborations with bioinformatics researchers and multi-agent system developers.

Daniel Schwartzمشاهده پروفایل

استاد

• Artificial Intelligence
• Formal Methods
• Autonomous Systems
• +۳ مورد دیگر

Dr. Daniel G. Schwartz is a Professor in the Computer Science Department at Florida State University (FSU). He holds a B.A. in Mathematics from Portland State University (1969), an M.S. in Mathematics from Simon Fraser University (1974), and a Ph.D. in Systems Science from Portland State University (1981). His career includes roles as Assistant Professor at Binghamton University (1981–1983) and Florida State University (1984–1989), and Associate Professor at FSU (1989–2021) before becoming a full Professor in 2021. Dr. Schwartz's research focuses on artificial intelligence, formal methods, and autonomous systems. Key areas include nonmonotonic reasoning, fuzzy logic, and applications to mission planning for autonomous vehicles (e.g., driverless cars, unmanned naval systems). He has pioneered work on dynamic reasoning systems, qualified syllogisms, and agent-oriented epistemic reasoning. His recent projects involve secure communications for unmanned aerial vehicles (funded by the U.S. Navy) and path planning for autonomous surface/underwater vehicles with doctoral student Mohamad Imran Chowdhury. Teaching includes courses on artificial intelligence, Java programming, databases, and theoretical computer science (e.g., automata theory, formal languages). His work on network security includes a U.S. Army-funded project (2001–2006) developing case-based reasoning systems for intrusion detection. His research outputs span over 20 years, with contributions to robotics, formal logic, and fuzzy systems. Current projects emphasize autonomous vehicle navigation and event possibility theory for decision-making under uncertainty.

Ken Satohمشاهده پروفایل

استاد

• Artificial Intelligence (AI) and Law
• Logical Foundations of AI
• Juris-Informatics
• +۶ مورد دیگر

Ken Satoh is a full Professor at the National Institute of Informatics (NII) and Sokendai (The Graduate University of Advanced Studies), Japan. He leads the Center for Juris-Informatics within the Joint Support-Center for Data Science Research (ROIS-DS). Previously, he worked at Fujitsu (1981-1995) and was an Associate Professor at Hokkaido University until 2001. He holds a law degree from the University of Tokyo (2006-2009) and passed the Japanese bar exam in 2017. Roles: Director of Center for Juris-Informatics, Principal Investigator in multiple AI/Law projects Research Focus: Juris-informatics (merging informatics and law), logical foundations of AI, legal debugging, and compliance mechanisms for AI systems His work bridges AI and legal systems, including developing the PROLEG framework for legal reasoning and organizing international workshops like JURISIN. Key contributions include applying logical inference to detect legal conflicts in algorithmic governance systems and advancing AI ethics through compliance checks with regulations like GDPR. He has authored over 130 publications, including works on legal norm reasoning, multi-agent systems, and formal methods in law. His research group collaborates globally, hosting competitions like COLIEE to advance legal AI technologies.

Jorge Fandinnoمشاهده پروفایل

استادیار

• Artificial Intelligence
• Knowledge Representation
• Reasoning
• +۵ مورد دیگر

Dr. Jorge Fandinno is an Assistant Professor of Computer Science at the University of Nebraska at Omaha since 2020. His academic journey includes an Alexander von Humboldt Fellowship at the University of Potsdam (Germany) and a Postdoctoral Fellowship at the Toulouse Institute of Computer Science Research (France). He earned his Ph.D. in Computer Science from the University of Corunna (Spain) in 2015. Current Role: Assistant Professor, Computer Science Department, University of Nebraska at Omaha (2020–present) Previous Roles: Alexander von Humboldt Fellow (University of Potsdam, Germany), Postdoctoral Fellow (Toulouse Institute of Computer Science Research, France) Dr. Fandinno’s research focuses on Artificial Intelligence , particularly in Knowledge Representation and Reasoning , Answer Set Programming , and Epistemic Logic . His work bridges theoretical and practical aspects, including the development of formal semantics, deductive systems, and applications in causal reasoning and constraint handling. Recent publications emphasize automated reasoning, strong equivalence verification, and integrating quantitative information into logic programming frameworks. His scholarly output includes over 60 publications in prestigious venues such as Artificial Intelligence , Journal of Artificial Intelligence Research , and conferences like AAAI, IJCAI, and LPNMR. He has received three best technical paper awards at LPNMR (2015, 2017, 2019) and mentored students who won best student papers at JELIA and ICLP. Notably, he secured a NSF CAREER award (2024) for his project on Answer Set Programming for Quantitative Information. Scientific Awards: NSF CAREER award (2024) Best technical paper, LPNMR 2015 Best technical paper, LPNMR 2017 Best technical paper, LPNMR 2019 Best student paper, JELIA 2019 (supervised student) Best student paper, ICLP 2020 (supervised student) Dr. Fandinno’s publications span theoretical advancements in logic programming, epistemic reasoning, and practical applications in causal analysis and constraint satisfaction. His recent work explores automated reasoning tools (e.g., Anthem 2.0 ), recursive aggregates, and complexity assessments in ASP.

Thomas Eiterمشاهده پروفایل

استاد

• Artificial Intelligence
• Knowledge Representation and Reasoning
• Computational Logic
• +۷ مورد دیگر

Thomas Eiter is a Full Professor at the Institute of Logic and Computation, Technical University of Vienna (TU Wien), where he serves as Head of Research Unit. He is a Full Member of the Division of Mathematics and Natural Sciences since 2022 and holds leadership roles within the university. His research focuses on knowledge representation and reasoning, computational logic, algorithms and complexity in AI, declarative problem solving, nonmonotonic logic programming and databases, and reasoning about actions and change. His work bridges theoretical foundations with practical applications in artificial intelligence, particularly in logic programming and knowledge-based systems. He has made significant contributions to Answer Set Programming (ASP), developing frameworks like DLV and HEX programs that enable sophisticated reasoning capabilities. His recent publications demonstrate a strong focus on stream reasoning (LARS framework), knowledge forgetting, modular reasoning systems, and the integration of logic programming with ontologies. His research shows consistent contributions to both theoretical foundations and practical implementations of AI systems over several decades. ACM Fellow (2020) Fellow of the European Association for AI (2006) Distinguished Paper Award of the 17th International Joint Conference on Artificial Intelligence (IJCAI, 2001) Prominent Paper Award of the Artificial Intelligence Journal (2013) Test of Time Award (10 years) of the International Conference on Logic Programming (2013) Eiter has led and participated in numerous research projects, both internationally funded (such as LogiCS@TUWien, Humane AI, AI4EU) and nationally funded (including projects like BILAI, TAIGER, and several FWF-funded initiatives). His research unit has received substantial support from European Commission programs (H2020) and Austrian funding agencies (FWF, FFG, WWTF). He is actively involved in the academic community as a member of the Austrian Academy of Sciences (ÖAW), Academia Europaea, and has served on the Executive Council of AAAI. His research unit maintains strong connections with international collaborators and has developed influential systems like the DLV answer set programming system.

• AI Ethics
• Philosophical Logic
• Computational Logic
• +۳ مورد دیگر

Kees van Berkel is an Assistant Professor in AI Ethics at the Institute of Logic and Computation, TU Wien. His research focuses on logical and formal approaches to normative reasoning, AI ethics, and deontic logics. He holds a PhD in Computer Science from TU Wien (2022) and has held postdoctoral positions at Ruhr Universität Bochum and the University of Amsterdam. He teaches courses on AI Ethics, logical argumentation, and normative reasoning at both bachelor and master levels. Van Berkel's work bridges philosophy, computer science, and artificial intelligence. His research explores formal methods for ethical AI, including deontic explanations, normative systems, and argumentation frameworks. He has published extensively on topics like STIT logics, inconsistency measures in deontic reasoning, and applications of formal logic to Indian philosophical texts. His academic roles include co-coordinator of the AI Ethics Special Interest Group at TU Wien's Center for Artificial Intelligence and Machine Learning (CAIML), and membership in the Cluster of Excellence 'Bilateral AI' (BILAI). He has organized workshops and tutorials on logical argumentation and serves on program committees for major conferences like AAAI and KR. Key projects include the LoDEx initiative (Logical Argumentation for Deontic Explanations) and involvement in interdisciplinary research on normative reasoning in AI systems. His recent work emphasizes ethical auditing of LLM-based chat services and formalizing dialogical approaches to deontic explanations.

• Knowledge representation and reasoning
• Planning
• Nonmonotonic reasoning
• +۲ مورد دیگر

Yannis Dimopoulos is a Professor in the Department of Computer Science at the University of Cyprus. He has previously held research positions at the Max-Planck Institute for Computer Science in Saarbrücken and the University of Freiburg in Germany. He earned his B.Sc. and Ph.D. in Computer Science from the Athens University of Economics and Business. His primary research interests include: Knowledge representation and reasoning Planning Nonmonotonic reasoning Constraint satisfaction Machine learning His recent research, based on publications from 2017 to 2024, focuses on the theoretical and computational aspects of abstract argumentation, particularly control argumentation frameworks, probabilistic extensions, and the integration of argumentation with Boolean networks and negotiation under incomplete information. He has also contributed significantly to Answer Set Programming (ASP) for planning, developing the plasp 3 framework for effective ASP-based planning solutions. His scholarly work appears in top-tier venues such as AAAI, IJCAI, ECAI, KR, AAMAS, and journals like Artificial Intelligence and Autonomous Agents and Multi-Agent Systems. His most frequent collaborators include Pavlos Moraitis, Jean-Guy Mailly, Antonis C. Kakas, and Wolfgang Dvorák. No scientific awards or honors are mentioned in the provided text. Yannis Dimopoulos has advised or collaborated with several researchers, including Jean-Guy Mailly, Pavlos Moraitis, Nabila Hadidi, and Muhammad Adnan Hashmi, though formal student-advisor relationships are not explicitly detailed. His work often involves theoretical and computational modeling, and while specific grants or funding sources are not listed, his sustained publication record suggests active research support. He is actively involved in research teams and collaborations focused on argumentation, multi-agent systems, and automated reasoning, as evidenced by his extensive co-authorship network.

Thomas Eiterمشاهده پروفایل

استاد

• Artificial Intelligence
• Knowledge Representation and Reasoning
• Computational Logic
• +۸ مورد دیگر

Thomas Eiter is a Full Professor of Knowledge-Based Systems and Computer Science at Vienna University of Technology (TU Wien), where he has served as Head of the Institute of Information Systems since 2004. His work bridges artificial intelligence, computational logic, and knowledge representation, with significant contributions to nonmonotonic reasoning and declarative problem-solving. He has led major international conferences and projects, including the Vienna Summer of Logic (2014), and received accolades like the Prominent Paper Award (AIJ 2013) and Test of Time Award (ICLP 2013). Education Habilitation in Information Systems (1995, TU Wien) M.Sc. (Dipl.-Ing.) in Computer Science (1989, TU Wien) Ph.D. (Dr.techn.) in Computer Science (1991, TU Wien) Research Interests Eiter’s research focuses on knowledge representation and reasoning , computational logic , and nonmonotonic logic programming . He explores algorithms and complexity in AI, declarative problem-solving frameworks, and reasoning about actions and change, often integrating intelligent agents and database systems. Scientific Leadership Chair-elect of IJCAI (2019) President of KR Inc. (2014–2015) Board Member for Computer Science at the Austrian Science Fund (FWF) (2005–2014) Co-chair of Vienna Summer of Logic (2014) Honors and Memberships Fellow of the European Association for AI (EurAI) Fellow of the Asia-Pacific AI Association (AAIA) Member of the Austrian Academy of Sciences (ÖAW) Member of Academia Europea Senior Member of ACM and IEEE Computer Society

Ilias Tachmazidisمشاهده پروفایل

مدرس ارشد

• Knowledge Representation and Reasoning
• Semantic Web
• Artificial Intelligence in Medicine
• +۳ مورد دیگر

Ilias Tachmazidis is a Senior Lecturer in the Department of Computer Science at the University of Huddersfield's School of Computing and Engineering. He actively contributes to research within the Centre for Autonomous and Intelligent Systems and the Centre of Artificial Intelligence for Mental Health. His academic journey includes a PhD from the University of Huddersfield (2015) and previous research roles in the PARK group. Education: University of Crete (B.Sc. 2010, M.Sc. 2012) Current academic rank: Senior Lecturer Active research centers: Centre for Autonomous and Intelligent Systems, Centre of Artificial Intelligence for Mental Health His research spans foundational AI concepts and applied implementations, with specific emphasis on: Knowledge Representation and Reasoning Semantic Web Technologies High Performance and Distributed Computing Artificial Intelligence Applications in Medicine and Law Recent publications highlight his work at the intersection of large language models and formal verification, alongside practical implementations for ADHD diagnosis using AI. The research demonstrates consistent engagement with UN Sustainable Development Goals through technology solutions that balance scientific rigor with societal impact. While not explicitly listing scientific awards, his activities show substantial contributions through peer-review work at IEEE conferences (2016-2020) and collaborative projects like MIREL (MIning and REasoning with Legal texts) that produced notable outputs in regulatory compliance systems.

• Approximation Theory
• Semantics
• Constraint Satisfaction Problems
• +۴ مورد دیگر

Bart Bogaerts is a Professor at the Vrije Universiteit Brussel , affiliated with the Federated Labs AI and Robotics and the Department of Informatics and Applied Informatics . His research centers on Approximation Theory , Logic Programming , Knowledge Representation , and Constraint Satisfaction Problems , with a focus on formalizing reasoning methods and optimizing computational systems. His recent publications emphasize certified algorithms, semantic web traversal, and formal verification, reflecting collaborations with institutions like KU Leuven and Maastricht University. Key themes include: Algorithm Certification : Integrating Coq for verified logic programming and optimization techniques. Web Technologies : Distributed subweb specifications and query processing frameworks. Nonmonotonic Reasoning : Advancing approximation fixpoint theory in knowledge representation. Scientific recognitions include the AAAI 2022 Distinguished Paper Award and the IJCAI 2021 Distinguished Paper Award . Dr. Bogaerts supervises PhD students such as Samuele Pollaci, Robbe Van Den Eede, and Dirk Vandesande in joint programs with VUB and KU Leuven.

• Answer Set Programming
• Logic Programming
• Knowledge Representation
• +۲ مورد دیگر

Wolfgang Faber is a researcher at Vienna University of Technology (TU Wien) specializing in Knowledge-Based Systems within the Faculty of Informatics. Holding the position of Privatdozent, he has completed his habilitation and is qualified to teach at the university level. His academic work centers on Answer Set Programming (ASP), Logic Programming, and Knowledge Representation, with significant contributions to theoretical foundations in these fields. Dr. Faber's research spans multiple areas of computational logic: Answer Set Programming and its theoretical underpinnings Epistemic logic programs and equivalence properties Knowledge representation and reasoning systems Nonmonotonic reasoning formalisms Integration of logic programming with external data sources His publication history reveals a sustained focus on theoretical aspects of ASP, with particular emphasis on program equivalence concepts (strong equivalence, uniform equivalence), computational complexity analysis, and applications to knowledge representation. Over two decades, his research has evolved from foundational work in disjunctive logic programming to specialized topics in epistemic reasoning within ASP frameworks. Dr. Faber has led and participated in numerous research projects including START (2014-2022) on Uniform Equivalence of Epistemic Logic Programs, SemDat (2012-2016), and multiple projects related to hybrid knowledge bases and Answer Set Programming from 2005-2015. His collaborative research extends across European institutions, evident through extensive co-authorship with researchers like Thomas Eiter and Stefan Woltran. While specific awards aren't documented in the available information, his sustained research output and leadership in multiple projects indicate significant recognition within his field. Dr. Faber has made substantial contributions to major systems in the field, most notably the DLV system for knowledge representation and reasoning, which has influenced both academic research and practical applications of Answer Set Programming.