1072 search results - page 119 / 215 » Object-Oriented Type Inference |
148
Voted
JSC
2002
15 years 3 months ago
2002
We describe a framework of algebraic structures in the proof assistant Coq. We have developed this framework as part of the FTA project in Nijmegen, in which a constructive proof ...
179
Voted
ICWS
2004
IEEE
15 years 5 months ago
2004
IEEE
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses Semantic Web service language (DAML-S) f...
148
Voted
ICFP
2003
ACM
16 years 3 months ago
2003
ACM
FreshML extends ML with elegant and practical constructs for declaring and manipulating syntactical data involving statically scoped binding operations. User-declared FreshML data...
108
Voted
AUSAI
2005
Springer
15 years 9 months ago
2005
Springer
We are interested in programming languages for cognitive agents with preferences. We define rule-based agent theories and inference procedures in defeasible logic, and in this set...
146
Voted
IICS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract: The article presents a model of the structural properties of virtual communities and the information they can access. It argues that a large part of the information – a...