Sciweavers

2920 search results - page 74 / 584
» Finite information logic
Sort
View
CORR
2000
Springer
72views Education» more  CORR 2000»
15 years 6 months ago
Relevance as Deduction: A Logical View of Information Retrieval
t) Gianni Amati Konstantinos Georgatos Fondazione Ugo Bordoni Dipartimento di Informatica e Sistemistica Via B. Castiglione 59, 00142 Roma, Italy Universita di Roma \La Sapienza&qu...
Gianni Amati, Konstantinos Georgatos
FUIN
2002
65views more  FUIN 2002»
15 years 6 months ago
Automata-Theoretic Decision Procedures for Information Logics
Stéphane Demri, Ulrike Sattler
IANDC
2010
62views more  IANDC 2010»
15 years 1 months ago
Logic, language, information and computation
Daniel Leivant, Ruy J. G. B. de Queiroz