Sciweavers

4209 search results - page 302 / 842
» Abstract Dialectical Frameworks
Sort
View
169
Voted
AIML
2004
15 years 8 months ago
On the Formal Structure of Continuous Action
abstract. Analytical investigations of agency are mostly concerned with a description ex post acto. However, continuous action (being doing something) needs to be considered as wel...
Thomas Müller
APVIS
2004
15 years 8 months ago
An Architecture for Multi-View Information Overlays
This paper describes an architecture for supporting multiview information overlays within the InVision visualisation framework. The concept of an information overlay is defined as...
Derek Weber, Matthew Phillips
DAGSTUHL
2006
15 years 8 months ago
On Comparison of Mechanisms of Economic and Social Exchanges: The Times Model
Abstract. An e-market system is a concrete implementation of a market institution; it embeds one or more exchange mechanisms. E-market systems are also information systems which ar...
Gregory E. Kersten, Eva Chen, Dirk Neumann, Rustam...
AAAI
1997
15 years 8 months ago
Abductive Completion of Plan Sketches
Most work on AI planning has focused on the development of fully automated methods for generating plans that satisfy user-speci ed goals. However, users in many domains want the a...
Karen L. Myers
IWFM
2000
167views Formal Methods» more  IWFM 2000»
15 years 8 months ago
An Algebraic Basis for Specifying and Enforcing Access Control in Security Systems
Security services in a multi-user environment are often based on access control mechanisms. Static of an access control policy can be formalised using abstract algebraic models. W...
Claus Pahl