1948 search results - page 122 / 390 » Formalizing Mirror Theory |
155
click to vote
ATAL
2009
Springer
16 years 4 days ago
2009
Springer
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...
142
click to vote
OTM
2007
Springer
15 years 11 months ago
2007
Springer
Development of ontology development tools and ontology-enhanced software applications requires thorough understanding of ontology languages in order to implement them according to ...
138
click to vote
FOSSACS
2004
Springer
15 years 11 months ago
2004
Springer
Labelled Markov processes (LMPs) are automata whose transitions are given by probability distributions. In this paper we present a ‘universal’ LMP as the spectrum of a commutat...
153
click to vote
AC
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen’s categorical approach t...
112
Voted
CONTEXT
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. In this paper we propose to re-read the past work on formalizing context as the search for a logic of the relationships between partial, approximate, and perspectival the...