2911 search results - page 121 / 583 » A Logic of Graph Constraints |
136
click to vote
DEXAW
1999
IEEE
15 years 8 months ago
1999
IEEE
Recent efforts in the Conceptual Modelling community have been devoted to properly capturing time-varying information, and several proposals of temporally enhanced Entity-Relation...
144
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We describe decomposition during search (DDS), an integration of And/Or tree search into propagation-based constraint solvers. The presented search algorithm dynamically ...
135
click to vote
APAL
2004
15 years 4 months ago
2004
Modus ponens provides the central theme. There are laws, of the form A C. A logic (or other theory) L collects such laws. Any datum A (or theory T incorporating such data) provid...
152
click to vote
CLIMA
2011
2011
Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance
14 years 4 months ago
In this paper we extend the logic of violation proposed by [14] with time, more precisely, we temporalise that logic. The resulting system allows us to capture many subtleties of t...
146
click to vote
LPAR
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. The ZETA system is a Z-based tool environment for developing formal specifications. It contains a component for executing the Z language based on the implementation techn...