2308 search results - page 317 / 462 » Representing Symbolic Reasoning |
169
click to vote
ARGMAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We introduce a special family of (assumption-based argumentation) frameworks for reasoning about the bene ts of decisions. These frameworks can be used for representing t...
171
click to vote
COSIT
2009
Springer
16 years 1 months ago
2009
Springer
Formal models of geographic space should support reasoning about its static and dynamic properties, its objects, their behaviors, and the relationships between them. Image schemas,...
142
click to vote
IMC
2009
ACM
16 years 28 days ago
2009
ACM
Researchers and network operators often say that BGP table transfers are slow. Despite this common knowledge, the reasons for slow BGP transfers are not well understood. This pape...
166
click to vote
COORDINATION
2007
Springer
16 years 18 days ago
2007
Springer
Connectors have emerged as a powerful concept for composition and coordination of concurrent activities encapsulated as components and services. Compositional coordination models a...
144
click to vote
MONTEREY
2007
Springer
16 years 16 days ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...