2519 search results - page 162 / 504 » Reasoning with Textual Cases |
232
Voted
WWW
2011
ACM
15 years 1 months ago
2011
ACM
This paper uses the URL word breaking task as an example to elaborate what we identify as crucialin designingstatistical natural language processing (NLP) algorithmsfor Web scale ...
195
click to vote
KR
2004
Springer
16 years 11 days ago
2004
Springer
To support commonsense reasoning about space, we require a qualitative calculus of spatial entities and their relations. One requirement for such a calculus, which has not so far ...
216
Voted
KR
2010
Springer
15 years 11 months ago
2010
Springer
Ontologies can be used to provide an enriched vocabulary for the formulation of queries over instance data. We identify query emptiness and predicate emptiness as two central reas...
163
Voted
ICAIL
1999
ACM
15 years 11 months ago
1999
ACM
Intelligent Jurisprudence Research (IJR) is a concept that consists in performing jurisprudence research with a computational tool that employs Artificial Intelligence (AI) techni...
189
Voted
FMSD
2008
15 years 7 months ago
2008
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...