229 search results - page 1 / 46 » Recognizing Unnecessary Inference |
IJCAI
1989
13 years 6 months ago
1989
Intelligent reasoners sometimes draw conclusions that lack new or relevant information. Similarly, automated reasoning systems can produce formulas that are not necessary for the ...
ASIAMS
2008
IEEE
13 years 11 months ago
2008
IEEE
Efficiency is one of the major issues in intrusion detection. Inefficiency is often attributed to high overhead and this is caused by several reasons. Among them are continuous de...
LATA
2010
Springer
14 years 2 months ago
2010
Springer
This paper presents a new polynomial-time algorithm for the inclusion problem for certain pairs of regular expressions. The algorithm is not based on construction of finite automat...
EACL
2009
ACL Anthology
14 years 5 months ago
2009
ACL Anthology
ACL
2006
13 years 6 months ago
2006
This paper proposes a knowledge representation model and a logic proving setting with axioms on demand successfully used for recognizing textual entailments. It also details a lex...