329 search results - page 51 / 66 » Resolution-based argumentation semantics |
106
Voted
HICSS
2010
IEEE
15 years 8 months ago
2010
IEEE
The paper presents our design of a next generation information retrieval system based on tag co-occurrences and subsequent clustering. We help users getting access to digital data...
129
click to vote
HASKELL
2009
ACM
15 years 8 months ago
2009
ACM
It is common for compilers to derive the calling convention of a function from its type. Doing so is simple and modular but misses many optimisation opportunities, particularly in...
117
Voted
CSFW
2006
IEEE
15 years 7 months ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
119
click to vote
KCAP
2005
ACM
15 years 7 months ago
2005
ACM
This paper proposes an ontology mapping based framerowk that allows searching for web resources using multiple ontologies. The proposed solution uses a mapping ontology that is a ...
103
click to vote
SEMWEB
2005
Springer
15 years 7 months ago
2005
Springer
The paper reports on the formal framework to design strategies for multi-issue non-symmetric meaning negotiations among software agents in a distributed information retrieval syste...