Ulam Games, Lukasiewicz Logic, and AF C*-Algebras.
Daniele MundiciPublished in: Fundam. Informaticae (1993)
Keyphrases
- modal logic
- computational biology
- santa fe
- truth values
- annual conference
- relation algebra
- boolean algebra
- computer games
- classical logic
- game theory
- protein sequences
- temporal logic
- epistemic logic
- boolean games
- kripke models
- distributive lattices
- game theoretic
- nash equilibria
- artificial intelligence
- winning strategy
- multi valued
- machine learning
- logic programming
- video games
- game play
- game playing
- incomplete information
- spatial reasoning
- expert systems
- game design
- predicate logic
- perfect information
- imperfect information
- topological spaces
- image restoration
- image segmentation
- fixpoint