3342 search results - page 402 / 669 » Automating Abstract Interpretation |
184
click to vote
ER
1997
Springer
15 years 9 months ago
1997
Springer
Several decades of software engineering research confirm that effective reuse is the only realistic approach to meeting the ever-increasing demands on the software industry. Over ...
217
click to vote
LPKR
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. We study the relationship between argumentation (abduction) and disjunctive logic programming. Based on the paradigm of argumentation, an abductive semantic framework for...
120
click to vote
TIME
1994
IEEE
15 years 9 months ago
1994
IEEE
We are concerned with temporalreasoning problems where there is uncertainty about the order in which events occur. The task of temporal reasoning is to derive an event sequence co...
134
click to vote
TIME
1994
IEEE
15 years 9 months ago
1994
IEEE
This paper outlines a generic, core temporal object model that provides support for the modeling of temporal object roles. This model draws from notions introduced in some of our ...
135
click to vote
ICLP
1993
Springer
15 years 9 months ago
1993
Springer
nt an abstract instruction set for a constraint solver over finite domains, which can be smoothly integrated in the WAM architecture. It is based on the use of a single primitive...