@article{Amati:2002:TOIS, author = {Gianni Amati and Cornelis Joost Van Rijsbergen}, title = {Probabilistic models of information retrieval based on measuring the divergence from randomness}, journal = {ACM Transactions on Information Systems (TOIS)}, volume = 20, number = 4, year = 2002, issn = {1046-8188}, pages = {357--389}, doi = {http://doi.acm.org/10.1145/582415.582416}, publisher = {ACM Press}, } @Article{Amati:2002:TFN, author = "Gianni Amati and Cornelis Joost van Rijsbergen", title = "Term Frequency Normalization via {Pareto} Distributions", journal = "Lecture Notes in Computer Science", volume = "2291", pages = "183--192", year = "2002", coden = "LNCSD9", ISSN = "0302-9743", bibdate = "Tue Sep 10 19:09:15 MDT 2002", url = "http://link.springer-ny.com/link/service/series/0558/bibs/2291/22910183.htm; http://link.springer-ny.com/link/service/series/0558/papers/2291/22910183.pdf", acknowledgement = ack-nhfb, } @article{Amati:query, author = {Amati, Gianni and van Rijsbergen, Cornelis Joost}, title = {Query Expansion for probabilistic and language models}, year = 2003, journal = {Manuscript}, } @article{Amati:absorbing, author = {Amati, Gianni and Ounis, Iadh}, title = {The absorbing link model for the WEB}, year = 2003, journal = {Manuscript}, } @inProceedings{Amati:2002:TREC, author = {Amati, Gianni and Carpineto, Claudio and Romano, Giovanni}, address = {Gaithersburg, MD}, booktitle = {In Proceedings of the 10th Text Retrieval Conference TREC 2001}, title = {{FUB} at {TREC} 10 Web Track: a probabilistic framework for topic relevance term weighting}, year = 2002, editor = {Voorhees, E.M. and Harman, D.K.}, publisher = {NIST Special Pubblication 500-250}, pages = {182-191}, } @article{Amati:2000:CGF, author = {Gianni Amati and Iadh Ounis}, title = {Conceptual Graphs and First Order Logic}, journal = {The Computer Journal}, volume = 43, number = 1, pages = {1--12}, year = 2000, coden = {CMPJA6}, issn = {0010-4620}, bibdate = {Fri Apr 28 16:20:55 2000}, url = {http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_01/430001.sgm.abs.html }, acknowledgement = {ack-nhfb}, } @inCollection{Amati:99:LUMIS, author = {Amati, Gianni and Bruza, Peter}, title = {A logical approach to query reformulation motivated from belief change}, booktitle = {Workshop on logical and uncertainty models for Information Systems}, address = {University College London (UCL), London, England}, year = 1999, url = {http://www.dcs.gla.ac.uk/lumis99/programme-40.html}, } @inCollection{Amati:2000:SC, author = {Amati, Gianni and Crestani, Fabio}, title = {Probabilistic Learning by Uncertainty Sampling with Non-Binary Relevance}, booktitle = {Soft Computing in Information Retrieval: techniques and applications}, publisher = {Physica Verlag, Heidelberg, Germany}, year = 2000, pages = {299-313}, editor = {Crestani, Fabio and Pasi, Gabriella}, } @inCollection{Amati:99:IEE, author = {Amati, Gianni}, title = {Learning by examples as relevance feedbcack and relevance feedback as learning by examples}, booktitle = {Searching for information: artificial intelligence and information retrieval approaches}, address = {Savoy Place, London}, year = 1999, pages = {9/1-4}, volume = {99/199}, publisher = {{T}he {I}nstitution of {E}lectrical {E}ngineers - IEE {I}nformatics}, } @article{Amati:99:IPM, author = {Amati, Gianni and Crestani, Fabio}, title = {{P}robabilistic {L}earning for {S}elective {D}issemination of {I}nformation}, note = {Extended version of the selected paper of the {RIAO}'97 {C}onference}, year = 1999, pages = {633-654}, journal = {Information Processing and Management}, volume = 35, } @inCollection{Amati:99:Reiter, author = {Amati, Gianni and Carlucci Aiello, Luigia and Pirri, Fiora}, title = {Default logic and purity of reasoning}, booktitle = {Logical foundations for cognitive agents}, pages = {11--28}, publisher = {Springer}, address = {Berlin}, year = 1999, mrclass = {68T27 (03B42 03B70)}, mrnumber = {1 718 092}, isbn = {3-540-66012-7}, url = {http://www.springer.de/cgi-bin/search_book.pl?isbn=3-540-66012-7}, } @inProceedings{Amati:98:WAC, author = {Amati, Gianni and D'Aloisi, Daniela and Giannini, Vittorio}, title = {Meta-Representation and Filtering of heterogeneous data}, booktitle = {Proceeding of The World Automation Congress}, address = {Albuquerque,NM, USA}, year = 1998, publisher = {TSI Press}, pages = {IFMIP075.1-5}, } @article{Amati:01:ACM, author = {Amati, Gianni and Van Rijsbergen, Cornelis Joost}, title = {Probabilistic models of Information Retrieval based on measuring the divergence from randomness}, journal = {Submitted to ACM Transactions of information Systems}, number = {Rel. 5T02801}, year = 2001, } @inProceedings{Amati:98:ComSen98, author = {Amati, Gianni and Pirri, Fiora}, title = {Contexts as Relativized Definitions: a Formalization via Fixed Points}, booktitle = {Working Papers of Common Sense 98, Fourth Symposiumon Logical Formalizations of Commonsense Reasoning}, address = {London}, month = jan, year = 1998, publisher = {Queen Mary University}, pages = {114--125}, } @inCollection{Amati:98:IRULa, author = {Amati, Gianni and van Rijsbergen, C. J.}, year = 1998, title = {Semantic {I}nformation {R}etrieval}, booktitle = {Information {R}etrieval: {U}ncertainty and {L}ogics}, editor = {Crestani, Fabio and Lalmas, Mounia and van Rijsbergen,Cornelis Joost}, publisher = {Kluwer Academic Publishers}, address = {Boston}, series = {Information Retrieval}, pages = {189-219}, isbn = {ISBN 0-7923-8302-8}, } @inCollection{Amati:98:IRULb, author = {Amati, Gianni and van Rijsbergen, C. J.}, year = 1998, title = {Simplicity and {I}nformation {R}etrieval}, booktitle = {Information {R}etrieval: {U}ncertainty and {L}ogics}, editor = {Crestani, Fabio and Lalmas, Mounia and van Rijsbergen,Cornelis Joost}, publisher = {Kluwer Academic Publishers}, series = {Information Retrieval}, address = {Boston}, pages = {281-293}, isbn = {ISBN 0-7923-8302-8}, } @article{Amati:97:AIJ, author = {Amati, Gianni and Carlucci Aiello, Luigia and Pirri, Fiora}, title = {Definability and commonsense reasoning}, journal = {Artificial Intelligence}, fjournal = {Artificial Intelligence}, volume = 93, year = 1997, number = {1-2}, pages = {169--199}, issn = {0004-3702}, } @article{Amati:97:SL-IAL, author = {Amati, Giambattista and Carlucci-Aiello, Luigia and Pirri, Fiora}, title = {Intuitionistic autoepistemic logic}, journal = {Studia Logica}, fjournal = {Studia Logica. An International Journal for Symbolic Logic}, volume = 59, year = 1997, number = 1, pages = {103--120}, issn = {0039-3215}, publisher = {Kluwer Academic Publishers}, url = {http://www.springer.de/cgi-bin/search_book.pl?isbn=3-540-66012-7}, } @inProceedings{Amati:97:IJCAI, author = {Amati, Gianni and Crestani, Fabio and Ubaldini, Flavio}, title = {A Learning System for Selective Dissemination of Information}, pages = {764--769}, isbn = {1-55860-480-4}, booktitle = {Proceedings of the 15th International Joint Conference on Artificial Intelligence ({IJCAI}-97)}, month = aug # {23--29~}, publisher = {Morgan Kaufmann Publishers}, address = {San Francisco}, year = 1997, } @inProceedings{Amati:97:AAAI-97, author = {Amati, Gianni and Pirri,Fiora}, title = {Contexts as relativized definitions: a formalization via fixed point}, booktitle = {Proceedings of the AAAI-97 Fall Symposium Series on ``Context in Knowledge Representation and Natural Language''}, publisher = {{AAAI}Press/The{MIT}}, year = 1997, pages = {7--14}, } @inProceedings{Amati:97:RIAO, author = {Amati, Gianni and Crestani, Fabio and Ubaldini, Flavio and De Nardis, Stefano}, title = {{P}robabilistic {L}earning for {I}nformation {F}iltering}, booktitle = {Computer--{A}ssisted {I}nformation {S}earching on {I}nternet, {RIAO} 97 Conference}, address = {Montreal, Canada}, pages = {513--520}, year = 1997, } @article{Amati:97:JUCS, author = { Amati, Gianni and {D'Aloisi}, Daniela and Giannini, Vittorio and Ubaldini, Flavio}, title = {A Framework for Filtering News and Managing Distributed Data}, journal = {J.UCS: Journal of Universal Computer Science}, volume = 3, number = 8, pages = {1007--1021}, day = {28}, month = aug, year = 1997, issn = {0948-6968}, url = {http://www.iicm.edu/jucs_3_8/a_framework_for_filtering/paper.ps.gz }, } @inProceedings{Amati:96:KR, author = {Amati, Gianni and Pirri, Fiora}, title = {Is there a logic of provability for nonmonotonic reasoning?}, pages = {493--505}, isbn = {1-55860-421-9}, editor = {Carlucci Aiello, Luigia and Doyle, Jon and Shapiro, Stuart}, booktitle = {Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning}, month = nov # "~5--8", publisher = {Morgan Kaufmann}, address = {San Francisco}, year = 1996, } @article{Amati:96:Mathware, author = {Amati, Gianni and Aiello, Luigia Carlucci and Pirri, Fiora}, title = {Default logic as a formalism for understanding commonsense reasoning}, note = {Workshop ``Aspects of Mechanizing Inference: Contexts and Problems'' (Naples, 1995)}, journal = {Mathware \& Soft Computing}, volume = 3, year = 1996, number = {1-2}, pages = {33--46}, issn = {1134-5632}, } @inProceedings{Amati:96:ISIS, author = {G. Amati and C. J. van Rijsbergen and F. Ubaldini}, title = {The Maximum Expected Utility Principle and Information Retrieval}, booktitle = {Proceedings of the Conference on Information, Statistics and Induction in Science}, publisher = {World Scientific Publishing Co.}, address = {Singapore}, note = {Melbourne, Australia}, pages = {129--140}, year = 1996, editor = {Dowe, D.L. and Korb, K.B. and Oliver, J.J.}, } @inProceedings{Amati:96:PAKM, title = {An Integrated System for Filtering News and Managing Distributed Data}, author = { Amati, Gianni and {D'Aloisi}, Daniela and Giannini, Vittorio and Ubaldini, Flavio}, booktitle = {Proceedings of the First International Conference on Practical Aspects of Knowledge-Management (PAKM'96)}, address = {Basel , Switzerland}, month = oct, year = 1996, url = {http://airone.fub.it:8080/projects/pakm96.ps}, abstract = {With the development and diffusion of the Internet worldwide connection, a large amount of information can be delivered to the users. To avoid their being overflowed by the incoming data, methods of information filtering are required. Thus, there is the problem of determining what information is relevant to the user and how this decision can be taken by a supporting system. Parametric and qualitative descriptors of user's interest must be generated. This paper presents two approaches. The first concerns an information filtering system based on an adaptation of the generalized probabilistic model of information retrieval. The user profile is a vector of weighted terms which are learned from the relevance assessment values given by the user on the training set. Positive terms are considered relevant to the informative need of the user, negative ones irrelevant. The relevance values are interpreted as subjective probabilities and hence are mapped into the real interval [0; 1]. ProFile is a filtering system for the netnews which uses this model with a scale of 11 predefined values of relevance. ProFile allows the user to update on-line his profile and to check the discrepancy between his assessment and the prediction of relevance of the system. The second concerns the InfoAgent, a system for supporting users in retrieving data in distributed and heterogeneous archives and repositories. The architecture is based on the metaphor of the software agents and incorporates innovative hints from other fields: distributed architectures, relevance feedback and active interfaces. The system has a cooperative and supportive role: it understands the user's needs and learns from his behavior. Its aim is to disengage the user from learning complex tools and from performing tedious and repetitive actions.}, } @inProceedings{Amati:96:NMR, author = {Amati, G. and Carlucci Aiello, L. and Pirri,F.}, title = {Modal Non Monotonic Reasoning via Boxed Fixed Points}, booktitle = {International Workshop of Non Monotonic Reasoning NMR`96}, pages = {1--8}, address = {Timberline, Oregon}, month = jun # "~10-12", year = 1996, } @article{Amati:96:JLC, author = {Amati, Gianni and Aiello, Luigia Carlucci and Gabbay, Dov and Pirri, Fiora}, title = {A proof theoretical approach to default reasoning. {I}. {T}ableaux for default logic}, journal = {Journal of Logic and Computation}, volume = 6, year = 1996, month = apr, number = 2, pages = {205--231}, issn = {0955-792X}, } @inProceedings{Amati:96:UncLog96a, author = {Amati , G. and van Rijsbergen, K.}, title = { Semantic {I}nformation {T}heory and {I}nformation {R}etrieval}, booktitle = {2nd International Workshop on Information Retrieval, Uncertainty and Logics}, month = jul, address = {Glasgow, UK}, pages = {76-81}, year = 1996, } @inProceedings{Amati:96:UncLog96b, author = {Amati , G. and Georgatos, K.}, title = {{R}elevance as {D}eduction: {A} {L}ogical {V}iew of {I}nformation {R}etrieval}, booktitle = {2nd International Workshop on Information Retrieval, Uncertainty and Logics}, month = jul, address = {Glasgow, UK}, pages = {21--27}, year = 1996, } @article{Amati:96:IGPL, author = {Amati, Gianni and Aiello, Luigia Carlucci and Gabbay, Dov and Pirri, Fiora}, title = {A structural property on modal frames characterizing default logic}, journal = {J. IGPL}, fjournal = {Journal of the Interest Group in Pure and Applied Logics}, volume = 4, year = 1996, number = 1, pages = {7--22}, issn = {0945-9103}, note = {Produced by the Max-Planck-Institut f{\"u}r Informatik, Im Stadtwald, D-66123 Saarbr{\"u}cken, Germany}, } @inProceedings{Amati:96:Roma96, author = {Amati , G. and Carlucci Aiello , L. and Pirri , F.}, title = {Logics for Nonmonotonic reasoning}, booktitle = {Partial Knowledge and Uncertainty in Complex Systems}, publisher = {Kappa}, address = {Roma, Italy}, pages = {9--12}, year = 1996, } @inProceedings{Amati:95:AICA, author = {G.~Amati and D.~D'Aloisi and V.~Giannini}, title = {A framework for dealing with email and news messages}, booktitle = {Proceedings of AICA 95}, pages = {27--29}, address = {Cagliari, Italy}, year = 1995, } @inProceedings{Amati:LC:AGP1995, title = {Provability Logic for Default Reasoning}, author = {Amati, Gianni and Carlucci Aiello, Luigia and Gabbay,Dov and Pirri, Fiora}, pages = {NML:1-2}, booktitle = {Association of Symbolic Logic, Logic Colloqium 95}, year = 1995, address = {Haifa, Israel}, } @article{Amati:95:JOLLI, author = {Amati, Gianni and {Carlucci Aiello}, Luigia and Pirri, Fiora}, title = {Defaults as restrictions on classical {H}ilbert-style proofs}, journal = {Journal of Logic, Language and Information}, fjournal = {Journal of Logic, Language and Information}, volume = 3, year = 1995, number = 4, pages = {303--326}, issn = {0925-8531}, publisher = {Kluwer Academic Publishers}, } @inProceedings{Amati:95:UncLog95, author = {Amati , G. and van Rijsbergen, C. J.}, title = { Probability, {I}nformation and {I}nformation {R}etrieval}, booktitle = {1st International Workshop on Information Retrieval, Uncertainty and Logics}, month = sep, address = {Glasgow, UK}, publisher = {Glasgow University}, organization = {Department of Computing Science of the University of Glasgow}, year = 1995, pages = {1--7}, } @inProceedings{Amati:95:WoLLIC95, author = {Amati , G.}, title = {Strict tableaux for intuitionistic propositional logic}, booktitle = {2nd Workshop on Logic Language Information and Computation}, address = {Recife, Brasil}, month = jul, year = 1995, } @inProceedings{Amati:94:ThProv94, author = {Amati , G. and Carlucci Aiello , L. and Gabbay, D. and Pirri, F.}, title = {A proof theoretical approach to default reasoning I: tableaux for default logic}, booktitle = {Workshop on Theorem Proving with Analytic Tableaux and Related Methods}, address = {Abingdon, Oxford, UK}, month = may, year = 1994, } @inProceedings{Amati:94:MEDLAR, author = {Amati, G. and Carlucci Aiello, L. and Gabbay, D. and Pirri, F.}, title = {Provability in non monotonic modal logic by balloons and Christmas trees}, booktitle = {MEDLAR, An Esprit Basic Research Project}, publisher = {Imperial College of Science, Technology and Medicine}, address = {London, UK}, month = jul, year = 1994, notes = {Deriverable II 5.1, Project MEDLAR II Esprit Basic Research Project 6471}, pages = {253--282}, } @article{Amati:94:SL, author = {Amati, Giambattista and Pirri, Fiora}, title = {A uniform tableau method for intuitionistic modal logics. {I}}, journal = {Studia Logica}, fjournal = {Studia Logica. An International Journal for Symbolic Logic}, volume = 53, year = 1994, number = 1, pages = {29--60}, issn = {0039-3215}, publisher = {Kluwer Academic Publishers}, } @inProceedings{Amati:92:CombLog92, author = {Amati , G. and Carlucci Aiello , L. and Pirri , F.}, title = {About non monotonic reasoning: consistency and provability}, booktitle = {Workshop on Combining Logics for Practical Reasoning}, address = {Silwood Park, London,UK}, year = 1992, } @techReport{Amati&92, author = {Amati, Gianni and Kerpedjiev, Stephan}, title = { An {I}nformation {R}etrieval {M}odel: implementation and experiments}, number = {FUB 5B04892}, institution = {Fondazione Ugo Bordoni}, address = {Roma, Italy}, type = {Research Report}, year = 1992, } @inProceedings{Amati:91:WOCFAI, author = {Amati, Gianni and Carlucci Aiello, Luigia and Pirri, Fiora}, title = {Intuitionistic Modal Calculus for Autoepistemic Logic}, pages = {3--16}, isbn = {2-87892-002-3}, editor = {Michel DeGlas and Dov Gabbay}, booktitle = {Proceedings of the 1st World Conference on the Fundamentals of Artificial Intelligence}, address = {Paris, France}, month = jul, year = 1991, publisher = {Angkor}, } @inProceedings{Amati:91:LNCS, author = {Amati, Gianni}, title = {Some notes on cumulative reasoning}, pages = {18--27}, isbn = {3-540-54712-6}, editor = {E. {Ardizzone, E.; Gaglio, S.; Sorbello}}, booktitle = {Proceedings of the 2nd Congress of the Italian Association for Artificial Intelligence ({AI}*{IA}) on Trends in Artificial Intelligence}, address = {Palermo, Italy}, month = oct, year = 1991, series = {LNAI}, volume = 549, publisher = {Springer Verlag}, issn = {0302-9743}, coden = {LNCSD9}, } @article{Amati:89:AI*IA, author = {Amati , G.}, title = { Logiche non classiche per l'{I}nformation {R}etrieval}, journal = {AI*IA Notizie}, volume = 2, number = 4, pages = {5-11}, year = 1989, } @inProceedings{Amati87:GULP87, author = {Amati , Gianni}, title = {Il sistema logico FOL: la consistenza dei contesti}, booktitle = {2nd National Conference of Logic Programming, GULP}, pages = {255--264}, address = {Torino,Italy}, month = may #"13--15", year = 1987, } @article{Amati:87:SL-ProbModLog, author = {Fattorosi-Barnaba, M. and Amati, G.}, title = {Modal operators with probabilistic interpretations. {I}}, journal = {Studia Logica}, fjournal = {Polska Akademia Nauk. Instytut Filozofii i Socjologii. Studia Logica}, volume = 46, year = 1987, number = 4, pages = {383--393}, issn = {0039-3215}, abstract = {We present a class of normal modal calculi $P_FD$, whose syntax is endowed with operators $M_r$ (and their dual ones, $L_r$), one for each $r\in [0,1]$: if $a$ is a sentence, $M_r a$ is to be read ``the probability that $a$ is true is strictly greater than $r$'' and to be evaluated as true or false in every world of a $F$-restricted probabilistic kripkean model. Every such a model is a kripkean model, enriched by a family of regular probability evaluations with range in a fixed finite subset $F$ of $[0,1]$: there is one such a function for every world $w$, $PF(w,-)$, and this allows to evaluate $M_r a$ as true in the world $w$ iff $PF(w,a)>r$. In particular, $M_0 a$ as true in the world $w$ iff $PF(w,a)>0$ iff $a$ is possible in $w$ with respect to the underlying kripkean model. For every fixed $F$ as before, suitable axioms and rules are displayed, so that the resulting system $P_FD$is complete and compact with respect to the class of all the $F$-restricted probabilistic kripkean models.}, } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @techReport{Amati:96:TR-Profile, author = {Amati.G. and Ubaldini, F.}, title = {ProFile: a learning system for information filtering}, institution = {Fondazione Ugo Bordoni,}, number = {FUBT00896}, year = 1996, address = {Roma,Italy}, type = {Technical Report}, } @techReport{Amati&96:FUB, author = {Amati,G. and Ubaldini, F.}, title = {ProFile: a learning system for information filtering}, institution = {Fondazione Ugo Bordoni,}, number = {FUBT00896}, year = 1996, address = {Roma,Italy}, type = {Technical Report}, } @techReport{Amati&98:FUB, author = {Amati,Gianni and Pirri, Fiora}, title = {Sensing Actions and Plan Synthesis in the Situation Calculus}, number = {FUBT08797}, institution = {Fondazione Ugo Bordoni}, year = 1998, address = {Roma,Italy}, type = {Technical Report}, } @techReport{Amati&92:FUB, author = {Amati, G. and Kerpedjiev, S.}, title = {An Information Retrieval Model: implementation and experiments}, number = {FUB 5B04892}, institution = {Fondazione Ugo Bordoni}, address = {Rome, Italy}, year = 1992, type = {Technical Report}, } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%