No label defined (Q4955545)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1453449
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1453449 |
Statements
28 May 2000
0 references
Dynamics
0 references
Information
0 references
The articles of this volume will be reviewed individually. Indexed articles: \textit{nait Abdallah, Areski}, Commonsense as motion. The dynamics of reasoning with partial information, 3-26 [Zbl 0969.03045] \textit{Bonanno, Giacomo; Nehring, Klaus}, Intersubjective consistency of knowledge and belief, 27-50 [Zbl 0982.03008] \textit{van der Hoek, W.; Meyer, J.-J. Ch.; van Schagen, J. W.}, Formalizing potential of agents. The KARO framework revisited, 51-67 [Zbl 0972.68151] \textit{Pauly, Marc}, An introduction to game logic, 69-84 [Zbl 0967.03021] \textit{Cervesato, Iliano}, Logical frameworks. Why not just classical logic?, 87-104 [Zbl 0967.03027] \textit{Mints, Grigori}, Axiomatization of a Skolem function in intuitionistic logic, 105-114 [Zbl 0971.03011] \textit{de Nivelle, Hans}, An overview of resolution decision procedures, 115-130 [Zbl 0967.03009] \textit{Schellinx, Harold}, From propositional to linear logic: An introduction. Decoration, simulation, normalization, 131-148 [Zbl 0967.03052] \textit{Faller, Martina}, Dimensional adjectives and measure phrases in vector space semantics, 151-170 [Zbl 0973.91078] \textit{Kaufmann, Stefan}, Dynamic context management, 171-188 [Zbl 0967.03023] \textit{Kehler, Andrew}, Resolving temporal relations using tense meaning and discourse interpretation, 189-205 [Zbl 0967.03024] \textit{Pelletier, Francis Jeffry}, Semantic compositionality. Free algebras and the argument from ambiguity, 207-218 [Zbl 0970.91525]
0 references