Concepedia

Giambattista Amati

GA

13

Publications

357

Citations

12

H-Index

1987

Active since

Affiliations

Fondazione "Ugo Bordoni"(Current)

University of Rome Tor Vergata

University of L'Aquila

Sapienza University of Rome

Giambattista Amati is an author at Fondazione "Ugo Bordoni" specializing in engineering, automated reasoning, and knowledge discovery.

Top concepts

EngineeringAutomated ReasoningText MiningData ScienceFormal MethodsKnowledge DiscoveryLanguageComputer ScienceContent AnalysisFormal Verification

Publications per year

1987–2018

13

Publications

13

FUB, IASI-CNR and University of Tor Vergata at TREC 2007 Blog Track

Giambattista Amati, Giuseppe Amodeo, Marco Bianchi et al. · Cineca Institutional Research Information System (Tor Vergata University) · 2007 · 55 citations · Full text

Conceptual Graphs and First Order Logic

Giambattista Amati · The Computer Journal · 2000 · 44 citations

Non-classical Logic, Engineering, Automated Reasoning +13

FUB at TREC-10 Web track: A probabilistic framework for topic relevance term weighting

Giambattista Amati, Claudio Carpineto, Giovanni Romano · Text REtrieval Conference · 2001 · 42 citations

Engineering, Intelligent Information Retrieval, Relevance Assessments +22

Modal operators with probabilistic interpretations, I

Maurizio Fattorosi‐Barnaba, Giambattista Amati · Studia Logica · 1987 · 40 citations

Engineering, Automated Reasoning, Modal Operators +5

A proof theoretical approach to default reasoning I: tableaux for default logic

Giambattista Amati · Journal of Logic and Computation · 1996 · 28 citations

Tableau Formulation, Applied Logic, Non-classical Logic +13

Rows per page

1–5 of 13