Results 231 to 240 of about 3,510,766 (249)
Some of the next articles are maybe not open access.
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge, 2009
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Friedenberg, Amanda, Meier, Martin
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Friedenberg, Amanda, Meier, Martin
openaire +2 more sources
Fundamenta Informaticae, 1995
In this paper we investigate the simple logical properties of contexts. We describe both the syntax and semantics of a general propositional language of context, and we give a Hilbert style proof system for this language. A propositional logic of context extends classical propositional logic in two ways. Firstly, a new modality, ist(κ,φ), is introduced.
Sasa Buvac, Vanja Buvac, Ian A. Mason
openaire +2 more sources
In this paper we investigate the simple logical properties of contexts. We describe both the syntax and semantics of a general propositional language of context, and we give a Hilbert style proof system for this language. A propositional logic of context extends classical propositional logic in two ways. Firstly, a new modality, ist(κ,φ), is introduced.
Sasa Buvac, Vanja Buvac, Ian A. Mason
openaire +2 more sources
Context of Utterance and Intended Context
2001In this paper I expose and criticise the distinction between pure indexicals and demonstratives, held by David Kaplan and John Perry. I oppose the context of material production of the utterance to the "intended context" (the context of interpretation, i.e.
openaire +2 more sources
Higher-Order and Symbolic Computation, 1999
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
2011
In this paper we consider an operation of inserting contexts in a word controlled by a contextual scheme X which provides a selection criterion for contextual insertion. We say that a language L is k-stable w.r.t. a contextual scheme X if by making any k context insertions in a word of L we still obtain a word of L; L is k-anti-stable w.r.t.
BOTTONI, Paolo Gaspare +4 more
openaire +2 more sources
In this paper we consider an operation of inserting contexts in a word controlled by a contextual scheme X which provides a selection criterion for contextual insertion. We say that a language L is k-stable w.r.t. a contextual scheme X if by making any k context insertions in a word of L we still obtain a word of L; L is k-anti-stable w.r.t.
BOTTONI, Paolo Gaspare +4 more
openaire +2 more sources
The Context of Context Effects
Applied Measurement in Education, 1992The principal purpose of this article is to provide a conceptual framework and heuristic model for considering the existence, magnitude, and consequences of context effects. This purpose is addressed through an extension of some concepts in generalizability theory.
openaire +1 more source
Context and Context Management
2019The user and user requirements are the main important concerns to design a pervasive computing system. The context of a user or device is another essential element in designing a context-aware pervasive computing system. This chapter is focused on what is the context, the variety of contexts, and the impact of that context information in developing a ...
Parikshit N. Mahalle, Prashant S. Dhotre
openaire +1 more source