3710 search results - page 66 / 742 » A new calculus of contexts |
106
click to vote
SEMWEB
2005
Springer
15 years 5 months ago
2005
Springer
Although Semantic Web service discovery has been extensively studied in the literature ([7], [12], [15] and [10]), we are far from achieving an effective, complete and automated di...
108
click to vote
APLAS
2004
ACM
15 years 5 months ago
2004
ACM
Developing computer systems that are both concurrent and evolving is challenging. To guarantee consistent access to resources by concurrent software components, some synchronizatio...
104
click to vote
ECOOP
2003
Springer
15 years 5 months ago
2003
Springer
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...
ICAIL
2007
ACM
15 years 3 months ago
2007
ACM
Argumentation is modelled as a game where the payoffs are measured in terms of the probability that the claimed conclusion is, or is not, defeasibly provable, given a history of a...
117
click to vote
TABLEAUX
1995
Springer
15 years 3 months ago
1995
Springer
In constraint logic programming, proof procedures for Horn clauses are enhanced with an interface to efficient constraint solvers. In this paper we show how to incorporate constra...