Giuliana Sabbatini is an author at TU Wien specializing in automated reasoning, formal verification, and semantics.
Top concepts
SemanticsEngineeringFormal MethodsLogic ProgrammingAutomated ReasoningFormal VerificationProbabilitySemantic WebPublic HealthCausal Inference
Publications per year
2001–2005
3
3
On properties of update sequences based on causal rejection
Thomas Eiter, Michael Fink, Giuliana Sabbatini et al. · Theory and Practice of Logic Programming · 2002 · 121 citations
A framework for declarative update specifications in logic programs
Thomas Eiter, Michael Fink, Giuliana Sabbatini et al. · 2001 · 41 citations
Rows per page
1–3 of 3