Giuseppe De Giacomo

Last updated
Giuseppe De Giacomo
Born (1965-08-08) 8 August 1965 (age 58)
Italy
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.

Contents

Education

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]

Career and research

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]

Awards and honors

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]

Entrepreneurial activities

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.

Related Research Articles

<span class="mw-page-title-main">Douglas Lenat</span> Computer scientist and AI pioneer

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.

<span class="mw-page-title-main">Stuart J. Russell</span> British computer scientist and author (born 1962)

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.

<span class="mw-page-title-main">Judea Pearl</span> Computer scientist (born 1936)

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.

<span class="mw-page-title-main">Alan Bundy</span> British artificial intelligence researcher (born 1947)

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.

<span class="mw-page-title-main">Francesca Rossi</span> Italian computer scientist

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.

<span class="mw-page-title-main">Thomas Dean (computer scientist)</span> American computer scientist

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.

References

  1. 1 2 "Elected AAAI Fellows". AAAI.
  2. 1 2 "Giuseppe De Giacomo". awards.acm.org.
  3. 1 2 "Awards". www.eurai.org.
  4. "Giuseppe De Giacomo". Department of Computer Science.
  5. "Giuseppe De Giacomo | Dipartimento di Ingegneria informatica, automatica e gestionale". www.diag.uniroma1.it.
  6. "Giuseppe De Giacomo's personal website - Papers".
  7. "PhD students | Maurizio Lenzerini's home page". www.diag.uniroma1.it.
  8. "Cognitive Robotics » People".
  9. "De Giacomo | Sapienza - Università di Roma". www.cis.uniroma1.it.
  10. Giuseppe De Giacomo author profile page at the ACM Digital Library
  11. Giuseppe De Giacomo publications indexed by Google Scholar
  12. "Giuseppe De Giacomo's DBLP page".
  13. Calvanese, Diego; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo (2007), "Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family" , Journal of Automated Reasoning, Springer, 39 (3): 385–429, doi:10.1007/s10817-007-9078-x, S2CID   830547
  14. "IJCAI-21 Program Committee – IJCAI 2021".
  15. "Chairs – Digital Ecai 2020".
  16. "KR 2014 - 14th International Conference on Principles of Knowledge Representation and Reasoning". www.dbai.tuwien.ac.at.
  17. "White-Box Self-Programming Mechanisms | WhiteMech Project | Fact Sheet | H2020". CORDIS | European Commission.
  18. "WhiteMech - Home". whitemech.github.io.
  19. "AAAI Classic Paper Award". AAAI.
  20. "ICSOC 10th Anniversary, most influential paper published from 2003 to 2012 at th 11th International Conference on Service Oriented Computing ICSOC 2013 for the paper "Automatic Composition of E-services That Export Their Behavior" published at ICSOC 2003". iris.uniroma1.it.
  21. "ICSOC Most Influential Paper Award Video". YouTube .
  22. "Home - OBDA Systems". obdm.obdasystems.com.