315 search results - page 12 / 63 » A Declarative Formalization of STRIPS |
143
Voted
SAC
2004
ACM
15 years 9 months ago
2004
ACM
In this paper we present an approach for developing adaptable software applications. The problem we are facing is that of a (possibly mobile) user who wants to download and execut...
183
Voted
WWW
2002
ACM
16 years 4 months ago
2002
ACM
Real-scale Semantic Web applications, such as Knowledge Portals and E-Marketplaces, require the managementof large volumes of metadata, i.e., information describing the available ...
125
Voted
ADBIS
2005
Springer
15 years 9 months ago
2005
Springer
In today’s integrating information systems data fusion, i.e., the merging of multiple tuples about the same real-world object into a single tuple, is left to ETL tools and other ...
130
click to vote
KSEM
2010
Springer
15 years 1 months ago
2010
Springer
We examine the practicality for a user of using Answer Set Programming (ASP) for representing logical formalisms. Our example is a formalism aiming at capturing causal explanation...
264
Voted
DNA
2011
Springer
14 years 3 months ago
2011
Springer
Sticker complexes are a a formal graph-based data model for a restricted class of DNA complexes, motivated by potential applications to databases. This data model allows for a pure...