Concepedia
Statistics
Publications
6
Citations
212
H-Index
Active since
2000
Affiliations
University of Catania(Current)
Sapienza University of Rome
Veronica Biazzo is an author at University of Catania specializing in engineering, automated reasoning, and formal methods.
Top concepts
EngineeringAutomated ReasoningProbabilityFormal MethodsComputer ScienceSemanticsStatisticsData ScienceImage AnalysisMachine Vision
Publications per year
2000–2008
A generalization of the fundamental theorem of de Finetti for imprecise conditional probability assessments
Veronica Biazzo, Angelo Gilio · International Journal of Approximate Reasoning · 2000 · 86 citations
Engineering, Automated Reasoning, Probabilistic System +8
Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in System<i>P</i>
Veronica Biazzo, Angelo Gilio, Thomas Lukasiewicz et al. · Journal of Applied Non-Classical Logics · 2002 · 51 citations
Probabilistic Ontology, Probability Logic, Probabilistic Logic +12
Coherence checking and propagation of lower probability bounds
Veronica Biazzo, Giuseppe Sanfilippo, Angelo Gilio · Soft Computing · 2003 · 22 citations
Engineering, Automated Reasoning, Lower Bound +7
Temporal probabilistic object bases
Veronica Biazzo, Rosalba Giugno, Thomas Lukasiewicz et al. · IEEE Transactions on Knowledge and Data Engineering · 2003 · 20 citations
Engineering, Machine Learning, Statistical Relational Learning +19
On the Linear Structure of Betting Criterion and the Checking of Coherence
Veronica Biazzo, Angelo Gilio · Annals of Mathematics and Artificial Intelligence · 2002 · 19 citations
1–5 of 6