3776 search results - page 612 / 756 » Partition-Based Logical Reasoning |
AMAST
2000
Springer
14 years 11 days ago
2000
Springer
Default reasoning has become an important topic in software engineering. In particular, defaults can be used to revise speci cations, to enhance reusability of existing systems, an...
RIDE
1999
IEEE
14 years 9 days ago
1999
IEEE
Workflow systems are an emerging technology which have become increasingly important in the drive for business to provide better services and increase productivity. Intuitively, w...
SIGMOD
1998
ACM
14 years 7 days ago
1998
ACM
Most databases contain “name constants” like course numbers, personal names, and place names that correspond to entities in the real world. Previous work in integration of het...
AGP
1994
IEEE
14 years 4 days ago
1994
IEEE
Kowalski and Sergot's Event Calculus (EC) is a formalism for reasoning about time and change in a logic programming framework. From a description of events which occur in the...
POPL
1993
ACM
14 years 3 days ago
1993
ACM
e data structures are abstractions of simple records and pointers. They impose a shape invariant, which is verified at compiletime and exploited to automatically generate code fo...