Three Model-Theoretic Constructions for generalized Epstein Semantics.
Krzysztof A. KrawczykPublished in: Rev. Symb. Log. (2022)
Keyphrases
- model theoretic
- artificial societies
- deductive databases
- description logics
- operational semantics
- proof theoretic
- decision procedures
- fixpoint semantics
- fixpoint
- logic programs
- default reasoning
- probabilistic reasoning
- autoepistemic logic
- population dynamics
- logic programming
- knowledge base
- integrity constraints
- automated reasoning
- proof theory
- artificial society
- data exchange