A Verified Cyclicity Checker: For Theories with Overloaded Constants.

Arve Gengelbach Johannes Åman Pohjola

Published in: ITP (2022)

Keyphrases

theoretical framework
defeasible logic
cognitive psychology
data sets
neural network
artificial intelligence
information systems
information technology
relational databases
decision theory
general theory
formal models
design theory
refinement operators