1151 search results - page 80 / 231 » Collaborative Programming: Applications of Logic and Automat... |
135
Voted
FLOPS
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. Subtyping tends to undermine the effects of parametric polymorphism as far as the static detection of type errors is concerned. Starting with this observation we present...
150
Voted
AGP
2003
IEEE
15 years 8 months ago
2003
IEEE
Abstract The Semantic Web (SW) can be seen as abstract representation and exchange of data and metadata. Metadata is given in terms of data mark-up and reference to shared, Web-acc...
115
click to vote
ISMVL
1999
IEEE
15 years 7 months ago
1999
IEEE
In the last years two automated reasoning techniques for clause normal form arose in which the use of labels are prominently featured: signed logic and annotated logic programming...
223
click to vote
GIS
2004
ACM
16 years 4 months ago
2004
ACM
Motivated by the increasing need to handle complex multidimensional data in location-based data warehouses, this paper proposes a powerful data model that is able to capture the c...
230
Voted
ICLP
2009
Springer
16 years 4 months ago
2009
Springer
This paper considers a semantic approach for merging logic programs under answer set semantics. Given logic programs P1, . . . , Pn, the goal is to provide characterisations of the...