MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Gianni Amati" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

18 documents found, showing 1 through 10. Next 10 →

ATOM

Conceptual Graphs and First Order Logic
by Gianni Amati, Iadh Ounis — 2000
…Conceptual Graphs and First Order Logic GIANNI AMATI 1,2 AND IADH OUNIS 2 1 Fondazione Ugo…
Cited by 8 (1 self) – Add To MetaCart

Contexts as Relativized Definitions: A Formalization Via Fixed Points
by Gianni Amati, Fiora Pirri — 1997 — Fourth Symposium on Logical Formalizations of Commonsense Reasoning, London,1998
…Contexts as relativized definitions: a formalization via fixed points Gianni Amati Fiora Pirri…
Cited by 1 (1 self) – Add To MetaCart

A Framework for Filtering News and Managing Distributed Data
by Gianni Amati, Vittorio Giannini, Flavio Ubaldini — 1997 — Journal of Universal Computer Science
…A Framework for Filtering News and Managing Distributed Data Gianni Amati (Fondazione Ugo Bordoni…
Cited by 2 (0 self) – Add To MetaCart

The dynamic absorbing model for the web
by Gianni Amati, Iadh Ounis, Vassilis Plachouras — 2003 — Journal of Web Engineering
…The Dynamic Absorbing Model for the Web Gianni Amati ∗ , Iadh Ounis, Vassilis Plachouras…
Cited by 9 (3 self) – Add To MetaCart

Probabilistic Models for Information Retrieval based on Divergence from Randomness
by Gianni Amati, Cornelis Joost, Van Rijsbergen — 2002 — ACM Transactions on Information Systems
… Models of Information Retrieval Based on Measuring the Divergence from Randomness GIANNI AMATI University…
Cited by 75 (5 self) – Add To MetaCart

A learning system for selective dissemination of information
by Gianni Amati, Fondazione Ugo Bordoni — 1997 — S A
…A Learning System for Selective Dissemination of Information Gianni Amati Fondazione Ugo Bordoni…
Cited by 1 (1 self) – Add To MetaCart

University of Glasgow at the Web track of TREC 2002
by Vassilis Plachouras, Iadh Ounis, Gianni Amati, C. J. Van Rijsbergen — 2002 — In NIST Special Publication: SP 500-251 The Eleventh Text Retrieval Conference (TREC) (pp. 645—651). , MD: National Institute of Standards and Technology
…University of Glasgow at the Web track of TREC 2002 Vassilis Plachouras, Iadh Ounis, Gianni Amati…
Cited by 2 (1 self) – Add To MetaCart

Is There a Logic of Provability for Nonmonotonic Reasoning?
by Gianni Amati, Fondazione Ugo Bordoni, Fiora Pirri — 1996 — Proceedings of the Fourth International Conference on the Principles of Knowledge Representation and Reasoning (KR-96
…Is there a logic of provability for nonmonotonic reasoning? Gianni Amati Fondazione Ugo Bordoni…
Cited by 1 (1 self) – Add To MetaCart

Defaults as restrictions on classical Hilbert-style proofs
by Gianni Amati, Luigia Carlucci Aiello, Fiora Pirri — 1995 — Journal of Logic Language and Information
…Defaults as restrictions on classical Hilbert-style proofs Gianni Amati Fondazione Ugo Bordoni…
Cited by 3 (3 self) – Add To MetaCart

A proof theoretical approach to default reasoning I: tableaux for default logic
by Gianni Amati, Luigia Carlucci Aiello, Dov Gabbay, Fiora Pirri — 1995
…A proof theoretical approach to default reasoning I: tableaux for default logic # Gianni Amati…
Cited by 6 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB