1943 search results - page 188 / 389 » Ordering Default Theories |
212
click to vote
KBSE
1994
IEEE
15 years 11 months ago
1994
IEEE
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...
209
click to vote
CSL
1992
Springer
15 years 11 months ago
1992
Springer
We develop the rst steps of a theory of concurrency within the framework of evolving algebras of Gurevich, with the aim of investigating its suitability for the role of a general f...
206
click to vote
ARGMAS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. In this paper, we propose a new strategic and tactic reasoning for agent communication. This reasoning framework is specified using argumentation theory combined to a rel...
179
click to vote
ATAL
2006
Springer
15 years 11 months ago
2006
Springer
The most natural way of thinking about negotiation is probably a situation whereby each of the parties involved initially make a proposal that is particularly beneficial to themse...
200
click to vote
ATAL
2006
Springer
15 years 11 months ago
2006
Springer
Constructing presentations as stories is about presenting events that receive their relevance and meaning within the context of the presentation, and about means to define a well-...