3776 search results - page 644 / 756 » Partition-Based Logical Reasoning |
ICCS
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. In this paper, we explore the expressivity of default CG rules (a CGoriented subset of Reiter’s default logics) through two applications. In the first one, we show tha...
AIRS
2010
Springer
13 years 6 months ago
2010
Springer
The Slot Filling task requires a system to automatically distill information from a large document collection and return answers for a query entity with specified attributes (`slot...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
Term rewriting has a significant presence in various areas, not least in automated theorem proving where it is used as a proof technique. Many theorem provers employ specialised p...
IEEEHPCS
2010
13 years 5 months ago
2010
The performance (in term of error rate) of biometric systems can be improved by combining them. Multiple fusion techniques can be applied from classical logical operations to more...
SASO
2010
IEEE
13 years 5 months ago
2010
IEEE
In an open distributed system, computational resources are peer-owned, and distributed over time and space. The fact that these resources can dynamically join or leave the system (...