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

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references