728 search results - page 55 / 146 » A Logical Approach to Represent and Reason about Calendars |
196
click to vote
FTRTFT
1992
Springer
15 years 10 months ago
1992
Springer
Real-Time Logic is a formal notation for reasoning about temporal behaviour. Z is a general purpose specification language, but lacks explicit features for expressing real-time co...
159
click to vote
WOODPECKER
2001
15 years 7 months ago
2001
Maude is an executable rewriting logic language specially well suited for the specification of object-oriented open and distributed systems. In this paper we explore the possibilit...
278
click to vote
POPL
2005
ACM
16 years 6 months ago
2005
ACM
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...
187
click to vote
WOLLIC
2009
Springer
16 years 21 days ago
2009
Springer
The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The only requisite for applying the method is that the o...
162
click to vote
PPDP
2010
Springer
15 years 4 months ago
2010
Springer
Transaction Logic is a logic for representing declarative and procedural knowledge in logic programming, databases, and AI. It has been successful in areas as diverse as workflows...