1060 search results - page 92 / 212 » Mechanized semantics |
VLDB
1987
ACM
15 years 1 months ago
1987
ACM
The design of the POSTGRES data model is described. The data model is a relational model that has been extended with abstract data types including user-defined operators and proce...
KRDB
2003
14 years 11 months ago
2003
Flat transactions with savepoints are a variation of the classical flat transactions that allows the user to go undo work done so far back to a certain point within the transacti...
IGPL
2002
14 years 9 months ago
2002
Fibring is defined as a mechanism for combining logics with a firstorder base, at both the semantic and deductive levels. A completeness theorem is established for a wide class of...
ARGMAS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper presents an argumentation mechanism for reconciling conflicts between planning agents related to plan proposals, which are caused by inconsistencies between b...
ESWS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract When creating Semantic Web data, users have to make a critical choice for a vocabulary: only through shared vocabularies can meaning be established. A centralised policy p...