364 search results - page 22 / 73 » A Map of Common Knowledge Logics |
131
click to vote
JODL
2000
15 years 1 months ago
2000
Z39.50 is a client/server protocol widely used in digital libraries and museums for searching and retrieving information spread over a number of heterogeneous sources. To overcome ...
133
Voted
ACL
2012
13 years 4 months ago
2012
Most information extraction (IE) systems identify facts that are explicitly stated in text. However, in natural language, some facts are implicit, and identifying them requires ā...
121
Voted
CORR
2006
Springer
15 years 1 months ago
2006
Springer
Logics for security protocol analysis require the formalization of an adversary model that specifies the capabilities of adversaries. A common model is the Dolev-Yao model, which c...
83
Voted
IJCAI
1997
15 years 3 months ago
1997
The AI literature contains many deļ¬nitions of diagnostic reasoning most of which are deļ¬ned in terms of the logical entailment relation. We use existing work on approximate en...
135
Voted
DAC
2010
ACM
15 years 5 months ago
2010
ACM
As device size shrinks to the nanometer range, FPGAs are increasingly prone to manufacturing defects. We anticipate that the ability to tolerate multiple defects will be very impo...