Interpreting Knowledge-based Programs (Extended Version with Proofs).

Alexander Knapp Heribert Mühlberger Bernhard Reus

Published in: CoRR (2023)

Keyphrases

computer programs
theorem proving
automatic programming
expert systems
user interface
artificial intelligence
computer vision
website
relational databases
control structures
formal proofs