Sciweavers

698 search results - page 101 / 140
» dagstuhl 2007
Sort
View
102
Voted
DAGSTUHL
2007
15 years 2 months ago
Prioritized Conditional Imperatives: Problems and a New Proposal
Abstract. The sentences of deontic logic may be understood as describing what an agent ought to do when faced with a given set of norms. If these norms come into conflict, the bes...
Jörg Hansen
90
Voted
DAGSTUHL
2007
15 years 2 months ago
Propositional Relevance through Letter-Sharing: Review and Contribution
The concept of relevance between classical propositional formulae, defined in terms of letter-sharing, has been around for a very long time. But it began to take on a fresh life i...
David Makinson
DAGSTUHL
2007
15 years 2 months ago
Graph matching with type constraints on nodes and edges
Abstract. In this paper, we consider two particular problems of directed graph matching. The first problem concerns graphs with nodes that have been subdivided into classes of di...
Catherine Fraikin, Paul Van Dooren
84
Voted
DAGSTUHL
2007
15 years 2 months ago
Towards a General Framework for Modelling Roles
Role is a widespread concept, it is used in many areas like MAS, Programming Languages, Organizations, Security and OO modelling. Unfortunately, it seems that the literature is not...
Valerio Genovese
108
Voted
DAGSTUHL
2007
15 years 2 months ago
Software Architecture Trends and Promising Technology for Ambient Assisted Living Systems
Driven by the ongoing demographical, structural, and social changes in all modern, industrialized countries, there is a huge interest in IT-based equipment and services these days...
Martin Becker