Sciweavers

533 search results - page 5 / 107
» Representations of strategic knowledge in design
Sort
View
ATAL
2009
Springer
14 years 2 months ago
A logic of games and propositional control
We present a logic for reasoning about strategic games. The logic is a modal formalism, based on the Coalition Logic of Propositional Control, to which we add the notions of outco...
Nicolas Troquard, Wiebe van der Hoek, Michael Wool...
ATAL
2007
Springer
14 years 1 months ago
Modular interpreted systems
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...
Wojciech Jamroga, Thomas Ågotnes
MISQ
2002
111views more  MISQ 2002»
13 years 7 months ago
A Design Theory for Systems That Support Emergent Knowledge Processes
This paper addresses the design problem of providing IT support for emerging knowledge processes (EKPs). EKPs are organizational activity patterns that exhibit three characteristi...
M. Lynne Markus, Ann Majchrzak, Les Gasser
SIGLEX
1991
13 years 11 months ago
Representation of Semantic Knowledge with Term Subsumption Languages
One problem in the design of a lexicon for natural language processing is the representation of semantic knowledge. We examine the adequacy of knowledge representation formalisms ...
Gerrit Burkert, Peter Forster