796 search results - page 12 / 160 » A Formalization of ODMG Queries |
ECAI
2006
Springer
15 years 3 months ago
2006
Springer
We present an approach to building libraries of tasks in complex action languages such as Golog, for query answering. Our formalization is based on a situation calculus framework t...
100
click to vote
LPNMR
2005
Springer
15 years 5 months ago
2005
Springer
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitio...
115
click to vote
AISC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We study the formalization process of a collection of documents created for a Software Engineering project from an MKM perspective. We analyze how document and collection...
100
click to vote
ISMIS
1994
Springer
15 years 3 months ago
1994
Springer
We assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to repres...
124
click to vote
CIDR
2011
14 years 3 months ago
2011
End-to-end data processing environments are often comprised of several independently-developed (sub-)systems, e.g. for engineering, organizational or historical reasons. Unfortuna...