1426 search results - page 132 / 286 » Specification of nonmonotonic reasoning |
154
click to vote
IWPC
1997
IEEE
15 years 11 months ago
1997
IEEE
Producing large software systems is an extremely challenging engineering task. The main reason is the difficulty of managing the enormous amounts of code and the great numbers of ...
156
click to vote
ICDT
1997
ACM
15 years 11 months ago
1997
ACM
This paper provides a formal foundation for distributed workfiow executions. The state chart formalism is adapted to the needs of a workflow model in order to establish a basis for...
170
click to vote
ELPUB
2007
ACM
15 years 10 months ago
2007
ACM
It has become very common in the current information society to talk about "open" and to use this term as a quality mark. Open standards, open source software, open arch...
165
click to vote
AMAST
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents a new rule for reasoning about method calls in object-oriented programs. It is an adaptation of Hoare's rule of adaptation to the object-oriented paradigm,...
192
click to vote
CIA
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we present the MAPa language for expressing knowledge transfer and action restriction between agents in multiagent systems. Our approach is founded on the definition ...