Information Retrieval & Filtering

Gianni Amati and Fabio Crestani Probabilistic Learning by Uncertainty Sampling with Non-Binary Relevance In press bibtex more

Gianni Amati, Fabio Crestani and Flavio Ubaldini A Learning System for Selective Dissemination of Information Proceedings of the 15th International Joint Conference on Artificial Intelligence, IJCAI-97 bibtex more

Gianni Amati, Fabio Crestani, Flavio Ubaldini and Stefano De Nardis Probabilistic Learning for Information Filtering Computer-Assisted Information Searching on Internet, RIAO'97 Conference bibtex

Gianni Amati, Daniela D'Aloisi, Vittorio Giannini, Flavio Ubaldini An Integrated System for Filtering News and Managing Distributed Data Proceedings of the First International Conference on Practical Aspects of Knowledge-Management (PAKM '96) bibtex

Logics for Artificial Intelligence

Gianni Amati, Luigia Carlucci Aiello and Fiora Pirri Modal Nonmonotonic Reasoning via boxed fixed points Manuscript

Gianni Amati and Fiora Pirri Contexts as relativized definitions: a formalization via fixed points. Common Sense 98 more bibtex

Gianni Amati, Luigia Carlucci Aiello, Fiora Pirri A Chapter in the book Logical Foundations for Cognitive Agents bibtex

Gianni Amati, Luigia Carlucci Aiello, Dov Gabbay, Fiora Pirri Abstract of the invited talk in the Special Session in Non-monotonic Logic, Logic Colloquium 95, Haifa, Israel Provability Logic for Default Reasoning, Bulletin of Symbolic Logic (3), (1997) pp.110-111 bibtex

Gianni Amati and Fiora Pirri Is there a logic of provability for nonmonotonic reasoning? Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR96) bibtex more

Gianni Amati and Fiora Pirri Default logic as a formalism for understanding commonsense reasoning Mathware & Soft Computing (3), (1996) pp. 33--46 bibtex

Gianni Amati, Luigia Carlucci Aiello, Dov Gabbay and Fiora Pirri Provability in non monotonic modal logic by balloons and Christmas trees Deriverable II 5.1, Project MEDLAR II Esprit Basic Research Project 6471, (1994) bibtex

Logics for Information Retrieval

Gianni Amati, Peter Bruza A logical approach to query reformulation motivated from belief change Workshop on logical and uncertainty models for Information Systems bibtex