The formal-logical characterisation of lies, deception, and associated notions.
Toni HeidenreichPublished in: CoRR (2016)
Keyphrases
- model theoretic
- operational semantics
- logical reasoning
- dynamic aspects
- decision procedures
- deductive databases
- logic programs
- mental states
- fixpoint
- formal model
- description logics
- logic programming
- case study
- default reasoning
- social networks
- logical framework
- formal models
- mathematical theory
- logical structure
- web services
- logical representation
- knowledge base