Synthetic Undecidability of MSELL via FRACTRAN Mechanised in Coq.

Dominique Larchey-Wendling

Published in: FSCD (2021)

Keyphrases

description logics
theorem prover
formal methods
real images are presented
real world
database
artificial intelligence
decision making
wide range
expert systems
expressive power
data generator