805 search results - page 43 / 161 » On the Semantics of Conditional Commitment |
TABLEAUX
1998
Springer
15 years 4 months ago
1998
Springer
The methodology of fibring is a successful framework for combining logical systems based on combining their semantics. In this paper, we extend the fibring approach to calculi for ...
FORTE
1998
15 years 1 months ago
1998
Message Sequence Charts (MSCs) are a graphical and textual language for the speci cation of message passing systems, in particular telecommunication systems. MSCs are standardised...
AMW
2009
15 years 29 days ago
2009
Abstract. This paper introduces a formalization of a set of spatial semantic integrity constraints on an extended-relational database model. The formalization extends traditional n...
LPNMR
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We study the complexity of consistency checking and query answering on incomplete databases for languages ranging from non-recursive Datalog to disjunctive Datalog with n...
107
click to vote
STACS
2001
Springer
15 years 4 months ago
2001
Springer
Coalgebras for a functor on the category of sets subsume many formulations of the notion of transition system, including labelled transition systems, Kripke models, Kripke frames a...