2519 search results - page 87 / 504 » Reasoning with Textual Cases |
129
click to vote
DLOG
2007
15 years 6 months ago
2007
We present a query answering technique based on notions and results from modal Correspondence Theory. It allows us to answer a wide family of conjunctive queries by polynomial redu...
120
click to vote
ICAIL
2007
ACM
15 years 6 months ago
2007
ACM
The “small world”-paradigm offers a new interesting viewpoint for the analysis of contemporary legal networks and artificial intelligence. This topological approach sheds fu...
132
Voted
EWCBR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Credible case-based inference (CCBI) is a new and theoretically sound inferencing mechanism for case-based systems. In this paper, we formally investigate the level of pr...
155
click to vote
WFLP
2000
Springer
15 years 8 months ago
2000
Springer
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
140
click to vote
EUROISI
2008
15 years 6 months ago
2008
This paper discusses the task of tracking mentions of some topically interesting textual entity from a continuously and dynamically changing flow of text, such as a news feed, the ...