SCL(FOL) Revisited.

Martin Bromberger Simon Schwarz Christoph Weidenbach

Published in: CoRR (2023)

Keyphrases

first order logic
knowledge representation
theorem proving
inference rules
databases
information systems
domain knowledge
case based reasoning
highly expressive
timed automata