Towards a semantics for the artifactual theory of fiction and beyond.
Matthieu FontaineShahid RahmanPublished in: Synth. (2014)
Keyphrases
- general theory
- speech acts
- theoretical framework
- information systems
- proof theory
- theoretical basis
- logic programming
- neural network
- default reasoning
- formal semantics
- conceptual model
- relational databases
- database systems
- operational semantics
- model theoretic
- action theories
- formal theory
- algebraic structure
- formal languages
- abstract argumentation frameworks