Author of the publication

Defaults as restrictions on classical Hilbert-style proofs.

, , and . J. Log. Lang. Inf., 3 (4): 303-326 (1994)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Comparing Weighting Models for Monolingual Information Retrieval, , and . (2004)Probabilistic models of information retrieval based on measuring the divergence from randomness, and . ACM Trans. Inf. Syst., 20 (4): 357--389 (October 2002)A Learning System for Selective Dissemination of Information., , and . IJCAI (1), page 764-769. Morgan Kaufmann, (1997)Term Frequency Normalization via Pareto Distributions., and . ECIR, volume 2291 of Lecture Notes in Computer Science, page 183-192. Springer, (2002)Survival analysis for freshness in microblogging search., , and . CIKM, page 2483-2486. ACM, (2012)Modal operators with probabilistic interpretations, I., and . Stud Logica, 46 (4): 383-393 (1987)Probabilistic learning for selective dissemination of information., and . Inf. Process. Manag., 35 (5): 633-654 (1999)Probabilistic Learning for Information Filtering., , , and . RIAO, page 513-530. (1997)CNIPA, FUB and University of Rome "Tor Vergata" at TREC 2008 Legal Track., , , , , and . TREC, volume 500-277 of NIST Special Publication, National Institute of Standards and Technology (NIST), (2008)Fondazione Ugo Bordoni at TREC 2004., , and . TREC, volume 500-261 of NIST Special Publication, National Institute of Standards and Technology (NIST), (2004)