3552 search results - page 500 / 711 » Proof theory in the abstract |
178
click to vote
FCS
2006
15 years 8 months ago
2006
: We introduce an extended model for view-centric reasoning, EVCR, that provides more nsive and flexible abstractions for representing actual concurrency. The theory of Communicati...
168
click to vote
CRIWG
2003
15 years 8 months ago
2003
Abstract. In this paper we present a theory-based approach to designing tailorable groupware for the healthcare domain. Both literature and empirical data show the need, and diffic...
146
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
This paper aims at giving a classification of argumentation games agents play within a multi-agent setting. We investigate different scenarios of such argumentation games that dif...
165
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
This paper presents an argumentative version of the well known alternating offers negotiation protocol. The negotichanism is based on an abstract preference based argumentation fr...
157
click to vote
GG
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Amalgamation is a well-known concept for graph transformations in order to model synchronized parallelism of rules with shared subrules and corresponding transformations....