Dramatic Narrative Logics: Integrating Drama into Storygames with Operational Logics.
Kenneth TanAlex MitchellPublished in: ICIDS (2020)
Keyphrases
- expressive power
- modal logic
- proof theory
- decision making
- neural network
- propositional dynamic logic
- epistemic logic
- inference rules
- information systems
- propositional calculus
- databases
- virtual world
- higher order
- website
- knowledge base
- decision procedures
- conditional logic
- genetic algorithm
- proof procedures
- inheritance reasoning