5378 search results - page 793 / 1076 » Base Logics in Argumentation |
91
Voted
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
Agents enacting business processes in large open environments need to adaptively accommodate exceptions. Work on multiagent approaches can flexibly model business processes. This...
114
click to vote
ATVA
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The bounded synthesis problem is to construct an implementation that satisfies a given temporal specification and a given bound on the number of states. We present a so...
112
Voted
CIA
2007
Springer
15 years 6 months ago
2007
Springer
Recognizing that trust states are mental states, this paper presents a formal analysis of the dynamics of trust in terms of the functional roles and representation relations for tr...
95
Voted
CSL
2007
Springer
15 years 6 months ago
2007
Springer
A game semantics of the (−−∗, →)-fragment of the logic of bunched implications, BI, is presented. To date, categorical models of BI have been restricted to two kinds: funct...
93
Voted
ER
2007
Springer
15 years 6 months ago
2007
Springer
This paper intends to classify, review, and compare the existing languages for the specification of spatial integrity constraints at the conceptual level. We classify these languag...