5378 search results - page 806 / 1076 » Base Logics in Argumentation |
175
click to vote
ESWS
2004
Springer
16 years 4 days ago
2004
Springer
Existing efforts on ontology mapping, alignment and merging vary from methodological and theoretical frameworks, to methods and tools that support the semi-automatic coordination o...
155
click to vote
FPL
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Increasing logic resources coupled with a proliferation of integrated performance enhancing primitives in high-end FPGAs results in an increased design complexity which r...
136
click to vote
GPCE
2004
Springer
16 years 3 days ago
2004
Springer
This paper describes Splice, a system for writing aspects that perform static program analyses to direct program modifications. The power of an inter-procedural data-flow analys...
172
click to vote
ICCS
2004
Springer
16 years 3 days ago
2004
Springer
Any non-trivial top-level ontology should take temporal notions into account. The details of how this should be done, however, are frequently debated. In this paper it is argued th...
176
click to vote
PPDP
2004
Springer
16 years 3 days ago
2004
Springer
We introduce the theoretical basis for tracing lazy functional logic computations in a declarative multi-paradigm language like Curry. Tracing computations is a difficult task due...