Two Early Arabic Applications of Model-Theoretic Consequence.
Wilfrid HodgesPublished in: Logica Universalis (2018)
Keyphrases
- model theoretic
- deductive databases
- description logics
- proof theoretic
- decision procedures
- operational semantics
- logic programs
- default reasoning
- fixpoint
- probabilistic reasoning
- integrity constraints
- knowledge representation
- machine learning
- formal semantics
- finite state machines
- theorem proving
- constraint logic programming
- proof theory
- high level