1581 search results - page 216 / 317 » Mechanizing Inductive Reasoning |
131
click to vote
PVLDB
2008
14 years 10 months ago
2008
Schema mappings are fundamental building blocks in many information integration applications. Designing mappings is a timeconsuming process and for that reason many mapping system...
109
click to vote
JUCS
2010
14 years 10 months ago
2010
: The ever growing explosion in technological advancements is paving the way to the expansion of multimedia applications. Unfortunately, current multimedia applications use central...
PPDP
2010
Springer
14 years 10 months ago
2010
Springer
Permissive-Nominal Logic (PNL) is an extension of firstorder logic where term-formers can bind names in their arguments. This allows for direct axiomatisations with binders, such...
137
click to vote
TPLP
2010
14 years 10 months ago
2010
In this paper we explore the use of Answer Set Programming (ASP) to formalize, and reason about, psychological knowledge. In the field of psychology, a considerable amount of kno...
MASCOTS
2010
14 years 9 months ago
2010
This paper analyzes the performance of Ethernet layer congestion control mechanism Quantized Congestion Notification (QCN) during data access from clustered servers in data centers...