World's Best Scientists 2026 revealed!
Enrico Giunchiglia

Enrico Giunchiglia

D-Index & Metrics

Computer Science

D-Index
40
Citations
8017
World Ranking
9196
National Ranking
258

Overview

Enrico Giunchiglia is affiliated with the University of Genoa in Italy and works primarily in the field of Computer Science. Their research focuses substantially on Artificial Intelligence, with related interests spanning Computational Theory and Mathematics, Computer Vision and Pattern Recognition, Computer Science Applications, and Software.

The main topics addressed in Enrico Giunchiglia's work include:

  • Logic, programming, and type systems
  • AI-based Problem Solving and Planning
  • Logic, Reasoning, and Knowledge
  • Formal Methods in Verification
  • Semantic Web and Ontologies
  • Context-Aware Activity Recognition Systems
  • Privacy-Preserving Technologies in Data

The scientist has collaborated frequently with several coauthors, notably:

  • Matteo Cardellini
  • Marco Maratea
  • Qiang Shen
  • Haotian Feng
  • Rui Song

Enrico Giunchiglia's publications are distributed across several venues, including:

  • arXiv (Cornell University)
  • Proceedings of the AAAI Conference on Artificial Intelligence
  • Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence
  • Artificial Intelligence

Recent papers authored or coauthored by Enrico Giunchiglia include:

  • "Causal Laws and Multi-Valued Fluents," 2023, arXiv (Cornell University)
  • "Symbolic Numeric Planning with Patterns," 2023, arXiv (Cornell University)
  • "Symbolic Numeric Planning with Patterns," 2024, Proceedings of the AAAI Conference on Artificial Intelligence
  • "Temporal Numeric Planning with Patterns," 2025, Proceedings of the AAAI Conference on Artificial Intelligence
  • "Federated Multi-Task Attention for Cross-Individual Human Activity Recognition," 2022, Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence

Best Publications

  • NuSMV 2: An OpenSource Tool for Symbolic Model Checking

    Alessandro Cimatti;Edmund M. Clarke;Enrico Giunchiglia;Fausto Giunchiglia

  • Nonmonotonic causal theories

    Enrico Giunchiglia;Joohyung Lee;Vladimir Lifschitz;Norman McCain

  • Nusmv version 2: an opensource tool for symbolic model checking

    Alessandro Cimatti;Edmund M. Clarke;Enrico Giunchiglia;Fausto Giunchiglia

  • An action language based on causal explanation: preliminary report

    Enrico Giunchiglia;Vladimir Lifschitz

  • Benefits of Bounded Model Checking at an Industrial Setting

    Fady Copty;Limor Fix;Ranan Fraer;Enrico Giunchiglia

  • Answer Set Programming Based on Propositional Satisfiability

    Enrico Giunchiglia;Yuliya Lierler;Marco Maratea

  • Planning via Model Checking: A Decision Procedure for AR

    Alessandro Cimatti;Fausto Giunchiglia;Enrico Giunchiglia;Paolo Traverso

  • QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability

    Enrico Giunchiglia;Massimo Narizzano;Armando Tacchella

  • SAT-Based Procedures for Temporal Reasoning

    Alessandro Armando;Alessandro Armando;Claudio Castellini;Enrico Giunchiglia

  • Clause/term resolution and learning in the evaluation of quantified Boolean formulas

    Enrico Giunchiglia;Massimo Narizzano;Armando Tacchella

  • Representing action: indeterminacy and ramifications

    Enrico Giunchiglia;G. Neelakantan Kartha;Vladimir Lifschitz

  • Backjumping for quantified Boolean logic satisfiability

    Enrico Giunchiglia;Massimo Narizzano;Armando Tacchella

  • Learning for quantified boolean logic satisfiability

    Enrico Giunchiglia;Massimo Narizzano;Armando Tacchella

  • SAT-based planning in complex domains: concurrency, constraints and nondeterminism

    Claudio Castellini;Enrico Giunchiglia;Armando Tacchella

  • SAT-Based Decision Procedures for Classical Modal Logics

    Enrico Giunchiglia;Armando Tacchella;Fausto Giunchiglia

  • Non-omniscient belief as context-based reasoning

    Fausto Giunchiglia;Luciano Serafini;Enrico Giunchiglia;Marcello Frixione

  • SAT-based answer set programming

    Enrico Giunchiglia;Yuliya Lierler;Marco Maratea

  • Constraints and AI planning

    A. Nareyek;E.C. Freuder;R. Fourer;E. Giunchiglia

  • Act, and the rest will follow: exploiting determinism in planning as satisfiability

    Enrico Giunchiglia;Alessandro Massarotto;Roberto Sebastiani

  • Efficient semantic matching

    Fausto Giunchiglia;Mikalai Yatskevich;Enrico Giunchiglia

  • Theory and Applications of Satisfiability Testing

    Enrico Giunchiglia;Armando Tacchella

Frequent Co-Authors

Armando Tacchella
Armando Tacchella University of Genoa
Fausto Giunchiglia
Fausto Giunchiglia University of Trento
Alessandro Cimatti
Alessandro Cimatti Fondazione Bruno Kessler
Paolo Traverso
Paolo Traverso Fondazione Bruno Kessler
Roberto Sebastiani
Roberto Sebastiani University of Trento
Claudio Castellini
Claudio Castellini University of Erlangen-Nuremberg
Luciano Serafini
Luciano Serafini Fondazione Bruno Kessler
Vladimir Lifschitz
Vladimir Lifschitz The University of Texas at Austin
Bernd Becker
Bernd Becker University of Freiburg
Marco Pistore
Marco Pistore Fondazione Bruno Kessler

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Considering a future in Computer Science goes beyond just earning a bachelor’s degree. Many students explore online associate's degree programs as a flexible and affordable way to get started. These two-year degrees can help you learn key tech skills and provide entry into the workforce or a stepping stone toward further education.

If you’re looking to specialize or advance your career quickly, there are options for the quickest cheapest masters degree programs. These accelerated paths help you earn a respected qualification without putting your career on hold.

For those interested in long-term value, it’s useful to focus on the most worthwhile masters degrees in growing fields, such as artificial intelligence, cybersecurity, and data science. These areas are highly valued by employers and can open doors to lucrative positions.

In addition to degrees, professionals often boost their earnings and job prospects through certifications that pay well. Many can be earned online in just a few months, adding valuable credentials to your resume.

Best Scientists Citing Enrico Giunchiglia

Trending Scientists

Recently Published Articles