Giuseppe De Giacomo | |
---|---|
Born | Italy | 8 August 1965
Awards |
|
Scientific career | |
Fields | Artificial Intelligence Knowledge Representation |
Institutions | Oxford University Sapienza University |
Thesis | Decidability of ClassBased Knowledge Representation Formalisms (1995) |
Doctoral advisor | Maurizio Lenzerini |
Website |
Giuseppe De Giacomo is an Italian computer scientist. He is a Professor of Computer Science at the Department of Computer Science, University of Oxford (Oxford, UK), [4] and Professor of Computer Engineering at the Department of Computer, Control and Management Engineering, Sapienza University of Rome (Rome, Italy). [5] He is also a Senior Research Fellow at the Green Templeton College.
De Giacomo obtained his master's degree in Electronic Engineering in 1991 at Sapienza University of Rome. After that, in 1995, [6] he earned his PhD from the same institution, under the supervision of Maurizio Lenzerini. [7]
After the PhD, De Giacomo visited Yoav Shoham at Stanford University and then worked as a postdoctoral researcher at the University of Toronto in the Cognitive Robotics research group, [8] working with Hector Levesque and Ray Reiter. De Giacomo returned to Sapienza University as a faculty member in 1998. [9]
De Giacomo's research interests concern theoretical, methodological, and applicative aspects of different areas of Artificial Intelligence and Computer Science. [10] He is internationally renowned for his significant contributions to the field of knowledge representation and reasoning, situation calculus, generalized forms of automated planning, temporal logics, verification and synthesis of KR-based systems, and business process modeling. De Giacomo has co-authored over 300 publications in top scientific journals and conference proceedings. [11] [12] His research was seminal to the area of description logics and ontologies for the introduction of a tractable fragment of description logics called DL-Lite. [13]
De Giacomo served as associate program chair at the International Joint Conference on Artificial Intelligence (IJCAI) in 2021, [14] as program chair for the European Conference on Artificial Intelligence (ECAI) in 2020, [15] and as program chair for the International Conference on Principles of Knowledge Representation and Reasoning (KR) in 2014. [16]
In 2019, De Giacomo was awarded an ERC Advanced Grant for the project titled White-Box Self-Programming Mechanisms (WhiteMech) (2019-2024). [17] [18]
In 2016, De Giacomo was elected an AAAI Fellow "for significant contributions to the field of knowledge representation and reasoning, and applications to data integration, ontologies, planning, and process synthesis and verification". [1] He was also elected an ACM Fellow "for contributions to description logics, data management, and verification of data-driven processes" [2] in 2015, and an EurAI Fellow [3] in 2012.
He and his co-authors won the Classic Paper Award from the AAAI Conference on Artificial Intelligence in 2021, [19] and the first 10-year Test-of-Time Award from the International Conference on Service Oriented Computing in 2013. [20] [21]
De Giacomo is the co-founder and scientific advisor of OBDA systems, [22] an innovation startup of Sapienza University of Rome, and a company of the Almawave Group.
Douglas Bruce Lenat was an American computer scientist and researcher in artificial intelligence who was the founder and CEO of Cycorp, Inc. in Austin, Texas.
Stuart Jonathan Russell is a British computer scientist known for his contributions to artificial intelligence (AI). He is a professor of computer science at the University of California, Berkeley and was from 2008 to 2011 an adjunct professor of neurological surgery at the University of California, San Francisco. He holds the Smith-Zadeh Chair in Engineering at University of California, Berkeley. He founded and leads the Center for Human-Compatible Artificial Intelligence (CHAI) at UC Berkeley. Russell is the co-author with Peter Norvig of the authoritative textbook of the field of AI: Artificial Intelligence: A Modern Approach used in more than 1,500 universities in 135 countries.
Judea Pearl is an Israeli-American computer scientist and philosopher, best known for championing the probabilistic approach to artificial intelligence and the development of Bayesian networks. He is also credited for developing a theory of causal and counterfactual inference based on structural models. In 2011, the Association for Computing Machinery (ACM) awarded Pearl with the Turing Award, the highest distinction in computer science, "for fundamental contributions to artificial intelligence through the development of a calculus for probabilistic and causal reasoning". He is the author of several books, including the technical Causality: Models, Reasoning and Inference, and The Book of Why, a book on causality aimed at the general public.
Reason maintenance is a knowledge representation approach to efficient handling of inferred information that is explicitly stored. Reason maintenance distinguishes between base facts, which can be defeated, and derived facts. As such it differs from belief revision which, in its basic form, assumes that all facts are equally important. Reason maintenance was originally developed as a technique for implementing problem solvers. It encompasses a variety of techniques that share a common architecture: two components—a reasoner and a reason maintenance system—communicate with each other via an interface. The reasoner uses the reason maintenance system to record its inferences and justifications of the inferences. The reasoner also informs the reason maintenance system which are the currently valid base facts (assumptions). The reason maintenance system uses the information to compute the truth value of the stored derived facts and to restore consistency if an inconsistency is derived.
Belief revision is the process of changing beliefs to take into account a new piece of information. The logical formalization of belief revision is researched in philosophy, in databases, and in artificial intelligence for the design of rational agents.
Bart Selman is a Dutch-American professor of computer science at Cornell University. He has previously worked at AT&T Bell Laboratories. He is also co-founder and principal investigator of the Center for Human-Compatible Artificial Intelligence (CHAI) at the University of California, Berkeley, led by Berkeley artificial intelligence (AI) expert Stuart J. Russell, and co-chair of the Computing Community Consortium's 20-year roadmap for AI research.
Raymond Reiter was a Canadian computer scientist and logician. He was one of the founders of the field of non-monotonic reasoning with his work on default logic, model-based diagnosis, closed-world reasoning, and truth maintenance systems. He also contributed to the situation calculus.
The biennial European Conference on Artificial Intelligence (ECAI) is the leading conference in the field of Artificial Intelligence in Europe, and is commonly listed together with IJCAI and AAAI as one of the three major general AI conferences worldwide. The conference series has been held without interruption since 1974, originally under the name AISB.
Alan Richard Bundy is a professor at the School of Informatics at the University of Edinburgh, known for his contributions to automated reasoning, especially to proof planning, the use of meta-level reasoning to guide proof search.
Hector Joseph Levesque is a Canadian academic and researcher in artificial intelligence. His research concerns incorporating commonsense reasoning in intelligent systems and he initiated the Winograd Schemas Challenge.
Maurizio Lenzerini is an Italian professor of computer science and engineering at the Sapienza University of Rome, where he specializes in database theory, Ontology language, Knowledge Representation and Reasoning as well as service modeling. He is the author of over 400 peer-reviewed articles, a fellow of both the European Coordinating Committee for Artificial Intelligence and ACM, and a member of the Academia Europaea - The Academy of Europe.
Henry A. Kautz is a computer scientist, Founding Director of Institute for Data Science and Professor at University of Rochester. He is interested in knowledge representation, artificial intelligence, data science and pervasive computing.
Francesca Rossi is an Italian computer scientist, currently working at the IBM Thomas J. Watson Research Center as an IBM Fellow and the IBM AI Ethics Global Leader.
Sheila McIlraith is a Canadian computer scientist specializing in Artificial Intelligence (AI). She is a Professor in the Department of Computer Science, University of Toronto. She is a Canada CIFAR AI Chair, a faculty member of the Vector Institute, and Associate Director and Research Lead of the Schwartz Reisman Institute for Technology and Society.
Michael Genesereth is an American logician and computer scientist, who is most known for his work on computational logic and applications of that work in enterprise management, computational law, and general game playing. Genesereth is professor in the Computer Science Department at Stanford University and a professor by courtesy in the Stanford Law School. His 1987 textbook on Logical Foundations of Artificial Intelligence remains one of the key references on symbolic artificial intelligence. He is the author of the influential Game Description Language (GDL) and Knowledge Interchange Format (KIF), the latter of which led to the ISO Common Logic standard.
Thomas L. Dean is an American computer scientist known for his work in robot planning, probabilistic graphical models, and computational neuroscience. He was one of the first to introduce ideas from operations research and control theory to artificial intelligence. In particular, he introduced the idea of the anytime algorithm and was the first to apply the factored Markov decision process to robotics. He has authored several influential textbooks on artificial intelligence.
In database theory and knowledge representation, the one of the certain answers is the set of answers to a given query consisting of the intersection of all the complete databases that are consistent with a given knowledge base. The notion of certain answer, investigated in database theory since the 1970s, is indeed defined in the context of open world assumption, where the given knowledge base is assumed to be incomplete.
Johan de Kleer is a computer scientist working as a Research Fellow at Xerox PARC.