Concepedia

Enrico Giunchiglia

EG

33

Publications

2K

Citations

24

H-Index

1993

Active since

Affiliations

University of Genoa(Current)

The University of Texas at Austin

University of Calabria

Friedrich-Alexander-Universität Erlangen-Nürnberg

University of Trento

Enrico Giunchiglia is an author at University of Genoa specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsFormal VerificationSatisfiabilityVerificationArtificial IntelligenceComputational ComplexitySystems Engineering

Publications per year

1993–2020

33

Publications

33

Nonmonotonic causal theories

Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz et al. · Artificial Intelligence · 2003 · 455 citations

Nonmonotonic Causal Theories, Causality, Public Health +3

An action language based on causal explanation: preliminary report

Enrico Giunchiglia, Vladimir Lifschitz · 1998 · 192 citations

Answer Set Programming Based on Propositional Satisfiability

Enrico Giunchiglia, Yuliya Lierler, Marco Maratea · Journal of Automated Reasoning · 2006 · 159 citations

Engineering, Automated Reasoning, Answer Set Programming +5

Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas

Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella · Journal of Artificial Intelligence Research · 2006 · 106 citations · Full text

Engineering, Boolean Function, Verification +18

Representing action: indeterminacy and ramifications

Enrico Giunchiglia, G. Kartha, Vladimir Lifschitz · Artificial Intelligence · 1997 · 96 citations

Philosophy Of Language, Action (Philosophy), Reasoning About Action +3

Rows per page

1–5 of 33